Skip to content

Updates after running formal

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.

Merge request reports

Loading