{"id":"https://openalex.org/W4404847723","doi":"https://doi.org/10.1109/itc51657.2024.00015","title":"Enhancing Functional Verification with Dynamic Instruction Generation by Exploiting Processor Runtime States","display_name":"Enhancing Functional Verification with Dynamic Instruction Generation by Exploiting Processor Runtime States","publication_year":2024,"publication_date":"2024-11-03","ids":{"openalex":"https://openalex.org/W4404847723","doi":"https://doi.org/10.1109/itc51657.2024.00015"},"language":"en","primary_location":{"id":"doi:10.1109/itc51657.2024.00015","is_oa":false,"landing_page_url":"https://doi.org/10.1109/itc51657.2024.00015","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE International Test Conference (ITC)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102832273","display_name":"Anlin Liu","orcid":"https://orcid.org/0000-0001-8695-3985"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Anlin Liu","raw_affiliation_strings":["Zhejiang University,College of Information Science and Electronic Engineering,Hangzhou,China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University,College of Information Science and Electronic Engineering,Hangzhou,China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104117386","display_name":"T.C. Lu","orcid":"https://orcid.org/0009-0008-5399-4527"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tianyao Lu","raw_affiliation_strings":["Zhejiang University,College of Information Science and Electronic Engineering,Hangzhou,China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University,College of Information Science and Electronic Engineering,Hangzhou,China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045625634","display_name":"Yuhao Xi","orcid":"https://orcid.org/0000-0003-1635-1537"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuhao Xi","raw_affiliation_strings":["Zhejiang University,College of Information Science and Electronic Engineering,Hangzhou,China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University,College of Information Science and Electronic Engineering,Hangzhou,China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071544669","display_name":"Yangfan Liu","orcid":"https://orcid.org/0000-0002-9258-4618"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yangfan Liu","raw_affiliation_strings":["HEXIN Technologies Co., Ltd,Guangzhou,China"],"affiliations":[{"raw_affiliation_string":"HEXIN Technologies Co., Ltd,Guangzhou,China","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100346915","display_name":"Peng Liu","orcid":"https://orcid.org/0000-0003-4919-4013"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Peng Liu","raw_affiliation_strings":["Zhejiang University,College of Information Science and Electronic Engineering,Hangzhou,China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University,College of Information Science and Electronic Engineering,Hangzhou,China","institution_ids":["https://openalex.org/I76130692"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5102832273"],"corresponding_institution_ids":["https://openalex.org/I76130692"],"apc_list":null,"apc_paid":null,"fwci":0.5198,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.67011362,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"36","last_page":"40"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9959999918937683,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9959999918937683,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9940000176429749,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9815999865531921,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.7877904176712036},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.5302885174751282},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.5067227482795715},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.449844092130661},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.44344931840896606},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.390848845243454},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.34769630432128906},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3284251093864441},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.27035772800445557}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7877904176712036},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.5302885174751282},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.5067227482795715},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.449844092130661},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.44344931840896606},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.390848845243454},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.34769630432128906},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3284251093864441},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.27035772800445557}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/itc51657.2024.00015","is_oa":false,"landing_page_url":"https://doi.org/10.1109/itc51657.2024.00015","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE International Test Conference (ITC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5699999928474426,"display_name":"Affordable and clean energy","id":"https://metadata.un.org/sdg/7"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W2042835116","https://openalex.org/W2084666366","https://openalex.org/W2098165956","https://openalex.org/W2136357775","https://openalex.org/W2147976159","https://openalex.org/W2295894684","https://openalex.org/W2767708858","https://openalex.org/W2806992889","https://openalex.org/W2945056715","https://openalex.org/W3142275771","https://openalex.org/W3192356145","https://openalex.org/W6631155369","https://openalex.org/W6677704751"],"related_works":["https://openalex.org/W3036403349","https://openalex.org/W1968510839","https://openalex.org/W2106507440","https://openalex.org/W2809618173","https://openalex.org/W2118572231","https://openalex.org/W3120172095","https://openalex.org/W2406499533","https://openalex.org/W2950360254","https://openalex.org/W1522369122","https://openalex.org/W1563456403"],"abstract_inverted_index":{"As":[0],"the":[1,30,139,153],"architectural":[2,68],"complexity":[3],"of":[4,26,32,99,116,141],"processors":[5],"increases":[6],"dramatically,":[7],"rigorous":[8],"functional":[9,27,168],"verification":[10,28,51],"remains":[11],"essential":[12],"to":[13,48,82,152],"ensure":[14],"performance":[15],"and":[16,94,110,149,160],"immunity":[17],"from":[18],"design":[19],"bugs.":[20],"A":[21],"pivotal":[22],"yet":[23],"challenging":[24],"aspect":[25],"is":[29,103,118],"generation":[31],"test":[33,112,142],"instruction":[34,72,84,101,156],"streams":[35,85,102],"that":[36,64,136],"are":[37],"not":[38],"only":[39],"highly":[40],"effective":[41],"in":[42],"coverage":[43],"but":[44],"also":[45],"compact":[46],"enough":[47],"significantly":[49],"reduce":[50],"time.":[52],"In":[53,75],"this":[54],"paper,":[55],"we":[56],"introduce":[57],"DIG,":[58],"a":[59,121],"novel":[60],"Dynamic":[61],"Instruction":[62],"Generator":[63],"leverages":[65],"processor":[66,79],"runtime":[67,80],"states":[69],"through":[70,120],"an":[71],"set":[73],"simulator.":[74],"essence,":[76],"DIG":[77,117,137],"accesses":[78,93],"information":[81],"produce":[83],"with":[86],"valid":[87],"semantics,":[88],"effectively":[89],"avoiding":[90],"illegal":[91],"memory":[92],"infinite":[95],"loops.":[96],"The":[97,114],"quality":[98],"these":[100],"further":[104],"enhanced":[105],"by":[106,144],"incorporating":[107],"both":[108],"intra-instruction":[109],"inter-instruction":[111],"knowledge.":[113],"effectiveness":[115],"demonstrated":[119],"case":[122],"study":[123],"involving":[124],"Western":[125],"Digital\u2019s":[126],"open-source":[127],"RISC-V":[128,158,161],"core,":[129],"VeeR":[130],"EH2.":[131],"Our":[132],"experimental":[133],"results":[134],"indicate":[135],"reduces":[138],"number":[140],"instructions":[143],"as":[145,147],"much":[146],"62.50%":[148],"86.11%,":[150],"compared":[151],"state-of-the-art":[154],"random":[155],"generators,":[157],"DV":[159],"Torture,":[162],"respectively,":[163],"while":[164],"simultaneously":[165],"achieving":[166],"superior":[167],"coverage.":[169]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-12-27T23:08:20.325037","created_date":"2025-10-10T00:00:00"}