Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Added "check -initdrv" | Clifford Wolf | 2017-01-04 | 1 | -3/+82 | |
| | ||||||
* | Added cell port resizing to hierarchy pass | Clifford Wolf | 2017-01-01 | 1 | -0/+56 | |
| | ||||||
* | Added "design -reset-vlog" | Clifford Wolf | 2016-11-30 | 1 | -7/+32 | |
| | ||||||
* | Improved equiv_purge log output | Clifford Wolf | 2016-11-29 | 1 | -1/+1 | |
| | ||||||
* | Added wire start_offset and upto handling to splitnets cmd | Clifford Wolf | 2016-11-23 | 1 | -2/+8 | |
| | ||||||
* | Improved ABC default scripts | Clifford Wolf | 2016-11-19 | 1 | -17/+34 | |
| | ||||||
* | Added support for hierarchical defparams | Clifford Wolf | 2016-11-15 | 1 | -1/+1 | |
| | ||||||
* | Minor bugfix in submod | Clifford Wolf | 2016-11-09 | 1 | -0/+1 | |
| | ||||||
* | Bugfix in "setundef" pass | Clifford Wolf | 2016-11-08 | 1 | -2/+7 | |
| | ||||||
* | Implemented "scc -set_attr" | Clifford Wolf | 2016-11-06 | 1 | -22/+32 | |
| | ||||||
* | Bugfix in "scc" command | Clifford Wolf | 2016-11-06 | 1 | -9/+11 | |
| | ||||||
* | Bugfix in "hierarchy -check" | Clifford Wolf | 2016-11-02 | 1 | -1/+1 | |
| | ||||||
* | Added support for fsm_encoding="user" | Clifford Wolf | 2016-11-02 | 1 | -3/+3 | |
| | ||||||
* | Added "fsm_expand -full" | Clifford Wolf | 2016-11-02 | 2 | -17/+35 | |
| | ||||||
* | Bugfix in fsm_map for FSMs without reset state | Clifford Wolf | 2016-10-25 | 1 | -1/+2 | |
| | ||||||
* | Added avail params to ilang format, check module params in 'hierarchy -check' | Clifford Wolf | 2016-10-22 | 1 | -0/+4 | |
| | ||||||
* | Added "setparam -type" | Clifford Wolf | 2016-10-19 | 1 | -3/+13 | |
| | ||||||
* | Bugfix in "miter -assert" handling of assumptions | Clifford Wolf | 2016-10-17 | 1 | -2/+2 | |
| | ||||||
* | Added clk2fflogic support for $dffsr and $dlatch | Clifford Wolf | 2016-10-17 | 1 | -1/+57 | |
| | ||||||
* | Improvements and bugfixes in clk2fflogic | Clifford Wolf | 2016-10-16 | 1 | -13/+21 | |
| | ||||||
* | Build fixes for VS 2015 | Clifford Wolf | 2016-10-16 | 2 | -1/+4 | |
| | ||||||
* | Some minor build fixes for Visual C | Clifford Wolf | 2016-10-14 | 1 | -2/+11 | |
| | ||||||
* | Avoid using strcasecmp() | Clifford Wolf | 2016-10-14 | 1 | -2/+21 | |
| | ||||||
* | Added clk2fflogic | Clifford Wolf | 2016-10-14 | 2 | -0/+154 | |
| | ||||||
* | Added opt_rmdff support for $ff cells | Clifford Wolf | 2016-10-14 | 1 | -5/+13 | |
| | ||||||
* | Added $global_clock verilog syntax support for creating $ff cells | Clifford Wolf | 2016-10-14 | 1 | -7/+19 | |
| | ||||||
* | Added MEMID handling to "flatten" pass | Clifford Wolf | 2016-10-14 | 1 | -0/+6 | |
| | ||||||
* | Added "zinit" pass | Clifford Wolf | 2016-10-12 | 2 | -0/+152 | |
| | ||||||
* | Added $ff and $_FF_ cell types | Clifford Wolf | 2016-10-12 | 2 | -8/+50 | |
| | ||||||
* | Added "opt_rmdff -keepdc" | Clifford Wolf | 2016-09-30 | 2 | -7/+20 | |
| | ||||||
* | Cosmetic fix in test_autotb.cc | Clifford Wolf | 2016-09-19 | 1 | -2/+2 | |
| | ||||||
* | Avoid creating very long strings in test_autotb | Clifford Wolf | 2016-09-19 | 1 | -4/+10 | |
| | ||||||
* | Bugfix in techmap parameter handling | Clifford Wolf | 2016-09-14 | 1 | -1/+1 | |
| | ||||||
* | Typo fix. | Kaj Tuomi | 2016-09-08 | 1 | -1/+1 | |
| | ||||||
* | Improvements in assertpmux | Clifford Wolf | 2016-09-07 | 1 | -21/+158 | |
| | ||||||
* | Added assertpmux | Clifford Wolf | 2016-09-07 | 2 | -0/+104 | |
| | ||||||
* | Added "tee +INT -INT" | Clifford Wolf | 2016-09-06 | 1 | -0/+10 | |
| | ||||||
* | Run log_flush() before solving in sat command | Clifford Wolf | 2016-09-06 | 1 | -0/+3 | |
| | ||||||
* | Improved init spec handling in opt_rmdff, modernized the code a bit | Clifford Wolf | 2016-08-30 | 1 | -39/+82 | |
| | ||||||
* | Removed $predict again | Clifford Wolf | 2016-08-28 | 3 | -3/+2 | |
| | ||||||
* | Improved "show" help message | Clifford Wolf | 2016-08-28 | 1 | -3/+5 | |
| | ||||||
* | Fixed handling of transparent bram rd ports on ROMs | Clifford Wolf | 2016-08-27 | 1 | -0/+3 | |
| | ||||||
* | Fixed bug in memory_share for memory ports with different ABITS | Clifford Wolf | 2016-08-22 | 1 | -0/+6 | |
| | ||||||
* | Added "wreduce -memx" | Clifford Wolf | 2016-08-20 | 1 | -3/+14 | |
| | ||||||
* | Added memory_memx pass, "memory -memx", and "prep -memx" | Clifford Wolf | 2016-08-19 | 3 | -2/+104 | |
| | ||||||
* | Optimize memory address port width in wreduce and memory_collect, not ↵ | Clifford Wolf | 2016-08-19 | 2 | -3/+31 | |
| | | | | verilog front-end | |||||
* | Bugfix in test_autotb | Clifford Wolf | 2016-08-18 | 1 | -0/+4 | |
| | ||||||
* | Fixed use-after-free dict<> usage pattern in hierarchy.cc | Clifford Wolf | 2016-08-16 | 1 | -1/+3 | |
| | ||||||
* | Minor fixes in show command | Clifford Wolf | 2016-08-16 | 1 | -3/+3 | |
| | ||||||
* | Fixed some compiler warnings in attrmap command | Clifford Wolf | 2016-08-10 | 1 | -4/+4 | |
| |