Open Issues Need Help
View All on GitHub Export normalized findings as SARIF and static HTML about 2 hours ago
enhancement help wanted
Structural-validity evaluation for AI-generated RTL
Python
#ai-evaluation#cdc#eda#hardware-verification#rdc#systemverilog#verilog
Add a second open-source SystemVerilog frontend about 2 hours ago
help wanted backend
Structural-validity evaluation for AI-generated RTL
Python
#ai-evaluation#cdc#eda#hardware-verification#rdc#systemverilog#verilog