Updates after running formal (!178) · Merge requests · OpenHW Group / backup-20241120 / cv32e40s

Eclipse Webmaster requested to merge github/fork/silabs-oysteink/silabs-oysteink_formal-CLIC into master Apr 26, 2022

Created by: silabs-oysteink

All design assertions now pass with both SMCLIC=0 and SMCLIC=1. The only exception are pc_check related assertions which is very hard to converge, not failing after approximately two hours though.

Updates after running formal

Merge request reports