{"id":"https://openalex.org/W4404650601","doi":"https://doi.org/10.1145/3705730","title":"SIMTAM: Generation Diversity Test Programs for FPGA Simulation Tools Testing Via Timing Area Mutation","display_name":"SIMTAM: Generation Diversity Test Programs for FPGA Simulation Tools Testing Via Timing Area Mutation","publication_year":2024,"publication_date":"2024-11-23","ids":{"openalex":"https://openalex.org/W4404650601","doi":"https://doi.org/10.1145/3705730"},"language":"en","primary_location":{"id":"doi:10.1145/3705730","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3705730","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3705730","source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3705730","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024881981","display_name":"Zhihao Xu","orcid":"https://orcid.org/0009-0008-2188-207X"},"institutions":[{"id":"https://openalex.org/I43313876","display_name":"Dalian Maritime University","ror":"https://ror.org/002b7nr53","country_code":"CN","type":"education","lineage":["https://openalex.org/I43313876"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhihao Xu","raw_affiliation_strings":["Dalian Maritime University, Dalian, China"],"raw_orcid":"https://orcid.org/0009-0008-2188-207X","affiliations":[{"raw_affiliation_string":"Dalian Maritime University, Dalian, China","institution_ids":["https://openalex.org/I43313876"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018071549","display_name":"Shikai Guo","orcid":"https://orcid.org/0000-0002-8554-6365"},"institutions":[{"id":"https://openalex.org/I43313876","display_name":"Dalian Maritime University","ror":"https://ror.org/002b7nr53","country_code":"CN","type":"education","lineage":["https://openalex.org/I43313876"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shikai Guo","raw_affiliation_strings":["Dalian Maritime University, Dalian, China and the Key Laboratory of Artificial Intelligence of Dalian, Dalian China","the Key Laboratory of Artificial Intelligence of Dalian, Dalian China","Dalian Maritime University, Dalian, China"],"raw_orcid":"https://orcid.org/0000-0002-8554-6365","affiliations":[{"raw_affiliation_string":"Dalian Maritime University, Dalian, China and the Key Laboratory of Artificial Intelligence of Dalian, Dalian China","institution_ids":["https://openalex.org/I43313876"]},{"raw_affiliation_string":"the Key Laboratory of Artificial Intelligence of Dalian, Dalian China","institution_ids":[]},{"raw_affiliation_string":"Dalian Maritime University, Dalian, China","institution_ids":["https://openalex.org/I43313876"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100328758","display_name":"Xiaochen Li","orcid":"https://orcid.org/0000-0002-5068-1938"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaochen Li","raw_affiliation_strings":["Dalian University of Technology, Dalian, China"],"raw_orcid":"https://orcid.org/0000-0002-5068-1938","affiliations":[{"raw_affiliation_string":"Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101452807","display_name":"Zun Wang","orcid":"https://orcid.org/0009-0006-1478-5963"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zun Wang","raw_affiliation_strings":["School of Software, Dalian University of Technology, Dalian, China"],"raw_orcid":"https://orcid.org/0009-0006-1478-5963","affiliations":[{"raw_affiliation_string":"School of Software, Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002119636","display_name":"He Jiang","orcid":"https://orcid.org/0000-0001-8674-4948"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"He Jiang","raw_affiliation_strings":["Dalian University of Technology, Dalian, China","Dalian University of Technology, Dalian China"],"raw_orcid":"https://orcid.org/0000-0001-8674-4948","affiliations":[{"raw_affiliation_string":"Dalian University of Technology, Dalian, China","institution_ids":["https://openalex.org/I27357992"]},{"raw_affiliation_string":"Dalian University of Technology, Dalian China","institution_ids":["https://openalex.org/I27357992"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.9713,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.9273183,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":"30","issue":"2","first_page":"1","last_page":"25"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8448410630226135},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.6907846331596375},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.4822978973388672},{"id":"https://openalex.org/keywords/mutation","display_name":"Mutation","score":0.44632667303085327},{"id":"https://openalex.org/keywords/diversity","display_name":"Diversity (politics)","score":0.4425487518310547},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3501405417919159},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.31007832288742065}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8448410630226135},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.6907846331596375},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.4822978973388672},{"id":"https://openalex.org/C501734568","wikidata":"https://www.wikidata.org/wiki/Q42918","display_name":"Mutation","level":3,"score":0.44632667303085327},{"id":"https://openalex.org/C2781316041","wikidata":"https://www.wikidata.org/wiki/Q1230584","display_name":"Diversity (politics)","level":2,"score":0.4425487518310547},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3501405417919159},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.31007832288742065},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0},{"id":"https://openalex.org/C19165224","wikidata":"https://www.wikidata.org/wiki/Q23404","display_name":"Anthropology","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3705730","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3705730","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3705730","source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3705730","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3705730","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3705730","source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G365030559","display_name":null,"funder_award_id":"62472062, 62202079","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4856448549","display_name":null,"funder_award_id":"3132024257","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4404650601.pdf"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W2095445208","https://openalex.org/W2165436148","https://openalex.org/W2166029537","https://openalex.org/W2170737051","https://openalex.org/W2345908052","https://openalex.org/W2370472429","https://openalex.org/W2532737545","https://openalex.org/W2809082791","https://openalex.org/W2891079278","https://openalex.org/W2891775375","https://openalex.org/W2895425194","https://openalex.org/W2898505829","https://openalex.org/W2904347961","https://openalex.org/W2905285402","https://openalex.org/W3000636126","https://openalex.org/W3007855180","https://openalex.org/W3008410827","https://openalex.org/W3021265112","https://openalex.org/W3090636587","https://openalex.org/W3116805979","https://openalex.org/W3130011944","https://openalex.org/W3172669705","https://openalex.org/W3205281171","https://openalex.org/W4246568307","https://openalex.org/W4281994867","https://openalex.org/W4289038676","https://openalex.org/W4308644054","https://openalex.org/W4360826129"],"related_works":["https://openalex.org/W2111241003","https://openalex.org/W2355315220","https://openalex.org/W4200391368","https://openalex.org/W2210979487","https://openalex.org/W2316202402","https://openalex.org/W2074043759","https://openalex.org/W2096844293","https://openalex.org/W2363944576","https://openalex.org/W2351041855","https://openalex.org/W2570254841"],"abstract_inverted_index":{"Field-Programmable":[0],"Gate":[1],"Array":[2],"(FPGA)":[3],"timing":[4,17,27,68,79,212],"simulation":[5,28,80,213],"is":[6,147],"essential":[7],"in":[8,26,42,51,125,209],"electronic":[9],"circuit":[10,102],"design,":[11],"allowing":[12],"for":[13,77,122],"the":[14,113,126,136,139,142,150,155,158,176,189],"verification":[15],"of":[16,85,157,219],"characteristics":[18],"like":[19],"delays":[20],"and":[21,64,96,172,191,216],"clock":[22],"frequencies.":[23],"However,":[24],"bugs":[25,206],"tools":[29],"can":[30],"lead":[31],"to":[32,38,129,179,195,207],"inaccurate":[33],"results,":[34],"potentially":[35],"causing":[36],"designers":[37],"miss":[39],"critical":[40],"issues":[41],"chip":[43],"performance.":[44],"Traditional":[45],"testing":[46,59,78,186],"methods":[47],"often":[48],"fall":[49],"short":[50],"thoroughly":[52],"assessing":[53],"these":[54],"tools,":[55,214],"as":[56,111],"current":[57],"FPGA":[58],"primarily":[60],"focuses":[61],"on":[62],"synthesis":[63],"behavioral":[65],"simulation,":[66],"neglecting":[67],"aspects.":[69],"To":[70],"address":[71],"this":[72],"issue,":[73],"we":[74],"propose":[75],"SIMTAM":[76,83,203],"tools.":[81],"Specifically,":[82],"consists":[84],"three":[86],"components:":[87],"equivalent":[88,131],"delay":[89,114,120,124,132],"region":[90,115,178],"construction,":[91],"diversity":[92,161],"program":[93,162],"segment":[94,163],"generation,":[95],"differential":[97,185],"testing.":[98],"Given":[99],"a":[100],"seed":[101,190],"design":[103,127,182,193],"file":[104,128],"written":[105],"by":[106],"hardware":[107],"description":[108],"language":[109],"such":[110],"Verilog,":[112],"construction":[116],"component":[117,165,187],"randomly":[118],"identifies":[119],"structures":[121],"inertial":[123],"construct":[130],"sleep":[133,137,177],"regions.":[134],"In":[135,200],"region,":[138],"simulator":[140],"skips":[141],"signal":[143],"pulse":[144],"whose":[145],"width":[146],"less":[148],"than":[149],"specified":[151],"delay,":[152],"thus":[153],"ensuring":[154],"equivalence":[156],"variations.":[159],"The":[160,184],"generation":[164,170],"combines":[166],"Verilog":[167],"expressions":[168],"using":[169],"operators":[171],"injects":[173],"them":[174],"into":[175],"generate":[180],"diverse":[181],"files.":[183],"compares":[188],"variant":[192],"files":[194],"find":[196],"compilation":[197],"inconsistency":[198],"issues.":[199],"5":[201],"months,":[202],"reported":[204],"16":[205],"developers":[208],"two":[210],"popular":[211],"Iverilog":[215],"Vivado,":[217],"10":[218],"which":[220],"are":[221],"confirmed.":[222]},"counts_by_year":[{"year":2026,"cited_by_count":4},{"year":2025,"cited_by_count":5}],"updated_date":"2026-07-26T07:53:14.480251","created_date":"2025-10-10T00:00:00"}