blob: 48203e31992221e7a6ef5fcff96b1c255c74410f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
read_verilog mymul_test.v
hierarchy -check -top test
techmap -map sym_mul_map.v \
-map mymul_map.v;;
rename test test_mapped
read_verilog mymul_test.v
miter -equiv test test_mapped miter
flatten miter
sat -verify -prove trigger 0 miter
splitnets -ports test_mapped/A
show -prefix mymul -format pdf -notitle test_mapped
|