insoochung / rtl-semantics-design-verification

5 stars 1 forks source link

Extend to multiple RISCV designs #39

Open insoochung opened 2 years ago

insoochung commented 2 years ago

For more data generation and confirming generalizability of the framework.

Items:

insoochung commented 2 years ago

A set of CMDs used with google-riscv-dv

python riscv_dv/run.py  -ct ../designs/ibex_v1/ibex/dv/uvm/core_ibex/riscv_dv_extension/ --test riscv_rand_instr_test -i 1 --isa rv32imc -m ilp32
python riscv_dv/cov.py --dir out_2022-05-11/
urg -dir cov_out_2022-05-11/test.vdb/
insoochung commented 2 years ago

https://github.com/Lampro-Mellon/LM-RISCV-DV

insoochung commented 2 years ago

https://core-v-docs-verif-strat.readthedocs.io/en/latest/quick_start.html