Book
Open access
Oct 2026
Spec2V: Planning-Guided Specification-to-Verilog Generation Framework with Verification-Driven Debugging
Field Programmable Gate Array (FPGA) is essential in mission-critical fields like aerospace. It offers high flexibility and deterministic real-time response. With the increase in development demands and system complexity, the traditional design paradigm that relies on manual expertise has become inefficient. Although l...
Xu-Ming Liu, Chi Zhang, Jing-Long Xu et al.
· Proceedings of the 41st IEEE... · 0 citations