Andre Nakkab
- VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
2025/05/16 by Patrick Yubeaton, Yubeaton, Patrick, Andre Nakkab +11 · 5 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques