Clifford Wolf
|
0bc95f1e04
|
Added "yosys -D" feature
|
2016-04-21 23:28:37 +02:00 |
Clifford Wolf
|
8b3f8cd220
|
Added "equiv_struct -fwonly"
|
2016-01-08 10:59:16 +01:00 |
Clifford Wolf
|
f5008f4f8a
|
Bugfixes in equiv_struct
|
2016-01-08 09:57:28 +01:00 |
Clifford Wolf
|
c3fd03d722
|
Added "equiv_struct -maxiter <N>"
|
2016-01-06 13:54:54 +01:00 |
Clifford Wolf
|
27714acd8a
|
Improvements in equiv_struct
|
2015-10-25 22:04:20 +01:00 |
Clifford Wolf
|
d014ba2d0e
|
Major refactoring of equiv_struct
|
2015-10-25 19:31:29 +01:00 |
Clifford Wolf
|
83bd27bf6e
|
equiv_struct now creates equiv_merged attributes
|
2015-10-25 02:15:20 +02:00 |
Clifford Wolf
|
453736d918
|
Improvements in equiv_struct
|
2015-10-24 23:04:17 +02:00 |
Clifford Wolf
|
15a67392f1
|
Also merge $equiv cells in equiv_struct
|
2015-10-23 15:26:58 +02:00 |
Clifford Wolf
|
d19069b0fb
|
Improvements in equiv_struct
|
2015-10-23 15:11:57 +02:00 |
Clifford Wolf
|
00e05b1310
|
Added equiv_struct command
|
2015-10-21 17:12:35 +02:00 |