Clifford Wolf
|
ecdf1f5577
|
Improved handling of reg init in opt_share and opt_rmdff
|
2014-02-04 12:02:47 +01:00 |
Clifford Wolf
|
de336d93b2
|
More opt_const -mux_bool features
|
2014-02-02 22:41:24 +01:00 |
Clifford Wolf
|
9d0b69edaa
|
Added opt_const -mux_bool
|
2014-02-02 22:11:08 +01:00 |
Clifford Wolf
|
bee4450c4c
|
Added support for inverter chains to opt_const
|
2014-02-02 21:46:42 +01:00 |
Clifford Wolf
|
83fa652820
|
Added constant-clock case to opt_rmdff
|
2014-02-02 21:09:08 +01:00 |
Clifford Wolf
|
1e67099b77
|
Added $assert cell
|
2014-01-19 14:03:40 +01:00 |
Clifford Wolf
|
2e370d5a2f
|
Added support for $adff with undef data inputs to opt_rmdff
|
2014-01-17 16:42:40 +01:00 |
Clifford Wolf
|
54275c61ee
|
Added "opt_const -mux_undef"
|
2014-01-14 11:10:29 +01:00 |
Clifford Wolf
|
bd39263796
|
Improved $_MUX_ handling in opt_const
|
2013-12-28 10:30:31 +01:00 |
Clifford Wolf
|
d81e3ed3ae
|
More conservastive $eq/$ne/$eqx/$nex opt_const code
|
2013-12-28 10:29:22 +01:00 |
Clifford Wolf
|
c9699fe76d
|
More $eq/$ne/$eqx/$nex fixes in opt_const
|
2013-12-27 15:18:14 +01:00 |
Clifford Wolf
|
7b02a44efb
|
Fixed/improved opt_const $eq/$ne/$eqx/$nex handling
|
2013-12-27 14:21:24 +01:00 |
Clifford Wolf
|
369bf81a70
|
Added support for non-const === and !== (for miter circuits)
|
2013-12-27 14:20:15 +01:00 |
Clifford Wolf
|
e5b974fa2a
|
Cleanups and bugfixes in response to new internal cell checker
|
2013-11-11 00:39:45 +01:00 |
Clifford Wolf
|
b04051a0e2
|
Fixed keep attribute on wires in opt_clean
|
2013-11-08 05:20:15 +01:00 |
Clifford Wolf
|
947bd9b96b
|
Renamed extend_un0() to extend_u0() and use it in genrtlil
|
2013-11-07 18:17:10 +01:00 |
Clifford Wolf
|
0e1661f84e
|
Fixed type of sign extension in opt_const $eq/$ne handling
|
2013-11-07 16:53:28 +01:00 |
Clifford Wolf
|
db42a8f89b
|
Fixed $eq/$ne bitwise optimization in opt_const
|
2013-11-07 11:54:59 +01:00 |
Clifford Wolf
|
1d34fd7608
|
Added support for "keep" attributes on wires
|
2013-11-05 15:52:29 +01:00 |
Clifford Wolf
|
e679a5d046
|
Fixed handling of boolean attributes (passes)
|
2013-10-24 11:37:54 +02:00 |
Clifford Wolf
|
8cc53ef72c
|
Only prefer connected signals iff they have public names
|
2013-10-17 22:10:55 +02:00 |
Clifford Wolf
|
c20571ca5e
|
Avoid re-arranging signals on register outputs
|
2013-10-17 20:48:40 +02:00 |
Clifford Wolf
|
f5c0ed6c79
|
Fixed detection of major wires in opt_clean
|
2013-10-17 02:41:59 +02:00 |
Clifford Wolf
|
96e7abad48
|
Added iopadmap pass
|
2013-10-16 16:16:06 +02:00 |
Clifford Wolf
|
a5836af172
|
Added "clean -purge" and ";;;" support
|
2013-08-11 13:59:14 +02:00 |
Clifford Wolf
|
080f0aac34
|
Added ";;" as shortcut for "; clean;"
|
2013-08-11 13:33:38 +02:00 |
Clifford Wolf
|
05483619f0
|
Some fixes to improve determinism
|
2013-08-09 12:42:32 +02:00 |
Clifford Wolf
|
8cd153612e
|
Added "clean" command (less verbose opt_clean)
|
2013-08-08 10:53:37 +02:00 |
Clifford Wolf
|
e729857647
|
Improved handling of private names in opt_clean and rename commands
|
2013-08-07 18:39:49 +02:00 |
Clifford Wolf
|
a9fefc6ce1
|
Bugfixes for empty signal vectors
|
2013-07-10 12:52:29 +02:00 |
Clifford Wolf
|
cf885c4a28
|
Added opt_clean -purge option
|
2013-07-07 12:59:30 +02:00 |
Clifford Wolf
|
0c0197cf45
|
Fixed handling of $eq and $ne in opt_const
|
2013-07-07 12:59:00 +02:00 |
Clifford Wolf
|
c32b918681
|
Renamed opt_rmunused to opt_clean
|
2013-06-05 07:07:31 +02:00 |
Clifford Wolf
|
ccd2a93439
|
Added log_abort() api
|
2013-05-24 12:32:06 +02:00 |
Clifford Wolf
|
f674150f1c
|
Fixed memory corruption bug in opt_rmunused
|
2013-05-23 13:19:28 +02:00 |
Clifford Wolf
|
3b8882ae49
|
Some improvements in opt_rmdff
|
2013-05-23 07:48:18 +02:00 |
Clifford Wolf
|
3ecc314238
|
Fixed to aggressive x-folding in opt_const
|
2013-05-17 14:55:18 +02:00 |
Clifford Wolf
|
c6198ea5a8
|
Fixed a bug in opt_const when optimizing 1-bit compares with constants
|
2013-04-13 21:18:24 +02:00 |
Clifford Wolf
|
88af5b6a16
|
Improved opt_share for reduce cells
|
2013-03-29 11:19:21 +01:00 |
Clifford Wolf
|
0d48b846ac
|
Improved opt_share for commutative standard cells
|
2013-03-29 11:01:26 +01:00 |
Clifford Wolf
|
9f10acb840
|
added optimizations for single-bit $eq/$ne with constant input to opt_const
|
2013-03-19 13:33:33 +01:00 |
Clifford Wolf
|
d8a7fa6b67
|
improved $mux optimization in opt_const
|
2013-03-19 13:32:39 +01:00 |
Clifford Wolf
|
b7fcf1fb9a
|
keep $mux and $_MUX_ optimizations separate in opt_const
|
2013-03-19 13:32:04 +01:00 |
Johann Glaser
|
69674652c5
|
added one more suggestion to optimize MUXes in pass "opt_const"
|
2013-03-18 22:06:16 +01:00 |
Johann Glaser
|
a4e2c887f1
|
also optimize single-bit "$mux" cells in pass "opt_const", added suggestions
for more optimizations
|
2013-03-18 22:05:21 +01:00 |
Johann Glaser
|
cd8008bda0
|
fixed typos
|
2013-03-18 07:28:31 +01:00 |
Clifford Wolf
|
55f927eecb
|
Fixed detection of public wires in opt_rmunused
|
2013-03-10 14:20:03 +01:00 |
Clifford Wolf
|
b96ffed69b
|
Automatically select new objects in abc and techmap passes
|
2013-03-08 09:16:25 +01:00 |
Clifford Wolf
|
45bfe26f5f
|
Minor hotfixes (mostly gcc build fixes)
|
2013-03-03 13:18:37 +01:00 |
Clifford Wolf
|
a338d1a082
|
Added help messages for fsm_* passes
|
2013-03-01 12:35:12 +01:00 |
Clifford Wolf
|
36954471a6
|
Added help messages for opt_* passes
|
2013-03-01 09:01:49 +01:00 |
Clifford Wolf
|
1bbc2b34c8
|
Added support for simple gates with one constant input to opt_const
|
2013-02-27 18:00:01 +01:00 |
Clifford Wolf
|
f28b6aff40
|
Implemented basic functionality of "extract" pass
|
2013-02-27 16:27:20 +01:00 |
Clifford Wolf
|
a321a5c412
|
Moved stand-alone libs to libs/ directory and added libs/subcircuit
|
2013-02-27 09:32:19 +01:00 |
Clifford Wolf
|
7764d0ba1d
|
initial import
|
2013-01-05 11:13:26 +01:00 |