mirror of
https://github.com/YosysHQ/yosys
synced 2025-11-04 05:19:11 +00:00
16 lines
353 B
Text
16 lines
353 B
Text
import -cfg db_abstract_case_statement_synthesis 0
|
|
read -sv case.sv
|
|
import -import top
|
|
prep
|
|
rename top gold
|
|
|
|
import -cfg db_abstract_case_statement_synthesis 1
|
|
read -sv case.sv
|
|
import -import top
|
|
prep
|
|
rename top gate
|
|
|
|
miter -equiv -flatten -make_assert gold gate miter
|
|
prep -top miter
|
|
clk2fflogic
|
|
sat -set-init-zero -tempinduct -prove-asserts -verify
|