This design is based on the CV32E40X Design-Verification environment, converting the existing Jasper script to an equivalent SBY implementation. This core contains around 250 cover statements, and 750 ...