{"id":"https://openalex.org/W7167898958","doi":"https://doi.org/10.1109/ets69887.2026.11591998","title":"Iterative LLM-Based Assertion Generation Using Syntax\u2013Semantic Representations for Functional Coverage\u2013Guided Verification","display_name":"Iterative LLM-Based Assertion Generation Using Syntax\u2013Semantic Representations for Functional Coverage\u2013Guided Verification","publication_year":2026,"publication_date":"2026-05-25","ids":{"openalex":"https://openalex.org/W7167898958","doi":"https://doi.org/10.1109/ets69887.2026.11591998"},"language":null,"primary_location":{"id":"doi:10.1109/ets69887.2026.11591998","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ets69887.2026.11591998","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 IEEE European Test Symposium (ETS)","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/A5140414409","display_name":"Yonghao 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":"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/A5140431644","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,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Beijing Normal University,Beijing,China","institution_ids":["https://openalex.org/I25254941"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5140383353","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/A5140436459","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/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/A5102769588","display_name":"Wenchao Ding","orcid":"https://orcid.org/0000-0003-4249-526X"},"institutions":[{"id":"https://openalex.org/I2250653659","display_name":"Tencent (China)","ror":"https://ror.org/00hhjss72","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250653659"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wenchao Ding","raw_affiliation_strings":["Tencent Ltd,Beijing,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tencent Ltd,Beijing,China","institution_ids":["https://openalex.org/I2250653659"]}]},{"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/A5140446475","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/A5140449286","display_name":"Huawei Li","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":"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":1,"institutions_distinct_count":3,"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":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.6434000134468079,"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.6434000134468079,"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.26919999718666077,"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.009800000116229057,"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.59579998254776},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.3799999952316284},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.30410000681877136},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.30230000615119934},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.2973000109195709},{"id":"https://openalex.org/keywords/iterative-method","display_name":"Iterative method","score":0.28450000286102295}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6025999784469604},{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.59579998254776},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4325000047683716},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.40689998865127563},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.3799999952316284},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33719998598098755},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.30410000681877136},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.30230000615119934},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.2973000109195709},{"id":"https://openalex.org/C159694833","wikidata":"https://www.wikidata.org/wiki/Q2321565","display_name":"Iterative method","level":2,"score":0.28450000286102295},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.28029999136924744},{"id":"https://openalex.org/C12713177","wikidata":"https://www.wikidata.org/wiki/Q1900281","display_name":"Perspective (graphical)","level":2,"score":0.26179999113082886},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.2606000006198883},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.25029999017715454}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ets69887.2026.11591998","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ets69887.2026.11591998","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 IEEE European Test Symposium (ETS)","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"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1979606755","https://openalex.org/W2123613958","https://openalex.org/W2157373763","https://openalex.org/W2790170883","https://openalex.org/W3110435694","https://openalex.org/W3134385809","https://openalex.org/W4210725750","https://openalex.org/W4239025696","https://openalex.org/W4298082496","https://openalex.org/W4379402981","https://openalex.org/W4390279875","https://openalex.org/W4392405447","https://openalex.org/W4413147731","https://openalex.org/W7155358677"],"related_works":[],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2026-07-11T00:00:00"}