3 ..
/..
/yosys
-q -o async_syn.v
-p 'synth; rename uut syn' async.v
4 ..
/..
/yosys
-q -o async_prp.v
-p 'prep; rename uut prp' async.v
5 ..
/..
/yosys
-q -o async_a2s.v
-p 'prep; async2sync; rename uut a2s' async.v
6 ..
/..
/yosys
-q -o async_ffl.v
-p 'prep; clk2fflogic; rename uut ffl' async.v
7 iverilog
-o async_sim
-DTESTBENCH async.v async_???.v
8 vvp
-N async_sim
> async.out
11 rm -f async_???.v async_sim async.out async.vcd