Clifford Wolf
|
7481ba4750
|
Improve opt_rmdff support for $dlatch cells
|
2017-01-31 10:15:04 +01:00 |
Clifford Wolf
|
fe29869ec5
|
Add $ff and $_FF_ support to equiv_simple
|
2017-01-30 10:50:38 +01:00 |
Clifford Wolf
|
45e10c1c89
|
Be more conservative with merging large cells into FSMs
|
2017-01-26 09:19:28 +01:00 |
Clifford Wolf
|
49b8160488
|
Add warnings for quickly growing FSM table size in fsm_expand
|
2017-01-26 09:05:59 +01:00 |
Austin Seipp
|
6781543244
|
passes/hierarchy: delete some dead code
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
2017-01-15 16:39:12 -06:00 |
Clifford Wolf
|
0cac95ea94
|
Added "check -initdrv"
|
2017-01-04 18:12:41 +01:00 |
Clifford Wolf
|
f0df7dd796
|
Added cell port resizing to hierarchy pass
|
2017-01-01 23:03:44 +01:00 |
Clifford Wolf
|
b1cdf772eb
|
Added "design -reset-vlog"
|
2016-11-30 11:25:55 +01:00 |
Clifford Wolf
|
ac7a175a3c
|
Improved equiv_purge log output
|
2016-11-29 13:30:35 +01:00 |
Clifford Wolf
|
e444e59963
|
Added wire start_offset and upto handling to splitnets cmd
|
2016-11-23 13:54:33 +01:00 |
Clifford Wolf
|
55785a96eb
|
Improved ABC default scripts
|
2016-11-19 18:20:54 +01:00 |
Clifford Wolf
|
70d7a02cae
|
Added support for hierarchical defparams
|
2016-11-15 13:35:19 +01:00 |
Clifford Wolf
|
1827a48964
|
Minor bugfix in submod
|
2016-11-09 13:13:26 +01:00 |
Clifford Wolf
|
97ac77513f
|
Bugfix in "setundef" pass
|
2016-11-08 18:53:36 +01:00 |
Clifford Wolf
|
ef603c6fe1
|
Implemented "scc -set_attr"
|
2016-11-06 00:04:10 +01:00 |
Clifford Wolf
|
914aa8a5d3
|
Bugfix in "scc" command
|
2016-11-06 00:03:35 +01:00 |
Clifford Wolf
|
308a4b4a1b
|
Bugfix in "hierarchy -check"
|
2016-11-02 20:09:57 +01:00 |
Clifford Wolf
|
b63cace90f
|
Added support for fsm_encoding="user"
|
2016-11-02 13:15:49 +01:00 |
Clifford Wolf
|
0c8e973d32
|
Added "fsm_expand -full"
|
2016-11-02 09:31:39 +01:00 |
Clifford Wolf
|
d9d38eeedb
|
Bugfix in fsm_map for FSMs without reset state
|
2016-10-25 23:21:37 +02:00 |
Clifford Wolf
|
aa72262330
|
Added avail params to ilang format, check module params in 'hierarchy -check'
|
2016-10-22 11:05:49 +02:00 |
Clifford Wolf
|
3655d7fea7
|
Added "setparam -type"
|
2016-10-19 13:54:04 +02:00 |
Clifford Wolf
|
15fb56697a
|
Bugfix in "miter -assert" handling of assumptions
|
2016-10-17 14:56:58 +02:00 |
Clifford Wolf
|
6425d34e73
|
Added clk2fflogic support for $dffsr and $dlatch
|
2016-10-17 13:28:55 +02:00 |
Clifford Wolf
|
3a09d6bb65
|
Improvements and bugfixes in clk2fflogic
|
2016-10-16 23:03:29 +02:00 |
Clifford Wolf
|
74702b04c2
|
Build fixes for VS 2015
|
2016-10-16 20:37:02 +02:00 |
Clifford Wolf
|
fa535c0b00
|
Some minor build fixes for Visual C
|
2016-10-14 18:36:02 +02:00 |
Clifford Wolf
|
e4c5ee9b89
|
Avoid using strcasecmp()
|
2016-10-14 18:20:36 +02:00 |
Clifford Wolf
|
2733994aeb
|
Added clk2fflogic
|
2016-10-14 14:55:07 +02:00 |
Clifford Wolf
|
2ef454c3f5
|
Added opt_rmdff support for $ff cells
|
2016-10-14 13:02:36 +02:00 |
Clifford Wolf
|
53655d173b
|
Added $global_clock verilog syntax support for creating $ff cells
|
2016-10-14 12:33:56 +02:00 |
Clifford Wolf
|
ffbb4e992e
|
Added MEMID handling to "flatten" pass
|
2016-10-14 10:36:37 +02:00 |
Clifford Wolf
|
ee91350add
|
Added "zinit" pass
|
2016-10-12 12:05:19 +02:00 |
Clifford Wolf
|
8ebba8a35f
|
Added $ff and $_FF_ cell types
|
2016-10-12 01:18:39 +02:00 |
Clifford Wolf
|
ed519f578e
|
Added "opt_rmdff -keepdc"
|
2016-09-30 17:02:38 +02:00 |
Clifford Wolf
|
e788ad4885
|
Cosmetic fix in test_autotb.cc
|
2016-09-19 20:43:43 +02:00 |
Clifford Wolf
|
5e155aa121
|
Avoid creating very long strings in test_autotb
|
2016-09-19 10:20:20 +02:00 |
Clifford Wolf
|
d8ad889594
|
Bugfix in techmap parameter handling
|
2016-09-14 20:46:54 +02:00 |
Kaj Tuomi
|
df4ab169a7
|
Typo fix.
|
2016-09-08 10:57:16 +03:00 |
Clifford Wolf
|
cb7dbf4070
|
Improvements in assertpmux
|
2016-09-07 12:42:16 +02:00 |
Clifford Wolf
|
ab18e9df7c
|
Added assertpmux
|
2016-09-07 00:28:01 +02:00 |
Clifford Wolf
|
f3f5a02045
|
Added "tee +INT -INT"
|
2016-09-06 17:43:24 +02:00 |
Clifford Wolf
|
fc5281b3f7
|
Run log_flush() before solving in sat command
|
2016-09-06 17:35:25 +02:00 |
Clifford Wolf
|
4ea7054b56
|
Improved init spec handling in opt_rmdff, modernized the code a bit
|
2016-08-30 01:34:04 +02:00 |
Clifford Wolf
|
eae390ae17
|
Removed $predict again
|
2016-08-28 21:35:33 +02:00 |
Clifford Wolf
|
66582964bc
|
Improved "show" help message
|
2016-08-28 12:34:36 +02:00 |
Clifford Wolf
|
23afeadb5e
|
Fixed handling of transparent bram rd ports on ROMs
|
2016-08-27 17:06:22 +02:00 |
Clifford Wolf
|
cad40fc874
|
Fixed bug in memory_share for memory ports with different ABITS
|
2016-08-22 14:26:33 +02:00 |
Clifford Wolf
|
d77a914683
|
Added "wreduce -memx"
|
2016-08-20 12:52:50 +02:00 |
Clifford Wolf
|
15ef608453
|
Added memory_memx pass, "memory -memx", and "prep -memx"
|
2016-08-19 19:48:26 +02:00 |