{"id":"https://openalex.org/W7163592581","doi":"https://doi.org/10.23919/date69613.2026.11539151","title":"CoverAssert: Iterative LLM Assertion Generation Driven by Functional Coverage via Syntax-Semantic Representations","display_name":"CoverAssert: Iterative LLM Assertion Generation Driven by Functional Coverage via Syntax-Semantic Representations","publication_year":2026,"publication_date":"2026-04-20","ids":{"openalex":"https://openalex.org/W7163592581","doi":"https://doi.org/10.23919/date69613.2026.11539151"},"language":null,"primary_location":{"id":"doi:10.23919/date69613.2026.11539151","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date69613.2026.11539151","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 Design, Automation & Test in Europe Conference (DATE)","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/A5100633632","display_name":"Yue Wang","orcid":"https://orcid.org/0000-0003-0098-5359"},"institutions":[{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yonghao Wang","raw_affiliation_strings":["Institute of Computing Technology, CAS,State Key Lab of Processors,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computing Technology, CAS,State Key Lab of Processors,Beijing,China","institution_ids":["https://openalex.org/I4210090176"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5137824411","display_name":"Yang Yin","orcid":null},"institutions":[{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yang Yin","raw_affiliation_strings":["Institute of Computing Technology, CAS,State Key Lab of Processors,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computing Technology, CAS,State Key Lab of Processors,Beijing,China","institution_ids":["https://openalex.org/I4210090176"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5128785188","display_name":"Hongqin Lyu","orcid":null},"institutions":[{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hongqin Lyu","raw_affiliation_strings":["Institute of Computing Technology, CAS,State Key Lab of Processors,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computing Technology, CAS,State Key Lab of Processors,Beijing,China","institution_ids":["https://openalex.org/I4210090176"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114222307","display_name":"Jiaxin Zhou","orcid":null},"institutions":[{"id":"https://openalex.org/I25254941","display_name":"Beijing Normal University","ror":"https://ror.org/022k4wk35","country_code":"CN","type":"education","lineage":["https://openalex.org/I25254941"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiaxin Zhou","raw_affiliation_strings":["Beijing Normal University,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Beijing Normal University,China","institution_ids":["https://openalex.org/I25254941"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033100776","display_name":"Zhiteng Chao","orcid":"https://orcid.org/0009-0006-2926-7499"},"institutions":[{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhiteng Chao","raw_affiliation_strings":["Institute of Computing Technology, CAS,State Key Lab of Processors,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computing Technology, CAS,State Key Lab of Processors,Beijing,China","institution_ids":["https://openalex.org/I4210090176"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5134370719","display_name":"Mingyu Shi","orcid":null},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mingyu Shi","raw_affiliation_strings":["Nanjing University,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanjing University,China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102769588","display_name":"Wenchao Ding","orcid":"https://orcid.org/0000-0003-4249-526X"},"institutions":[{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wenchao Ding","raw_affiliation_strings":["University of Chinese Academy of Sciences,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Chinese Academy of Sciences,Beijing,China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065459087","display_name":"Yunlin Du","orcid":null},"institutions":[{"id":"https://openalex.org/I78757542","display_name":"University of Newcastle Australia","ror":"https://ror.org/00eae9z71","country_code":"AU","type":"education","lineage":["https://openalex.org/I78757542"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Yunlin Du","raw_affiliation_strings":["University of Newcastle,Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Newcastle,Australia","institution_ids":["https://openalex.org/I78757542"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012728371","display_name":"J P Ye","orcid":null},"institutions":[{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jing Ye","raw_affiliation_strings":["Institute of Computing Technology, CAS,State Key Lab of Processors,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computing Technology, CAS,State Key Lab of Processors,Beijing,China","institution_ids":["https://openalex.org/I4210090176"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5137906708","display_name":"Tiancheng Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tiancheng Wang","raw_affiliation_strings":["Institute of Computing Technology, CAS,State Key Lab of Processors,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computing Technology, CAS,State Key Lab of Processors,Beijing,China","institution_ids":["https://openalex.org/I4210090176"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065859286","display_name":"Hui Li","orcid":"https://orcid.org/0000-0001-9198-3951"},"institutions":[{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huawei Li","raw_affiliation_strings":["Institute of Computing Technology, CAS,State Key Lab of Processors,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computing Technology, CAS,State Key Lab of Processors,Beijing,China","institution_ids":["https://openalex.org/I4210090176"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"3"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.48840001225471497,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.48840001225471497,"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/T10028","display_name":"Topic Modeling","score":0.44130000472068787,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.010400000028312206,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/assertion","display_name":"Assertion","score":0.592199981212616},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.36660000681877136},{"id":"https://openalex.org/keywords/perspective","display_name":"Perspective (graphical)","score":0.30070000886917114},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.27950000762939453},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.27889999747276306},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.27549999952316284}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5942000150680542},{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.592199981212616},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3919000029563904},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3874000012874603},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.36660000681877136},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35249999165534973},{"id":"https://openalex.org/C12713177","wikidata":"https://www.wikidata.org/wiki/Q1900281","display_name":"Perspective (graphical)","level":2,"score":0.30070000886917114},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.27950000762939453},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.27889999747276306},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.27549999952316284},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.267300009727478},{"id":"https://openalex.org/C159694833","wikidata":"https://www.wikidata.org/wiki/Q2321565","display_name":"Iterative method","level":2,"score":0.265500009059906},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.26179999113082886},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.260699987411499},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.25110000371932983}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/date69613.2026.11539151","is_oa":false,"landing_page_url":"https://doi.org/10.23919/date69613.2026.11539151","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 Design, Automation & Test in Europe Conference (DATE)","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/F4320321133","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W2123613958","https://openalex.org/W2157373763","https://openalex.org/W4312081888","https://openalex.org/W4403023462","https://openalex.org/W4413147731","https://openalex.org/W7155358677"],"related_works":[],"abstract_inverted_index":{"LLMs":[0,49],"can":[1],"generate":[2],"SystemVerilog":[3],"assertions":[4],"(SVAs)":[5],"from":[6],"natural":[7],"language":[8],"specs,":[9],"but":[10],"single-pass":[11],"outputs":[12],"often":[13],"lack":[14],"functional":[15,44],"coverage":[16,45],"due":[17],"to":[18,40,47],"limited":[19],"IC":[20],"design":[21],"understanding.":[22],"We":[23],"propose":[24],"CoverAssert,":[25],"an":[26],"iterative":[27],"framework":[28],"that":[29,60],"clusters":[30],"semantic":[31],"and":[32,42,65,79],"AST-based":[33],"structural":[34],"features":[35],"of":[36,70],"assertions,":[37],"maps":[38],"them":[39],"specifications,":[41],"uses":[43],"feedback":[46],"guide":[48],"in":[50,72,76,81],"prioritizing":[51],"uncovered":[52],"points.":[53],"Experiments":[54],"on":[55],"four":[56],"open-source":[57],"designs":[58],"show":[59],"integrating":[61],"CoverAssert":[62],"with":[63],"AssertLLM":[64],"Spec2Assertion":[66],"improves":[67],"average":[68],"improvements":[69],"9.57%":[71],"branch":[73],"coverage,":[74,78],"9.64%":[75],"statement":[77],"15.69%":[80],"toggle":[82],"coverage.":[83]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2026-06-05T00:00:00"}