mirror of
https://github.com/YosysHQ/yosys
synced 2025-10-31 11:42:30 +00:00
dbc38d72cf
Code now resides in `docs/source/code_examples`. `CHAPTER_Prog` -> `stubnets` `APPNOTE_011_Design_Investigation` -> `selections` and `show` `resources/PRESENTATION_Intro` -> `intro` `resources/PRESENTATION_ExSyn` -> `synth_flow` `resources/PRESENTATION_ExAdv` -> `techmap`, `macc`, and `selections` `resources/PRESENTATION_ExOth` -> `scrambler` and `axis` Note that generated images are not yet configured to build from the new code locations.
15 lines
331 B
Text
15 lines
331 B
Text
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 dot -notitle test_mapped
|