Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
| | |||||
* | Added "attrmap" command | Clifford Wolf | 2016-08-09 | 3 | -0/+253 |
| | |||||
* | Added "attrmvcp" pass | Clifford Wolf | 2016-08-09 | 2 | -0/+138 |
| |