diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-09-06 22:48:04 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-09-06 22:48:04 -0700 |
| commit | 51b559af2cc60226d85880efc3705f0860ffaed6 (patch) | |
| tree | bc42b4a85e3da5b35e26daf59e154384bafb38a6 /passes/equiv | |
| parent | ef0681ea4ca0b34689cbf14d5a4478e2785600d9 (diff) | |
| download | yosys-51b559af2cc60226d85880efc3705f0860ffaed6.tar.gz yosys-51b559af2cc60226d85880efc3705f0860ffaed6.tar.bz2 yosys-51b559af2cc60226d85880efc3705f0860ffaed6.zip | |
Usee equiv_opt -assert
Diffstat (limited to 'passes/equiv')
0 files changed, 0 insertions, 0 deletions