Clifford Wolf
|
be5dab87fd
|
Now using BLIF as ABC input format
|
2013-12-31 14:29:29 +01:00 |
|
Clifford Wolf
|
c616802ac7
|
Always use BLIF as ABC output format
|
2013-12-31 13:41:16 +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
|
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
|
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
|
11ffa78677
|
Added sat -set-def/-set-*-undef support
|
2013-12-27 13:27:21 +01:00 |
|
Clifford Wolf
|
fb31d10236
|
Renamed sat -set-undef to -set-any-undef
|
2013-12-27 13:02:46 +01:00 |
|
Clifford Wolf
|
334b0cc803
|
Fixed dfflibmap for unused output ports
|
2013-12-21 20:47:22 +01:00 |
|
Clifford Wolf
|
8856cec308
|
Now prefer smallest cells in dfflibmap
|
2013-12-21 08:42:37 +01:00 |
|
Clifford Wolf
|
1fb29050e5
|
Cleanup of dfflibmap cellmap exploration code
|
2013-12-20 14:21:18 +01:00 |
|
Clifford Wolf
|
eaf7d9675d
|
Further improved dfflibmap cellmap exploration
|
2013-12-20 12:34:34 +01:00 |
|
Clifford Wolf
|
404bcc2d1e
|
Fixed dfflibmap endless-loop bug
|
2013-12-20 12:13:51 +01:00 |
|
Clifford Wolf
|
c904f5e197
|
Prefer non-inverted clocks in dfflibmap
|
2013-12-19 13:21:57 +01:00 |
|
Clifford Wolf
|
2b90ba1e96
|
Added sat -max_undef feature
|
2013-12-07 23:58:55 +01:00 |
|
Clifford Wolf
|
8a815ac741
|
Added "sat" undef support and "sat -set-init" options
|
2013-12-07 17:28:51 +01:00 |
|
Clifford Wolf
|
5de57e9970
|
Fixed compiler warining in passes/sat/eval.cc
|
2013-12-07 16:19:24 +01:00 |
|
Clifford Wolf
|
325b764341
|
Added eval -set-undef and eval -table
|
2013-12-07 11:58:22 +01:00 |
|
Clifford Wolf
|
06d96e8fcf
|
Fixes in fsm detect/extract for better detection of non-fsm circuits
|
2013-12-06 12:53:20 +01:00 |
|
Clifford Wolf
|
f4b46ed31e
|
Replaced signed_parameters API with CONST_FLAG_SIGNED
|
2013-12-04 14:24:44 +01:00 |
|
Clifford Wolf
|
93a70959f3
|
Replaced RTLIL::Const::str with generic decoder method
|
2013-12-04 14:14:05 +01:00 |
|
Clifford Wolf
|
6e227e3666
|
Fixed submod for non-primitive cells
|
2013-12-02 12:53:55 +01:00 |
|
Clifford Wolf
|
e881878341
|
Fixed submod for non-cleaned designs
|
2013-12-02 12:18:07 +01:00 |
|
Clifford Wolf
|
97efc2ed5f
|
A fix in memory_dff for write ports with static addresses
|
2013-12-01 14:08:18 +01:00 |
|
Clifford Wolf
|
7295b25955
|
Progress on AppNote 011
|
2013-11-29 16:42:49 +01:00 |
|
Clifford Wolf
|
c60aaf8fa3
|
Added pattern support to "ls" command
|
2013-11-28 21:34:41 +01:00 |
|
Clifford Wolf
|
293356e87c
|
Improved ID matching scheme in select (and thus for all commands)
|
2013-11-28 21:13:16 +01:00 |
|
Clifford Wolf
|
792bbad448
|
Fixes and improvements in "show" command
|
2013-11-28 21:02:19 +01:00 |
|
Clifford Wolf
|
0e52f3fa01
|
Added "src" attribute to processes
|
2013-11-28 17:37:50 +01:00 |
|
Clifford Wolf
|
5af7f4db72
|
Added support for "show -pause" and "show -format dot"
|
2013-11-28 13:35:28 +01:00 |
|
Clifford Wolf
|
38e7fa6530
|
Tighter integration of ABC build
|
2013-11-27 09:08:35 +01:00 |
|
Clifford Wolf
|
bc3cc88719
|
Started implementing undef support in "sat" command
|
2013-11-25 21:40:00 +01:00 |
|
Clifford Wolf
|
3d95047ce2
|
Bugfixes in new "stat" command
|
2013-11-25 21:08:34 +01:00 |
|
Clifford Wolf
|
4c7d6e63ec
|
Added "stat" command
|
2013-11-25 20:43:57 +01:00 |
|
Clifford Wolf
|
61412d167f
|
Improvements in satgen undef handling
|
2013-11-25 16:50:45 +01:00 |
|
Clifford Wolf
|
bd65e67d8a
|
Improvements in satgen undef handling
|
2013-11-25 15:12:01 +01:00 |
|
Clifford Wolf
|
8c3f4b3957
|
Started implementing undef handling in satgen
|
2013-11-25 04:51:33 +01:00 |
|
Clifford Wolf
|
76f7c10cfc
|
Using simplemap mappers from techmap
|
2013-11-24 23:31:14 +01:00 |
|
Clifford Wolf
|
3ee33cbdaf
|
Added simplemap pass
|
2013-11-24 22:52:30 +01:00 |
|
Clifford Wolf
|
8dafecd34d
|
Added module->avail_parameters (for advanced techmap features)
|
2013-11-24 20:29:07 +01:00 |
|
Clifford Wolf
|
4011d47646
|
Added techmap -D and -I options
|
2013-11-24 20:04:48 +01:00 |
|
Clifford Wolf
|
20175afd29
|
Added "techmap -share_map" option
|
2013-11-24 19:50:25 +01:00 |
|
Clifford Wolf
|
f71e27dbf1
|
Remove auto_wire framework (smarter than the verilog standard)
|
2013-11-24 17:29:11 +01:00 |
|
Clifford Wolf
|
609caa23b5
|
Implemented correct handling of signed module parameters
|
2013-11-24 17:17:21 +01:00 |
|
Clifford Wolf
|
72b35e0b99
|
Fixed "flatten" top-module detection: Only use on fully selected designs
|
2013-11-24 14:10:46 +01:00 |
|