{"id":"https://openalex.org/W4391406977","doi":"https://doi.org/10.1109/tcad.2024.3360318","title":"Instiller: Toward Efficient and Realistic RTL Fuzzing","display_name":"Instiller: Toward Efficient and Realistic RTL Fuzzing","publication_year":2024,"publication_date":"2024-01-31","ids":{"openalex":"https://openalex.org/W4391406977","doi":"https://doi.org/10.1109/tcad.2024.3360318"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2024.3360318","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2024.3360318","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-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/A5100671334","display_name":"Gen Zhang","orcid":"https://orcid.org/0000-0001-7709-0751"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Gen Zhang","raw_affiliation_strings":["College of Computer, National University of Defense Technology, Changsha, China"],"raw_orcid":"https://orcid.org/0000-0001-7709-0751","affiliations":[{"raw_affiliation_string":"College of Computer, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100399594","display_name":"Pengfei Wang","orcid":"https://orcid.org/0000-0003-3408-4153"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Pengfei Wang","raw_affiliation_strings":["College of Computer, National University of Defense Technology, Changsha, China"],"raw_orcid":"https://orcid.org/0000-0003-3408-4153","affiliations":[{"raw_affiliation_string":"College of Computer, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075919641","display_name":"Tai Yue","orcid":"https://orcid.org/0000-0002-7276-8735"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tai Yue","raw_affiliation_strings":["College of Computer, National University of Defense Technology, Changsha, China"],"raw_orcid":"https://orcid.org/0000-0002-7276-8735","affiliations":[{"raw_affiliation_string":"College of Computer, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073803603","display_name":"Danjun Liu","orcid":"https://orcid.org/0000-0002-5375-7598"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Danjun Liu","raw_affiliation_strings":["College of Computer, National University of Defense Technology, Changsha, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111126681","display_name":"Yubei Guo","orcid":null},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yubei Guo","raw_affiliation_strings":["College of Computer, National University of Defense Technology, Changsha, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100625357","display_name":"Kai Lu","orcid":"https://orcid.org/0000-0003-2284-7897"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Kai Lu","raw_affiliation_strings":["College of Computer, National University of Defense Technology, Changsha, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I170215575"],"apc_list":null,"apc_paid":null,"fwci":0.5448,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.63008149,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":97},"biblio":{"volume":"43","issue":"7","first_page":"2177","last_page":"2190"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12222","display_name":"IoT-based Smart Home Systems","score":0.9319999814033508,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12222","display_name":"IoT-based Smart Home Systems","score":0.9319999814033508,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13382","display_name":"Robotics and Automated Systems","score":0.9265000224113464,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.9522334337234497},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6036792993545532},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.29769402742385864}],"concepts":[{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.9522334337234497},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6036792993545532},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29769402742385864},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2024.3360318","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2024.3360318","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5268210912","display_name":null,"funder_award_id":"2021JJ40692","funder_id":"https://openalex.org/F4320322843","funder_display_name":"Natural Science Foundation of\u00a0Hunan Province"},{"id":"https://openalex.org/G8346263138","display_name":null,"funder_award_id":"61902412","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8945236681","display_name":null,"funder_award_id":"61902416","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320322843","display_name":"Natural Science Foundation of\u00a0Hunan Province","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W109452506","https://openalex.org/W1965969360","https://openalex.org/W2002934700","https://openalex.org/W2013205100","https://openalex.org/W2161314693","https://openalex.org/W2535617737","https://openalex.org/W2757104921","https://openalex.org/W2794670092","https://openalex.org/W2795192879","https://openalex.org/W2899727632","https://openalex.org/W2963846926","https://openalex.org/W2964241064","https://openalex.org/W2980275936","https://openalex.org/W3005774021","https://openalex.org/W3008477014","https://openalex.org/W3013846999","https://openalex.org/W3019428952","https://openalex.org/W3104664063","https://openalex.org/W3113111557","https://openalex.org/W3125721406","https://openalex.org/W3154674654","https://openalex.org/W3163844163","https://openalex.org/W3213337076","https://openalex.org/W4221164739","https://openalex.org/W4224325276","https://openalex.org/W4226378172","https://openalex.org/W4236718534","https://openalex.org/W4281741991","https://openalex.org/W4282548019","https://openalex.org/W4292083457","https://openalex.org/W4293025113","https://openalex.org/W4308643131","https://openalex.org/W4319990047","https://openalex.org/W4362676235","https://openalex.org/W4386763846","https://openalex.org/W6604335577","https://openalex.org/W6743674107","https://openalex.org/W6754293714","https://openalex.org/W6766204418","https://openalex.org/W6776109021","https://openalex.org/W6782130387","https://openalex.org/W6790848453","https://openalex.org/W6797151147"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2511770387","https://openalex.org/W3120811337","https://openalex.org/W3203597304","https://openalex.org/W2990186179","https://openalex.org/W4248424560","https://openalex.org/W4385301282","https://openalex.org/W3023977444","https://openalex.org/W2766647240","https://openalex.org/W4210660460"],"abstract_inverted_index":{"Bugs":[0],"exist":[1],"in":[2,22,72,92,104,137,175,189],"hardware,":[3],"such":[4],"as":[5],"CPU.":[6],"Unlike":[7],"software":[8],"bugs,":[9],"these":[10],"hardware":[11],"bugs":[12],"need":[13],"to":[14,63,109,185],"be":[15],"detected":[16,157],"before":[17],"deployment.":[18],"Previous":[19],"fuzzing":[20,113,135],"work":[21,86,136],"CPU":[23,140],"bug":[24],"detection":[25],"has":[26,145],"several":[27],"disadvantages,":[28],"e.g.,":[29],"the":[30,65,97,106,112,161,177,182],"length":[31,68],"of":[32,81,99,115],"RTL":[33,54],"input":[34,66,76,168,178],"instructions":[35,77,169],"keeps":[36],"growing,":[37],"and":[38,70,94,102,122,129],"longer":[39],"inputs":[40],"are":[41,156],"ineffective":[42],"for":[43],"fuzzing.":[44],"In":[45,142,151,180],"this":[46],"paper,":[47],"we":[48,117],"propose":[49,118],"INSTILLER":[50,95,144,164],"(Instruction":[51],"Distiller),":[52],"an":[53],"fuzzer":[55],"based":[56],"on":[57,192],"ant":[58],"colony":[59],"optimization":[60],"(ACO).":[61],"First,":[62],"keep":[64],"instruction":[67],"short":[69],"efficient":[71],"fuzzing,":[73,93],"it":[74],"distills":[75],"with":[78],"a":[79,127,186],"variant":[80],"ACO":[82],"(VACO).":[83],"Next,":[84],"related":[85],"cannot":[87],"simulate":[88],"realistic":[89],"interruptions":[90,101],"well":[91],"solves":[96],"problem":[98],"inserting":[100],"exceptions":[103],"generating":[105],"inputs.":[107],"Third,":[108],"further":[110],"improve":[111],"performance":[114],"INSTILLER,":[116],"hardware-based":[119],"seed":[120],"selection":[121],"mutation":[123],"strategies.":[124],"We":[125],"implement":[126],"prototype":[128],"conduct":[130],"extensive":[131],"experiments":[132],"against":[133],"state-of-the-art":[134],"real-world":[138],"target":[139],"cores.":[141],"experiments,":[143],"29.4%":[146],"more":[147,154],"coverage":[148],"than":[149,170],"DiFuzzRTL.":[150],"addition,":[152,181],"17.0%":[153],"mismatches":[155],"by":[158],"INSTILLER.":[159],"With":[160],"VACO":[162],"algorithm,":[163],"generates":[165],"79.3%":[166],"shorter":[167],"DiFuzzRTL,":[171],"demonstrating":[172],"its":[173],"effectiveness":[174],"distilling":[176],"instructions.":[179],"distillation":[183],"leads":[184],"6.7%":[187],"increase":[188],"execution":[190],"speed":[191],"average.":[193]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2}],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2024-02-01T00:00:00"}