Code coverage report - Githubissues

olofk / serv

SERV - The SErial RISC-V CPU

ISC License

1.36k stars 178 forks source link

Code coverage report #124

Closed bekbeis closed 3 months ago

bekbeis commented 3 months ago

Hi,

Do you guys have any reports related to coverage of your verification infrastructure? In other words, how good/mature is your verification environment?

Thank you in advance.

olofk commented 3 months ago

No code coverage reports. The main methods for verification has been formal verification through riscv-formal, the RISC-V compliance tests, user programs running in simulation or on FPGA and successful tapeouts.

bekbeis commented 3 months ago

Thanks!