Clifford Wolf
|
51e1295d79
|
Added detection of "mux inverter" chains in opt_const
|
2015-09-18 11:55:31 +02:00 |
Clifford Wolf
|
e7c018e5d1
|
Fixed sharing of $memrd cells
|
2015-09-12 16:01:20 +02:00 |
Clifford Wolf
|
b10ea0550d
|
gcc-4.6 build fixes
|
2015-09-01 12:51:23 +02:00 |
Clifford Wolf
|
f43815054e
|
Properly clean up unused "init" attributes
|
2015-08-18 13:50:15 +02:00 |
Clifford Wolf
|
ae09c89f62
|
Fixed opt_clean handling of inout ports
|
2015-08-16 09:50:17 +02:00 |
Clifford Wolf
|
84bf862f7c
|
Spell check (by Larry Doolittle)
|
2015-08-14 10:56:05 +02:00 |
Clifford Wolf
|
c43f38c81b
|
Improved handling of "keep" attributes in hierarchical designs in opt_clean
|
2015-08-12 14:10:14 +02:00 |
Clifford Wolf
|
667b015018
|
Merge pull request #70 from gaomy3832/bugfix
Remove unused blackbox modules in opt_clean.
|
2015-08-12 08:45:04 +02:00 |
Mingyu Gao
|
cbda56d178
|
Remove unused blackbox modules in opt_clean.
|
2015-08-11 09:51:08 -07:00 |
Mingyu Gao
|
8c4c62f3e1
|
Bugfix for cell hash cache option in opt_share.
|
2015-08-11 11:40:23 +02:00 |
Clifford Wolf
|
2185125760
|
Added missing ct_all setup to opt_clean
|
2015-08-11 07:54:32 +02:00 |
Mingyu Gao
|
021b4a2436
|
Bugfix for cell hash cache option in opt_share.
|
2015-08-10 13:01:44 -07:00 |
Clifford Wolf
|
2a613b1b66
|
Some cleanups in opt_rmdff
|
2015-07-25 12:09:57 +02:00 |
Clifford Wolf
|
914ae3401e
|
Improved $adff simplification
|
2015-07-24 14:12:50 +02:00 |
Clifford Wolf
|
6c84341f22
|
Fixed trailing whitespaces
|
2015-07-02 11:14:30 +02:00 |
Clifford Wolf
|
053058d781
|
Added opt_const -clkinv
|
2015-07-01 10:49:21 +02:00 |
Clifford Wolf
|
08f9b38a9c
|
Added opt_share -share_all
|
2015-05-31 14:24:34 +02:00 |
Clifford Wolf
|
4b6221478e
|
Added simple $dlatch support to opt_rmdff
|
2015-05-23 09:45:48 +02:00 |
Clifford Wolf
|
e122c2644e
|
preserve used $-wires with init attribute in opt_clean
|
2015-05-22 08:20:29 +02:00 |
Clifford Wolf
|
f483dce7c2
|
Added $eq/$neq -> $logic_not/$reduce_bool optimization
|
2015-04-29 07:28:15 +02:00 |
Clifford Wolf
|
9041f34233
|
Improved handling of init values in opt_rmdff
based on a patch by Mingyu Gao, user gaomy3832 on github
|
2015-04-18 08:04:31 +02:00 |
Clifford Wolf
|
e305d85807
|
Added handling of bool-output cells to "wreduce"
|
2015-04-13 19:27:49 +02:00 |
Clifford Wolf
|
1f1deda888
|
Added non-std verilog assume() statement
|
2015-02-26 18:47:39 +01:00 |
Clifford Wolf
|
9ae21263f0
|
Some cleanups in "clean"
|
2015-02-24 22:31:30 +01:00 |
Clifford Wolf
|
4e6ca7760f
|
Replaced ezDefaultSAT with ezSatPtr
|
2015-02-21 12:15:41 +01:00 |
Clifford Wolf
|
024aa559e2
|
wreduce help typo fix
|
2015-02-17 13:02:16 +01:00 |
Clifford Wolf
|
0748ef638d
|
Bugfix in wreduce
|
2015-02-16 09:08:00 +01:00 |
Clifford Wolf
|
910556560f
|
Added $meminit cell type
|
2015-02-14 10:23:03 +01:00 |
Clifford Wolf
|
87819c62fa
|
Less aggressive "share" defaults
|
2015-02-10 20:51:37 +01:00 |
Clifford Wolf
|
8805c24640
|
Fixed opt_clean performance bug
|
2015-02-04 16:34:06 +01:00 |
Clifford Wolf
|
a8f4a099b5
|
Using design->selected_modules() in opt_*
|
2015-02-03 23:45:01 +01:00 |
Clifford Wolf
|
8dfa105255
|
Bugfix in opt_const $eq -> buffer code
|
2015-01-31 23:25:32 +01:00 |
Clifford Wolf
|
2a9ad48eb6
|
Added ENABLE_NDEBUG makefile options
|
2015-01-24 12:16:46 +01:00 |
Clifford Wolf
|
43951099cf
|
Added dict/pool.sort()
|
2015-01-24 00:13:27 +01:00 |
Clifford Wolf
|
74e1de1fac
|
Fixed opt_muxtree performance bug
|
2015-01-21 16:44:07 +01:00 |
Clifford Wolf
|
f630868bc9
|
Improvements in opt_muxtree
|
2015-01-18 12:57:36 +01:00 |
Clifford Wolf
|
d3b35017f8
|
More opt_muxtree cleanups
|
2015-01-18 12:13:18 +01:00 |
Clifford Wolf
|
61192514e3
|
Various cleanups and improvements in opt_muxtree
|
2015-01-18 11:17:56 +01:00 |
Clifford Wolf
|
a95c229e12
|
Fixed a bug in opt_muxtree for "mux forests"
|
2015-01-17 13:56:53 +01:00 |
Clifford Wolf
|
3628ca989c
|
Improved opt_muxtree
|
2015-01-17 12:05:19 +01:00 |
Clifford Wolf
|
8426884b40
|
Re-enabled mux->and/or transform (and fixed lm32 in yosys-bigsim)
|
2015-01-13 13:20:09 +01:00 |
Clifford Wolf
|
fd787609aa
|
disabled problematic mux -> and/or transform
|
2015-01-07 23:25:51 +01:00 |
Clifford Wolf
|
462b22f44f
|
dict<> ref vs insert bugfix
|
2015-01-06 00:16:44 +01:00 |
Clifford Wolf
|
11c3b81c08
|
typo fix for "opt -fast"
|
2014-12-30 22:35:38 +01:00 |
Clifford Wolf
|
c64b1de11d
|
Fixed build with SMALL=1
|
2014-12-30 11:41:24 +01:00 |
Clifford Wolf
|
29a555ec7e
|
Added statehash to ezSAT
|
2014-12-29 17:10:37 +01:00 |
Clifford Wolf
|
3ff0d04555
|
Cleanups in opt_clean
|
2014-12-29 05:11:06 +01:00 |
Clifford Wolf
|
7d843adef9
|
dict/pool changes in opt_clean
|
2014-12-29 04:06:52 +01:00 |
Clifford Wolf
|
cfe0817697
|
Converting "share" to dict<> and pool<> complete
|
2014-12-29 02:01:42 +01:00 |
Clifford Wolf
|
9ff3a9f30d
|
Switched most of "share" to dict<> and pool<>
|
2014-12-29 00:42:48 +01:00 |