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

Authors: P.B. Roy, A. Saha, M. Alam, J. Knechtel, M. Maniatakos, O. Sinanoglu, R. Karri

2026 IEEE 44th VLSI Test Symposium (VTS), pp. 1-7; Apr. 2026