Loading files
This file is pinned to the selected release. Download the original to open it in your design tool.
set top cv32e40p_wrapper
source ../../autocheck_common_rules.do
source ../../formal_lint_rules.do
autocheck report inconclusives
autocheck compile -work design_lib -d cv32e40p_wrapper -L design_lib -L work
autocheck verify -jobs 1
exit
6033d2b1bThis file is pinned to the selected release. Download the original to open it in your design tool.