Code coverage holes formal analysis (!994) · Merge requests · OpenHW Group / backup-20241120 / cv32e40p

Eclipse Webmaster requested to merge github/fork/YoannPruvost/dev_formal into dev May 31, 2024

Created by: YoannPruvost

During code coverage analysis, some holes where too complex to waive by code review. We decided to use formal tool to prove that those holes where indeed unreachable in our configurations.

This PR contains the source files and makefile to reproduce our formal runs.

I left some commented out code as reference as those where effort to prove more holes and can be use in the future if needed

Code coverage holes formal analysis

Merge request reports