Automated Generation of RISC-V Extensions with Formal Correctness Guarantees
Elisavet Lydia Alvanaki, Jia-Kun Wang, Eugenio Muscinelli et al.
· 0 citations
We have 2 of 5 papers
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Preprint
Aug 2026
NoTB: Oracle-Free Triage of LLM-Generated RTL via Cross-Model Formal Consensus
NoTB is introduced, an oracle-free triage framework that infers correctness from cross-model formal consensus and demonstrates that formal cross-model agreement provides a reliable basis for high-confidence triage without model-dependent oracles.
Elisavet Lydia Alvanaki, Je Yang, Biruk B. Seyoum et al.
· 0 citations