cmds
|
autoname: do not autoname ports
|
2020-01-14 10:13:29 -08:00 |
equiv
|
xilinx: Add xilinx_dffopt pass (#1557)
|
2019-12-18 13:43:43 +01:00 |
hierarchy
|
Remove submod changes
|
2019-12-30 14:56:14 -08:00 |
memory
|
Cleanup
|
2019-12-17 00:25:08 -08:00 |
opt
|
Fix opt_expr.eqneq.cmpzero debug print
|
2019-12-15 20:40:38 +01:00 |
sat
|
Add fminit pass
|
2020-01-09 21:22:54 +01:00 |
techmap
|
abc9_ops: -prep_xaiger to skip (* keep *) cells
|
2020-01-23 18:56:06 -08:00 |
tests
|
Document (* gentb_skip *) attr for test_autotb
|
2019-09-18 12:41:35 -07:00 |