RTL-Forge: CNF-Anchored, LLM-Assisted Verilog Generation.

Prithwish Basu Roy, Akashdeep Saha, Manaar Alam, Johann Knechtel, Michail Maniatakos, Ozgur Sinanoglu, Ramesh Karri

Browse the full VTS paper archive.