{"id":"https://openalex.org/W4415003936","doi":"https://doi.org/10.1109/mlcad65511.2025.11189208","title":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","display_name":"Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA","publication_year":2025,"publication_date":"2025-09-08","ids":{"openalex":"https://openalex.org/W4415003936","doi":"https://doi.org/10.1109/mlcad65511.2025.11189208"},"language":"en","primary_location":{"id":"doi:10.1109/mlcad65511.2025.11189208","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mlcad65511.2025.11189208","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 ACM/IEEE 7th Symposium on Machine Learning for CAD (MLCAD)","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/A5115012635","display_name":"Weihua Xiao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Weihua Xiao","raw_affiliation_strings":["NYU Tandon School of Engineering,Brooklyn,NY,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NYU Tandon School of Engineering,Brooklyn,NY,USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5119925145","display_name":"Derek Ekberg","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Derek Ekberg","raw_affiliation_strings":["NYU Tandon School of Engineering,Brooklyn,NY,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NYU Tandon School of Engineering,Brooklyn,NY,USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010950688","display_name":"Siddharth Garg","orcid":"https://orcid.org/0000-0002-6158-9512"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Siddharth Garg","raw_affiliation_strings":["NYU Tandon School of Engineering,Brooklyn,NY,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NYU Tandon School of Engineering,Brooklyn,NY,USA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5119925146","display_name":"Ramesh Karri","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ramesh Karri","raw_affiliation_strings":["NYU Tandon School of Engineering,Brooklyn,NY,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NYU Tandon School of Engineering,Brooklyn,NY,USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.8084,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.87223566,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T14011","display_name":"Elevator Systems and Control","score":0.9538999795913696,"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"}},"topics":[{"id":"https://openalex.org/T14011","display_name":"Elevator Systems and Control","score":0.9538999795913696,"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"}},{"id":"https://openalex.org/T11606","display_name":"Infrastructure Maintenance and Monitoring","score":0.9092000126838684,"subfield":{"id":"https://openalex.org/subfields/2205","display_name":"Civil and Structural 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/construct","display_name":"Construct (python library)","score":0.6991000175476074},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6922000050544739},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.6226999759674072},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5268999934196472},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.38600000739097595},{"id":"https://openalex.org/keywords/verilog","display_name":"Verilog","score":0.35839998722076416},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.3278999924659729}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8133000135421753},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.6991000175476074},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6922000050544739},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.6226999759674072},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5268999934196472},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.49239999055862427},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4194999933242798},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.38600000739097595},{"id":"https://openalex.org/C2779030575","wikidata":"https://www.wikidata.org/wiki/Q827773","display_name":"Verilog","level":3,"score":0.35839998722076416},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.3278999924659729},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32120001316070557},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.30559998750686646},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.2994000017642975},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.2946000099182129},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.27970001101493835},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.27959999442100525},{"id":"https://openalex.org/C137293760","wikidata":"https://www.wikidata.org/wiki/Q3621696","display_name":"Language model","level":2,"score":0.2572999894618988},{"id":"https://openalex.org/C121329065","wikidata":"https://www.wikidata.org/wiki/Q185612","display_name":"Regular expression","level":2,"score":0.2531999945640564},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2515000104904175},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.25}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/mlcad65511.2025.11189208","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mlcad65511.2025.11189208","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 ACM/IEEE 7th Symposium on Machine Learning for CAD (MLCAD)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"SystemVerilog":[0],"Assertions":[1],"(SVAs)":[2],"are":[3],"critical":[4],"for":[5,168],"verifying":[6],"the":[7,109,137,156,164,191,216],"correctness":[8],"of":[9,111,141,158,193],"hardware":[10],"designs,":[11],"but":[12],"manually":[13],"writing":[14],"them":[15],"from":[16],"natural":[17],"language":[18,33],"property":[19],"descriptions,":[20],"i.e.,":[21],"NL2SVA,":[22,58,127,161,169],"remains":[23],"a":[24,61,68,82,213],"labor-intensive":[25],"and":[26,51,67,104,107,151,174,208],"error-prone":[27],"task.":[28],"Recent":[29],"advances":[30],"in":[31,57,114],"large":[32],"models":[34,44,125],"(LLMs)":[35],"offer":[36],"opportunities":[37],"to":[38,97],"automate":[39],"this":[40],"translation.":[41],"However,":[42],"existing":[43],"still":[45],"struggle":[46],"with":[47,94,179,210],"understanding":[48],"domain-specific":[49],"syntax":[50,150],"semantics.":[52],"To":[53,121,154],"enhance":[54],"LLM":[55],"performance":[56,157],"we":[59,162],"propose":[60],"customized":[62,187],"retrieval-augmented":[63],"generation":[64],"(RAG)":[65],"framework":[66,79,189],"synthetic":[69],"fine-tuning":[70,129,146,206],"dataset":[71,130,167,207],"that":[72,134,147,185],"together":[73],"improve":[74,123],"LLM\u2019s":[75],"performance.":[76],"Our":[77],"RAG":[78,188],"(i)":[80],"constructs":[81],"context-preserving":[83],"database":[84],"via":[85,102,117],"dynamic":[86],"splitting":[87],"technique,":[88],"(ii)":[89],"combines":[90],"global":[91],"semantic":[92],"retrieval":[93,96],"keyword-guided":[95],"extract":[98],"SVA":[99,112,118],"operator-related":[100],"contexts":[101],"HybridRetrieval,":[103],"(iii)":[105],"validate":[106],"correct":[108],"use":[110],"operators":[113],"LLM-generated":[115],"SVAs":[116,178,196],"operator-based":[119],"rechecking.":[120],"further":[122],"lightweight":[124],"over":[126,160,199,215],"our":[128,186,205],"provides":[131],"prompt-guided":[132],"explanations":[133],"teach":[135],"LLMs":[136,159],"layer-by-layer":[138],"construction":[139],"process":[140],"concurrent":[142],"SVAs,":[143],"enabling":[144],"supervised":[145],"greatly":[148],"improves":[149],"functionality":[152,194],"accuracy.":[153],"evaluate":[155],"construct":[163],"largest":[165],"evaluation":[166],"comprising":[170],"40":[171],"Verilog":[172],"designs":[173],"229":[175],"formally":[176],"verified":[177],"detailed":[180],"annotations.":[181],"Experimental":[182],"results":[183],"show":[184],"increases":[190],"number":[192],"matched":[195],"by":[197],"58.42%":[198],"GPT-4o-mini,":[200],"while":[201],"Qwen2.5-Coder-7B-Instruct":[202],"fine-tuned":[203],"on":[204],"integrated":[209],"HybridRetrieval":[211],"achieves":[212],"59.05%":[214],"base":[217],"Qwen":[218],"model.":[219]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}