Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
| | |||||
* | Undo "preserve wire attributes in iopadmap" change (it was OK before) | Clifford Wolf | 2016-08-08 | 1 | -1/+1 |
| | |||||
* | Added "test_autotb -seed" (and "autotest.sh -S") | Clifford Wolf | 2016-08-06 | 1 | -3/+8 |
| | |||||
* | preserve wire attributes in iopadmap | Clifford Wolf | 2016-08-06 | 1 | -1/+1 |
| | |||||
* | Added "insbuf" command | Clifford Wolf | 2016-08-02 | 2 | -0/+95 |
| | |||||
* | Renamed AbstractCellEdgesDatabase::add_cell() to add_edges_from_cell() | Clifford Wolf | 2016-07-25 | 1 | -1/+1 |
| | |||||
* | Improvements in CellEdgesDatabase | Clifford Wolf | 2016-07-24 | 1 | -3/+33 |
| | |||||
* | Added CellEdgesDatabase API | Clifford Wolf | 2016-07-24 | 1 | -0/+96 |
| | |||||
* | Moved SatHelper::setup_init() code to SatHelper::setup() | Clifford Wolf | 2016-07-24 | 1 | -97/+92 |
| | |||||
* | Added $initstate support to "sat" command | Clifford Wolf | 2016-07-23 | 1 | -13/+12 |
| | |||||
* | After reading the SV spec, using non-standard predict() instead of expect() | Clifford Wolf | 2016-07-21 | 3 | -3/+3 |
| | |||||
* | Added basic support for $expect cells | Clifford Wolf | 2016-07-13 | 3 | -2/+4 |
| | |||||
* | Minor bugfix in FSM reset state detection | Clifford Wolf | 2016-07-12 | 1 | -2/+5 |
| | |||||
* | Further improved fsm_detect output, attempt to detect self-resetting circuits | Clifford Wolf | 2016-07-09 | 1 | -6/+68 |
| | |||||
* | Added printing of some warning messages to fsm_detect | Clifford Wolf | 2016-07-09 | 1 | -14/+61 |
| | |||||
* | Replaced "select -assert-limit" with -assert-max and -assert-min | Clifford Wolf | 2016-07-01 | 1 | -42/+29 |
| | |||||
* | Added 'assert-limit' option for 'select' command | eshellko | 2016-07-01 | 1 | -5/+42 |
| | | | For resource limited designs such as FPGA it can be useful to specify limit of specific resources available on board. So user can check if he should change RTL as early as mapping done. | ||||
* | Bugfix in "abc -script" handling | Clifford Wolf | 2016-06-19 | 1 | -53/+50 |
| | |||||
* | Added "deminout" | Clifford Wolf | 2016-06-19 | 2 | -0/+117 |
| | |||||
* | Added "dc2" to default ABC scripts | Clifford Wolf | 2016-06-17 | 1 | -5/+5 |
| | |||||
* | Added "abc -I <num> -P <num>" | Clifford Wolf | 2016-06-17 | 1 | -8/+33 |
| | |||||
* | Improved support for $sop cells | Clifford Wolf | 2016-06-17 | 2 | -2/+69 |
| | |||||
* | Added $sop cell type and "abc -sop" | Clifford Wolf | 2016-06-17 | 1 | -6/+23 |
| | |||||
* | Updated ABC to hg rev b5df6e2b76f0 | Clifford Wolf | 2016-06-17 | 1 | -9/+9 |
| | |||||
* | Added "nlutmap -assert" | Clifford Wolf | 2016-06-09 | 1 | -0/+14 |
| | |||||
* | Added "proc_mux -ifx" | Clifford Wolf | 2016-06-06 | 2 | -19/+43 |
| | |||||
* | Added "setundef -init" | Clifford Wolf | 2016-06-03 | 1 | -5/+89 |
| |