search

SymbioticEDA / riscv-formal

RISC-V Formal Verification Framework
ISC License
573 stars 94 forks source link

Fix monitor/generate.py to support macros besides RISCV_FORMAL_COMPRE… #16

Closed yx9527 closed 5 years ago

yx9527 commented 5 years ago

…SSED/RISCV_FORMAL_ALIGNED_MEM