{"id":243880,"date":"2026-04-27T00:00:00","date_gmt":"2026-04-27T00:00:00","guid":{"rendered":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/?publications=rtl-forge-cnf-anchored-llm-assisted-verilog-generation"},"modified":"2026-04-27T00:00:00","modified_gmt":"2026-04-27T00:00:00","slug":"rtl-forge-cnf-anchored-llm-assisted-verilog-generation","status":"publish","type":"publications","link":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/?publications=rtl-forge-cnf-anchored-llm-assisted-verilog-generation","title":{"rendered":"RTL-Forge: CNF-Anchored, LLM-Assisted Verilog Generation"},"content":{"rendered":"<p>Authors: P.B. Roy, A. Saha, M. Alam, J. Knechtel, M. Maniatakos, O. Sinanoglu, R. Karri<\/p>\n<p><em>2026 IEEE 44th VLSI Test Symposium (VTS), pp. 1-7; Apr. 2026<\/em><\/p>\n<div class=\"pub-meta\">\n  <span class=\"pub-badge badge-conference\">Conference<\/span><br \/>\n  <a href=\"https:\/\/ieeexplore.ieee.org\/document\/11563358\" target=\"_blank\">View Paper \u2197<\/a>\n<\/div>\n","protected":false},"featured_media":0,"template":"","categories":[1],"pub-type":[],"research-area":[],"pub-year":[29],"class_list":["post-243880","publications","type-publications","status-publish","hentry","category-uncategorized","pub-year-29"],"_links":{"self":[{"href":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/index.php?rest_route=\/wp\/v2\/publications\/243880","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=243880"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=243880"},{"taxonomy":"pub-type","embeddable":true,"href":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/index.php?rest_route=%2Fwp%2Fv2%2Fpub-type&post=243880"},{"taxonomy":"research-area","embeddable":true,"href":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/index.php?rest_route=%2Fwp%2Fv2%2Fresearch-area&post=243880"},{"taxonomy":"pub-year","embeddable":true,"href":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/index.php?rest_route=%2Fwp%2Fv2%2Fpub-year&post=243880"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}