Prithwish Basu Roy, Akashdeep Saha, Manaar Alam, Johann Knechtel, Michail Maniatakos, Ozgur Sinanoglu, Ramesh Karri. RTL-Forge: CNF-Anchored, LLM-Assisted Verilog Generation. In 44th IEEE VLSI Test Symposium, VTS 2026, Napa, CA, USA, April 27-29, 2026. pages 1-7, IEEE, 2026. [doi]
Abstract is missing.