yosys/passes
Clifford Wolf 2a681909df
Merge pull request #724 from whitequark/equiv_opt
equiv_opt: new command, for verifying optimization passes
2018-12-16 15:54:26 +01:00
..
cmds rename: add -src, for inferring names from source locations. 2018-12-05 20:35:13 +00:00
equiv equiv_opt: pass -D EQUIV when techmapping. 2018-12-07 17:20:34 +00:00
fsm Consistent use of 'override' for virtual methods in derived classes. 2018-07-20 23:51:06 -07:00
hierarchy Refactor code to avoid code duplication + added comments 2018-10-20 16:06:48 +02:00
memory memory_bram: Fix initdata bit order after shuffling 2018-12-11 21:02:49 +00:00
opt Merge pull request #720 from whitequark/master 2018-12-16 15:27:23 +01:00
proc Consistent use of 'override' for virtual methods in derived classes. 2018-07-20 23:51:06 -07:00
sat Fixed minor typo in "sim" help message 2018-09-12 18:34:27 -04:00
techmap Merge pull request #714 from daveshah1/abc_preserve_naming 2018-12-16 15:41:30 +01:00
tests Consistent use of 'override' for virtual methods in derived classes. 2018-07-20 23:51:06 -07:00