{"id":242498,"date":"2025-06-01T00:00:00","date_gmt":"2025-06-01T00:00:00","guid":{"rendered":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/?publications=veritas-deterministic-verilog-code-synthesis-from-llm-generated-conjunctive-normal-form"},"modified":"2026-06-03T07:11:17","modified_gmt":"2026-06-03T07:11:17","slug":"veritas-deterministic-verilog-code-synthesis-from-llm-generated-conjunctive-normal-form","status":"publish","type":"publications","link":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/?publications=veritas-deterministic-verilog-code-synthesis-from-llm-generated-conjunctive-normal-form","title":{"rendered":"Veritas: Deterministic Verilog Code Synthesis from LLM-Generated Conjunctive Normal Form"},"content":{"rendered":"<p>Authors: P. Basu Roy, A. Saha, M. Alam, J. Knechtel, M. Maniatakos, O. Sinanoglu, R. Karri<\/p>\n<p><em>arXiv preprint arXiv:2506.00005; Jun. 2025<\/em><\/p>\n<div class=\"pub-meta\">\n  <span class=\"pub-badge badge-preprint\">Preprint<\/span><br \/>\n  <a href=\"https:\/\/arxiv.org\/pdf\/2506.00005\" target=\"_blank\">View Paper \u2197<\/a>\n<\/div>\n","protected":false},"featured_media":0,"template":"","categories":[1],"pub-type":[],"research-area":[],"pub-year":[37],"class_list":["post-242498","publications","type-publications","status-publish","hentry","category-uncategorized","pub-year-37"],"_links":{"self":[{"href":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/index.php?rest_route=\/wp\/v2\/publications\/242498","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/index.php?rest_route=\/wp\/v2\/publications"}],"about":[{"href":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/index.php?rest_route=\/wp\/v2\/types\/publications"}],"wp:attachment":[{"href":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=242498"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=242498"},{"taxonomy":"pub-type","embeddable":true,"href":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/index.php?rest_route=%2Fwp%2Fv2%2Fpub-type&post=242498"},{"taxonomy":"research-area","embeddable":true,"href":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/index.php?rest_route=%2Fwp%2Fv2%2Fresearch-area&post=242498"},{"taxonomy":"pub-year","embeddable":true,"href":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/index.php?rest_route=%2Fwp%2Fv2%2Fpub-year&post=242498"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}