{"id":"https://openalex.org/W7162643589","doi":"https://doi.org/10.1109/isqed69900.2026.11534699","title":"AutoBeaVer: Automating Behavioral Modeling and Verification in Library Characterization with LLM Agents","display_name":"AutoBeaVer: Automating Behavioral Modeling and Verification in Library Characterization with LLM Agents","publication_year":2026,"publication_date":"2026-04-08","ids":{"openalex":"https://openalex.org/W7162643589","doi":"https://doi.org/10.1109/isqed69900.2026.11534699"},"language":null,"primary_location":{"id":"doi:10.1109/isqed69900.2026.11534699","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isqed69900.2026.11534699","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 27th International Symposium on Quality Electronic Design (ISQED)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5103137050","display_name":"Tianze Wu","orcid":"https://orcid.org/0000-0001-6902-7955"},"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":"Tianze Wu","raw_affiliation_strings":["Zhejiang University,College of Information Science and Electronic Engineering"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Zhejiang University,College of Information Science and Electronic Engineering","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5137236060","display_name":"Jian Xin","orcid":null},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jian Xin","raw_affiliation_strings":["Tsinghua University,School of Integrated Circuits"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tsinghua University,School of Integrated Circuits","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5137264644","display_name":"Yuan Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuan Wang","raw_affiliation_strings":["Tsinghua University,School of Integrated Circuits"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tsinghua University,School of Integrated Circuits","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067237630","display_name":"Xuliang Yu","orcid":"https://orcid.org/0000-0001-8414-6960"},"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":"Xuliang Yu","raw_affiliation_strings":["Zhejiang University,College of Information Science and Electronic Engineering"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Zhejiang University,College of Information Science and Electronic Engineering","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071383109","display_name":"Xunzhao Yin","orcid":"https://orcid.org/0000-0003-4656-9545"},"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":"Xunzhao Yin","raw_affiliation_strings":["Zhejiang University,College of Information Science and Electronic Engineering"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Zhejiang University,College of Information Science and Electronic Engineering","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5137307233","display_name":"Qianqian Yang","orcid":null},"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":"Qianqian Yang","raw_affiliation_strings":["Zhejiang University,College of Information Science and Electronic Engineering"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Zhejiang University,College of Information Science and Electronic Engineering","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112436964","display_name":"Zuochang Ye","orcid":null},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zuochang Ye","raw_affiliation_strings":["Tsinghua University,School of Integrated Circuits"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tsinghua University,School of Integrated Circuits","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5137274065","display_name":"Liang Zhao","orcid":null},"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":"Liang Zhao","raw_affiliation_strings":["Zhejiang University,College of Information Science and Electronic Engineering"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Zhejiang University,College of Information Science and Electronic Engineering","institution_ids":["https://openalex.org/I76130692"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.59163209,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.1534000039100647,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10215","display_name":"Semantic Web and Ontologies","score":0.1534000039100647,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.08190000057220459,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T12016","display_name":"Web Data Mining and Analysis","score":0.05389999970793724,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/behavioral-modeling","display_name":"Behavioral modeling","score":0.4068000018596649},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.384799987077713},{"id":"https://openalex.org/keywords/behavioral-analysis","display_name":"Behavioral analysis","score":0.38040000200271606},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.326200008392334},{"id":"https://openalex.org/keywords/characterization","display_name":"Characterization (materials science)","score":0.3043999969959259}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5756000280380249},{"id":"https://openalex.org/C78639753","wikidata":"https://www.wikidata.org/wiki/Q3318160","display_name":"Behavioral modeling","level":2,"score":0.4068000018596649},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.384799987077713},{"id":"https://openalex.org/C2989277270","wikidata":"https://www.wikidata.org/wiki/Q168338","display_name":"Behavioral analysis","level":2,"score":0.38040000200271606},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.326200008392334},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3222000002861023},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.3043999969959259},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.28540000319480896},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.2800999879837036},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2784999907016754},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.2669999897480011},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.2624000012874603},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.25619998574256897},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.25589999556541443}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/isqed69900.2026.11534699","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isqed69900.2026.11534699","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 27th International Symposium on Quality Electronic Design (ISQED)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null},{"id":"https://openalex.org/F4320338464","display_name":"Natural Science Foundation of Zhejiang Province","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W2998328510","https://openalex.org/W3082750925","https://openalex.org/W4232735308","https://openalex.org/W4236728296","https://openalex.org/W4386160056","https://openalex.org/W4388040405","https://openalex.org/W4389166737","https://openalex.org/W4391681217","https://openalex.org/W4392972103","https://openalex.org/W4393141075","https://openalex.org/W4393145520","https://openalex.org/W4403023622","https://openalex.org/W4406014556","https://openalex.org/W4407749900","https://openalex.org/W4408151618","https://openalex.org/W4408164008","https://openalex.org/W4409285469","https://openalex.org/W4409369309"],"related_works":[],"abstract_inverted_index":{"Standard":[0],"cell":[1],"libraries":[2],"are":[3],"foundational":[4],"to":[5],"digital":[6,134,171],"IC":[7,172],"design,":[8],"yet":[9],"their":[10,36],"characterization-especially":[11],"RTL-level":[12],"behavioral":[13,58,159],"modeling-remains":[14],"highly":[15],"time-consuming":[16],"and":[17,38,60,71,83,100,108,119,142,148],"laborintensive.":[18],"Existing":[19],"approaches":[20],"largely":[21],"rely":[22],"on":[23,127],"manual":[24],"RTL":[25,98,118,158],"Verilog":[26,73,93],"creation":[27],"or":[28],"commercial":[29],"tools":[30],"with":[31],"limited":[32],"automation,":[33],"which":[34],"hinders":[35],"adaptability":[37],"scalability.":[39],"To":[40],"tackle":[41],"these":[42],"challenges,":[43],"we":[44],"propose":[45],"AutoBeaVer,":[46],"an":[47],"agentic":[48],"workflow":[49],"driven":[50],"by":[51],"large":[52],"language":[53],"models":[54],"(LLMs)":[55],"for":[56,106,167],"automated":[57],"modeling":[59,146,160],"verification.":[61],"AutoBeaVer":[62,126],"consists":[63],"of":[64,140],"two":[65],"coordinated":[66],"agents:":[67],"a":[68,72,89,128,138],"Testbench":[69,77],"Agent":[70,78,95],"Modeling":[74,94],"Agent.":[75],"The":[76,92],"parses":[79],"transistor-level":[80,122],"netlist":[81],"descriptions":[82],"generates":[84],"SPICE-level":[85],"stimuli,":[86],"serving":[87],"as":[88],"golden":[90],"reference.":[91],"iteratively":[96],"synthesizes":[97],"code":[99],"associated":[101],"testbenches,":[102],"leveraging":[103],"LLM-based":[104],"reasoning":[105],"self-correction":[107],"simulation-based":[109],"validation.":[110],"This":[111],"ensures":[112],"functional":[113],"alignment":[114],"between":[115],"the":[116,120,165],"generated":[117],"original":[121],"design.":[123,173],"We":[124],"evaluate":[125],"comprehensive":[129],"benchmark":[130],"set":[131],"comprising":[132],"105":[133],"standard":[135],"cells,":[136],"achieving":[137],"pass@1":[139],"97.14%":[141],"demonstrating":[143],"substantially":[144],"improved":[145],"accuracy":[147],"robustness":[149],"over":[150],"direct":[151],"LLMbased":[152],"generation.":[153],"Our":[154],"work":[155],"significantly":[156],"streamlines":[157],"in":[161,170],"library":[162],"characterization,":[163],"paving":[164],"way":[166],"broader":[168],"automation":[169]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2026-05-29T00:00:00"}