Clifford Wolf
|
a3d94bf888
|
Fixed typo in frontends/ast/simplify.cc
|
2014-01-12 21:04:42 +01:00 |
|
Clifford Wolf
|
bc541b47ea
|
Improved performance of freduce input cone reduction
|
2014-01-04 13:10:51 +01:00 |
|
Clifford Wolf
|
b791af174e
|
Improved freduce performance on const signals
|
2014-01-04 00:06:36 +01:00 |
|
Clifford Wolf
|
10f45b8c8e
|
Performance improvements in freduce pass
|
2014-01-03 21:29:28 +01:00 |
|
Clifford Wolf
|
c44e1bec6d
|
More freduce cleanups
|
2014-01-03 18:17:28 +01:00 |
|
Clifford Wolf
|
8f11eaaca6
|
Added updating of RTLIL::autoidx to ilang frontend
|
2014-01-03 17:51:05 +01:00 |
|
Clifford Wolf
|
03f0ab9de2
|
Cleanups in freduce command
|
2014-01-03 17:50:39 +01:00 |
|
Clifford Wolf
|
7354a1718e
|
Fixed SAT and ConstEval undef handling for $pmux and $safe_pmux
|
2014-01-03 17:30:50 +01:00 |
|
Clifford Wolf
|
8a8d444648
|
Tiny cleanup in proc_mux.cc
|
2014-01-03 16:54:59 +01:00 |
|
Clifford Wolf
|
60fbca9970
|
Added "splitnets -driver"
|
2014-01-03 14:01:06 +01:00 |
|
Clifford Wolf
|
bf5e5429c1
|
Use selection in freduce command
|
2014-01-03 13:15:11 +01:00 |
|
Clifford Wolf
|
c3e9f0712f
|
Another small freduce cleanup/bugfix
|
2014-01-03 12:34:18 +01:00 |
|
Clifford Wolf
|
914e208aa3
|
Added "connect" command
|
2014-01-03 12:33:00 +01:00 |
|
Clifford Wolf
|
67d155078d
|
More freduce cleanups and bugfixes
|
2014-01-03 02:44:05 +01:00 |
|
Clifford Wolf
|
eec2cd1e78
|
Added RTLIL::SigSpec::optimized() API
|
2014-01-03 02:43:31 +01:00 |
|
Clifford Wolf
|
fb2bf934dc
|
Added correct handling of $memwr priority
|
2014-01-03 00:22:17 +01:00 |
|
Clifford Wolf
|
536e20bde1
|
Fixed more complex undef cases in freduce
|
2014-01-02 23:40:20 +01:00 |
|
Clifford Wolf
|
5a0f561d9c
|
Now */ is optional in */<mode>:<arg> selections
|
2014-01-02 20:35:37 +01:00 |
|
Clifford Wolf
|
456ae31a8a
|
Added "rename -hide" command
|
2014-01-02 20:23:34 +01:00 |
|
Clifford Wolf
|
1f80557ade
|
Added SAT undef model for $pmux and $safe_pmux
|
2014-01-02 19:58:59 +01:00 |
|
Clifford Wolf
|
0759c97748
|
More "freduce" related fixes and improvements
|
2014-01-02 19:37:34 +01:00 |
|
Clifford Wolf
|
ced4d7b321
|
Added support for module->connections to select %ci, %co and %x handling
|
2014-01-02 18:44:24 +01:00 |
|
Clifford Wolf
|
c6b33f81eb
|
Some cleanups in freduce -inv mode (and switched from -noinv to -inv)
|
2014-01-02 18:11:01 +01:00 |
|
Clifford Wolf
|
6dec0e0b3e
|
Added autotest.sh -p option
|
2014-01-02 17:52:48 +01:00 |
|
Clifford Wolf
|
249ef8695a
|
Major rewrite of "freduce" command
|
2014-01-02 16:52:33 +01:00 |
|
Clifford Wolf
|
e501b8e5c7
|
Updated CHANGELOG
|
2014-01-01 18:55:21 +01:00 |
|
Clifford Wolf
|
e09ebf475c
|
Fixed use of limited length buffer in ABC blif parser
|
2013-12-31 21:58:35 +01:00 |
|
Clifford Wolf
|
ab3f6266ad
|
Use "abc -dff" in "make test"
|
2013-12-31 21:25:34 +01:00 |
|
Clifford Wolf
|
4892a3ce6d
|
Added abc -dff and -clk support
|
2013-12-31 21:25:09 +01:00 |
|
Clifford Wolf
|
b3b00f1bf4
|
Various small cleanups in stdcells.v techmap code
|
2013-12-31 15:41:40 +01:00 |
|
Clifford Wolf
|
15acf593e7
|
Added additional checks for A_SIGNED == B_SIGNED for cells with that constraint
|
2013-12-31 14:54:06 +01:00 |
|
Clifford Wolf
|
1cd975ef8d
|
Updated ABC to hg rev 57517e81666b
|
2013-12-31 14:39:02 +01:00 |
|
Clifford Wolf
|
be5dab87fd
|
Now using BLIF as ABC input format
|
2013-12-31 14:29:29 +01:00 |
|
Clifford Wolf
|
a582b9d184
|
Fixed commented out techmap call in tests/tools/autotest.sh
|
2013-12-31 13:51:25 +01:00 |
|
Clifford Wolf
|
c616802ac7
|
Always use BLIF as ABC output format
|
2013-12-31 13:41:16 +01:00 |
|
Clifford Wolf
|
364f277afb
|
Fixed a stupid access after delete bug
|
2013-12-29 20:18:22 +01:00 |
|
Clifford Wolf
|
bf607df6d5
|
Fixed undef extend for bitwise binary ops (bugs in simplemap and satgen)
|
2013-12-29 17:39:49 +01:00 |
|
Clifford Wolf
|
74d0de3b74
|
Updated manual/command-reference-manual.tex
|
2013-12-28 12:14:47 +01:00 |
|
Clifford Wolf
|
fe8ec32a1c
|
Added new cell types to manual
|
2013-12-28 12:10:32 +01:00 |
|
Clifford Wolf
|
c69c416d28
|
Added $bu0 cell (for easy correct $eq/$ne mapping)
|
2013-12-28 12:02:14 +01:00 |
|
Clifford Wolf
|
7f71787599
|
Added sat -prove-x and -set-def-inputs
|
2013-12-28 11:24:36 +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
|
122b3c067b
|
Fixed sat handling of $eqx and $nex with unequal port widths
|
2013-12-27 18:11:05 +01:00 |
|
Clifford Wolf
|
1dcbba1abf
|
Fixed parsing of non-arg macro calls followed by "("
|
2013-12-27 16:25:27 +01:00 |
|
Clifford Wolf
|
0f5ab7649e
|
Small cleanup in SatGen
|
2013-12-27 15:18:14 +01:00 |
|
Clifford Wolf
|
c9699fe76d
|
More $eq/$ne/$eqx/$nex fixes in opt_const
|
2013-12-27 15:18:14 +01:00 |
|
Clifford Wolf
|
72026a934e
|
Fixed parsing of macros with no arguments and expansion text starting with "("
|
2013-12-27 15:05:52 +01:00 |
|
Clifford Wolf
|
ebf9abfeb6
|
Fixed sat handling of $eqx and $nex cells
|
2013-12-27 14:32:42 +01:00 |
|
Clifford Wolf
|
7b02a44efb
|
Fixed/improved opt_const $eq/$ne/$eqx/$nex handling
|
2013-12-27 14:21:24 +01:00 |
|