{"id":"https://openalex.org/W7134917480","doi":"https://doi.org/10.48550/arxiv.2603.08715","title":"VeriInteresting: An Empirical Study of Model Prompt Interactions in Verilog Code Generation","display_name":"VeriInteresting: An Empirical Study of Model Prompt Interactions in Verilog Code Generation","publication_year":2026,"publication_date":"2026-02-04","ids":{"openalex":"https://openalex.org/W7134917480","doi":"https://doi.org/10.48550/arxiv.2603.08715"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.08715","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.08715","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2603.08715","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5063707346","display_name":"Luca Collini","orcid":"https://orcid.org/0000-0003-2367-6700"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Collini, Luca","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5128693422","display_name":"Andrew Hennesee","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hennesee, Andrew","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5128722817","display_name":"Patrick Yubeaton","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yubeaton, Patrick","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"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":"Garg, Siddharth","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5128781624","display_name":"Ramesh Karri","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Karri, Ramesh","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"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":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.25,"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/T10028","display_name":"Topic Modeling","score":0.25,"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/T10260","display_name":"Software Engineering Research","score":0.13379999995231628,"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"}},{"id":"https://openalex.org/T11948","display_name":"Machine Learning in Materials Science","score":0.10970000177621841,"subfield":{"id":"https://openalex.org/subfields/2505","display_name":"Materials Chemistry"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.7106999754905701},{"id":"https://openalex.org/keywords/verilog","display_name":"Verilog","score":0.6733999848365784},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5874000191688538},{"id":"https://openalex.org/keywords/empirical-research","display_name":"Empirical research","score":0.580299973487854},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5425999760627747},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.40119999647140503}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7910000085830688},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.7106999754905701},{"id":"https://openalex.org/C2779030575","wikidata":"https://www.wikidata.org/wiki/Q827773","display_name":"Verilog","level":3,"score":0.6733999848365784},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5874000191688538},{"id":"https://openalex.org/C120936955","wikidata":"https://www.wikidata.org/wiki/Q2155640","display_name":"Empirical research","level":2,"score":0.580299973487854},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5425999760627747},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5404999852180481},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4058000147342682},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.40119999647140503},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32030001282691956},{"id":"https://openalex.org/C199519371","wikidata":"https://www.wikidata.org/wiki/Q942695","display_name":"Source lines of code","level":3,"score":0.2915000021457672},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.2797999978065491},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.2703000009059906},{"id":"https://openalex.org/C139143892","wikidata":"https://www.wikidata.org/wiki/Q7441615","display_name":"Search-based software engineering","level":5,"score":0.2702000141143799},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2671999931335449},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.2671000063419342},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.2662000060081482},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.2660999894142151},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2556999921798706},{"id":"https://openalex.org/C509989072","wikidata":"https://www.wikidata.org/wiki/Q15188241","display_name":"Model-driven architecture","level":4,"score":0.2533999979496002},{"id":"https://openalex.org/C159149176","wikidata":"https://www.wikidata.org/wiki/Q14489129","display_name":"Evolutionary algorithm","level":2,"score":0.2529999911785126}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.08715","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.08715","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2603.08715","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.08715","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"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":{"Rapid":[0],"advances":[1],"in":[2,35,99],"language":[3],"models":[4],"(LMs)":[5],"have":[6],"created":[7],"new":[8],"opportunities":[9],"for":[10,37],"automated":[11],"code":[12,39],"generation":[13],"while":[14],"complicating":[15],"trade-offs":[16],"between":[17],"model":[18,45,101],"characteristics":[19],"and":[20,48,59,65,86,107,109,117],"prompt":[21,49,80,88],"design":[22,74],"choices.":[23],"In":[24],"this":[25],"work,":[26],"we":[27,96,110],"provide":[28],"an":[29],"empirical":[30],"map":[31],"of":[32,57],"recent":[33],"trends":[34,113],"LMs":[36,116],"Verilog":[38,94],"generation,":[40],"focusing":[41],"on":[42],"interactions":[43],"among":[44],"reasoning,":[46,64,83],"specialization,":[47],"engineering":[50],"strategies.":[51],"We":[52],"evaluate":[53],"a":[54,71],"diverse":[55],"set":[56],"small":[58],"large":[60],"LMs,":[61],"including":[62],"general-purpose,":[63],"domain-specific":[66],"variants.":[67],"Our":[68],"experiments":[69],"use":[70],"controlled":[72],"factorial":[73],"spanning":[75],"benchmark":[76],"prompts,":[77],"structured":[78,105],"outputs,":[79],"rewriting,":[81],"chain-of-thought":[82],"in-context":[84],"learning,":[85],"evolutionary":[87],"optimization":[89],"via":[90],"Genetic-Pareto.":[91],"Across":[92],"two":[93],"benchmarks,":[95],"identify":[97],"patterns":[98],"how":[100],"classes":[102],"respond":[103],"to":[104,124],"prompts":[106],"optimization,":[108],"document":[111],"which":[112],"generalize":[114],"across":[115],"benchmarks":[118],"versus":[119],"those":[120],"that":[121],"are":[122],"specific":[123],"particular":[125],"model-prompt":[126],"combinations.":[127]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-03-12T00:00:00"}