Lists (3)
Stars
5
stars
written in Verilog
Clear filter
An open-source benchmark for generating design RTL with natural language
Generating Hardware Verification Assertions from Design Specifications via Multi-LLMs
Microarchitectural control flow integrity (𝜇CFI) verification checks whether there exists a control or data flow from instruction's operands to the program counter.