RISC-V COVERAGE AND CHECKERS

RISC-V COVERAGE AND CHECKERS

This paper describes a python-based verification environment for verifying RISC-V DUT. This paper provides a basic introduction to Shakti C-Class used as RTL implementation of RISC-V, and why Python is been choice as a language to develop a verification environment. It also
mentions the Checkers and Coverage models developed for the verification of DUT. The paper explains the CocoTB verification environment developed using Python and how the directed tests are sent to the DUT and Checker and test status and coverage report are generated
for different bins. The paper also include the DUT modules for which the Checker and Coverage Models are generated.

Download
  • Version
  • Download 3
  • File Size 242.60 KB
  • File Count 1