equiv_opt to call async2sync when not -multiclock like SymbiYosys
authorEddie Hung <eddie@fpgeh.com>
Fri, 27 Sep 2019 19:59:10 +0000 (12:59 -0700)
committerEddie Hung <eddie@fpgeh.com>
Fri, 27 Sep 2019 19:59:10 +0000 (12:59 -0700)
commita39505e329cc05dbd4ad624a1cf0f6caf664fd9a
tree3189137c3e21f6d1a3effba4603a864b249aafae
parentfd0e3a2c43d96ba31beede9865d5000230029994
equiv_opt to call async2sync when not -multiclock like SymbiYosys
passes/equiv/equiv_opt.cc