Clifford Wolf
|
9e94f41b89
|
SigSpec refactoring: Added RTLIL::SigSpecIterator
|
2014-07-22 23:49:26 +02:00 |
|
Clifford Wolf
|
4a6d234ec7
|
SigSpec refactoring: cleanup of old SigSpec usage in fsm_* commands
|
2014-07-22 23:11:36 +02:00 |
|
Clifford Wolf
|
65a939cb27
|
Fixed memory corruption with new SigSpec API in proc_mux
|
2014-07-22 22:54:39 +02:00 |
|
Clifford Wolf
|
f80da7b41d
|
SigSpec refactoring: added RTLIL::SigSpec::operator[]
|
2014-07-22 22:54:03 +02:00 |
|
Clifford Wolf
|
e7e30f1c86
|
fixed memory leak in fsm_opt
|
2014-07-22 22:52:57 +02:00 |
|
Clifford Wolf
|
fd4cbe6275
|
SigSpec refactoring: rewrote some RTLIL::SigSpec methods to use unpacked form
|
2014-07-22 22:26:30 +02:00 |
|
Clifford Wolf
|
a97be0828a
|
Removed RTLIL::SigChunk::compare()
|
2014-07-22 21:40:52 +02:00 |
|
Clifford Wolf
|
08e1e25169
|
SigSpec refactoring: added RTLIL::SigSpec::bits() and pack/unpack api
|
2014-07-22 21:33:52 +02:00 |
|
Clifford Wolf
|
28b3fd05fa
|
SigSpec refactoring: change RTLIL::SigSpec::chunks() to be read-only, created interim RTLIL::SigSpec::chunks_rw()
|
2014-07-22 20:58:44 +02:00 |
|
Clifford Wolf
|
7bffde6abd
|
SigSpec refactoring: change RTLIL::SigSpec::size() to be read-only
|
2014-07-22 20:39:38 +02:00 |
|
Clifford Wolf
|
4b4048bc5f
|
SigSpec refactoring: using the accessor functions everywhere
|
2014-07-22 20:39:37 +02:00 |
|
Clifford Wolf
|
16e5ae0b92
|
SigSpec refactoring: renamed the SigSpec members to chunks_ and width_ and added accessor functions
|
2014-07-22 20:39:37 +02:00 |
|
Clifford Wolf
|
a233762a81
|
SigSpec refactoring: renamed chunks and width to __chunks and __width
|
2014-07-22 20:39:37 +02:00 |
|
Clifford Wolf
|
3b5f4ff39c
|
Fixed ilang parsing of process attributes
|
2014-07-22 20:39:37 +02:00 |
|
Clifford Wolf
|
d6d0e08834
|
Fixed make rules for ilang parser
|
2014-07-22 20:39:37 +02:00 |
|
Clifford Wolf
|
0229d68fc9
|
Use "opt -fine" in test/vloght/test_mapopt.sh
|
2014-07-21 21:39:59 +02:00 |
|
Clifford Wolf
|
137dbf3cf7
|
Added "opt_const -keepdc"
|
2014-07-21 21:38:55 +02:00 |
|
Clifford Wolf
|
1873480ca5
|
Added mul to mux conversion to "opt_const -fine"
|
2014-07-21 17:19:50 +02:00 |
|
Clifford Wolf
|
1241a9fd50
|
Added "opt_const -fine" and "opt_reduce -fine"
|
2014-07-21 16:34:16 +02:00 |
|
Clifford Wolf
|
4147b55c23
|
Added "autoidx" statement to ilang file format
|
2014-07-21 15:15:18 +02:00 |
|
Clifford Wolf
|
e035f1d886
|
Added opt_const support for simple identities
|
2014-07-21 14:41:02 +02:00 |
|
Clifford Wolf
|
668306d00f
|
Various improvements in test/vloghtb
|
2014-07-21 14:40:57 +02:00 |
|
Clifford Wolf
|
550ac35873
|
Added support for scripts with labels
|
2014-07-21 13:28:18 +02:00 |
|
Clifford Wolf
|
361e0d62ff
|
Replaced depricated NEW_WIRE macro with module->addWire() calls
|
2014-07-21 12:42:02 +02:00 |
|
Clifford Wolf
|
1d88f1cf9f
|
Removed deprecated module->new_wire()
|
2014-07-21 12:35:06 +02:00 |
|
Clifford Wolf
|
3cb61d03f8
|
Wider range of cell types supported in "share" pass
|
2014-07-21 12:18:29 +02:00 |
|
Clifford Wolf
|
c54d1f2ad1
|
Bugfix in satgen for cells with wider in- than outputs.
|
2014-07-21 12:03:41 +02:00 |
|
Clifford Wolf
|
54b0f2e659
|
Added module->remove(), module->addWire(), module->addCell(), cell->check()
|
2014-07-21 12:02:55 +02:00 |
|
Clifford Wolf
|
caae6e19df
|
Added log_ping()
|
2014-07-21 12:01:45 +02:00 |
|
Clifford Wolf
|
b49beab1f3
|
Use ezSAT::non_incremental() in "share" pass
|
2014-07-21 02:08:38 +02:00 |
|
Clifford Wolf
|
b1d520949b
|
Added ezSAT::keep_cnf() and ezSAT::non_incremental()
|
2014-07-21 02:01:32 +02:00 |
|
Clifford Wolf
|
ade659e617
|
Fixed ezSAT stand-alone build
|
2014-07-21 01:03:01 +02:00 |
|
Clifford Wolf
|
92c9403249
|
Updated minisat
|
2014-07-21 01:01:26 +02:00 |
|
Clifford Wolf
|
c6b3f4e089
|
Using relative path names in minisat headers
|
2014-07-21 01:00:39 +02:00 |
|
Clifford Wolf
|
8836943693
|
Added yet another resource sharing test case
|
2014-07-20 21:15:01 +02:00 |
|
Clifford Wolf
|
04fcb07213
|
Added support for resource sharing in mux control logic
|
2014-07-20 20:44:14 +02:00 |
|
Clifford Wolf
|
1ce5e83555
|
Added "select -assert-count"
|
2014-07-20 20:15:49 +02:00 |
|
Clifford Wolf
|
e9506bb2da
|
Supercell creation for $div/$mod worked all along, fixed test benches
|
2014-07-20 18:54:06 +02:00 |
|
Clifford Wolf
|
7a6d578b81
|
Improved tests/share/generate.py
|
2014-07-20 17:06:57 +02:00 |
|
Clifford Wolf
|
ff28029fdb
|
Fixed creation of shift supercells in "share" pass
|
2014-07-20 17:06:36 +02:00 |
|
Clifford Wolf
|
4af8d84f01
|
Small fix in tests/vloghtb/run-test.sh
|
2014-07-20 17:05:20 +02:00 |
|
Clifford Wolf
|
dd23e9a9db
|
Activated tests/share in "make test"
|
2014-07-20 15:33:07 +02:00 |
|
Clifford Wolf
|
4c38ec1cc8
|
Added "miter -equiv -flatten"
|
2014-07-20 15:33:07 +02:00 |
|
Clifford Wolf
|
8d04ca7d22
|
Added call_on_selection() and call_on_module() API
|
2014-07-20 15:33:06 +02:00 |
|
Clifford Wolf
|
2e358bd667
|
Added tests/vloghtb/test_share.sh
|
2014-07-20 15:33:05 +02:00 |
|
Clifford Wolf
|
6f450d0224
|
Added tests/share for testing "share" supercell creation
|
2014-07-20 15:32:59 +02:00 |
|
Clifford Wolf
|
5b3ee7a072
|
Added "share" supercell creation
|
2014-07-20 15:01:17 +02:00 |
|
Clifford Wolf
|
7b98e46ac3
|
Added removing of always inactive cells to "share" pass
|
2014-07-20 13:24:36 +02:00 |
|
Clifford Wolf
|
8819493db4
|
Progress in "share" pass
|
2014-07-20 11:04:52 +02:00 |
|
Clifford Wolf
|
e57db5e9b2
|
Added std::set<RTLIL::SigBit> to RTLIL::SigSpec conversion
|
2014-07-20 11:01:04 +02:00 |
|