Veritas: Deterministic Verilog Code Synthesis from LLM-Generated Conjunctive Normal Form

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

arXiv preprint arXiv:2506.00005; Jun. 2025