diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-02-16 17:56:19 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-02-16 17:56:19 +0100 |
commit | f08c71b96c325f2432abb4f95fd823ae243e003b (patch) | |
tree | ad428898a6d96273014239a63bec4da8af89214d /manual/PRESENTATION_ExAdv/mymul_test.ys | |
parent | 42ce3db983fdb512e181daab1817991a661066ff (diff) |
Progress in presentation
Diffstat (limited to 'manual/PRESENTATION_ExAdv/mymul_test.ys')
-rw-r--r-- | manual/PRESENTATION_ExAdv/mymul_test.ys | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/manual/PRESENTATION_ExAdv/mymul_test.ys b/manual/PRESENTATION_ExAdv/mymul_test.ys new file mode 100644 index 00000000..48203e31 --- /dev/null +++ b/manual/PRESENTATION_ExAdv/mymul_test.ys @@ -0,0 +1,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 |