| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Added detection for endless recursion in fsm_detect pass | Clifford Wolf | 2013-10-30 | 1 | -4/+15 | |
| | | ||||||
| * | Some fixes to improve determinism | Clifford Wolf | 2013-08-09 | 2 | -28/+31 | |
| | | ||||||
| * | Sort ctrl signals in fsm_extract | Clifford Wolf | 2013-08-08 | 1 | -0/+3 | |
| | | ||||||
| * | Renamed opt_rmunused to opt_clean | Clifford Wolf | 2013-06-05 | 3 | -7/+7 | |
| | | ||||||
| * | Added -nodetect option to fsm pass | Clifford Wolf | 2013-05-24 | 1 | -2/+8 | |
| | | ||||||
| * | Improved FSM one-hot encoding, added binary encoding | Clifford Wolf | 2013-05-24 | 3 | -44/+85 | |
| | | ||||||
| * | fsm_export: optionally use binary state encoding as state names instead of | Johann Glaser | 2013-04-05 | 1 | -6/+23 | |
| | | | | | s0, s1, ... | |||||
| * | fsm_export: specify KISS filename on command line | Johann Glaser | 2013-04-05 | 1 | -5/+20 | |
| | | ||||||
| * | Improved method for finding fsm_expand candidates | Clifford Wolf | 2013-03-25 | 1 | -5/+7 | |
| | | ||||||
| * | Changed fsm_expand to merge multiplexers more aggressively | Clifford Wolf | 2013-03-24 | 1 | -1/+4 | |
| | | ||||||
| * | fixed typos | Johann Glaser | 2013-03-18 | 2 | -4/+4 | |
| | | ||||||
| * | Added [[CITE]] tags to abc and fsm_extract passes | Clifford Wolf | 2013-03-15 | 1 | -1/+6 | |
| | | ||||||
| * | Added help messages for fsm_* passes | Clifford Wolf | 2013-03-01 | 9 | -41/+193 | |
| | | ||||||
| * | "fsm_export" pass: fix KISS file generation. | Martin Schmölzer | 2013-02-23 | 1 | -4/+4 | |
| | | | | | | | | | | | | The KISS file format now follows the conventions specified in "Logic Synthesis and Optimization Benchmarks User Guide", Version 3.0 by Saeyang Yang. This change ensures interoperability with the "trfsmgen" program by Johann Glaser. Signed-off-by: Martin Schmölzer <martin.schmoelzer@student.tuwien.ac.at> | |||||
| * | Add support for "fsm_export" synthesis attributes to fsm_export pass. | Martin Schmölzer | 2013-01-08 | 1 | -46/+86 | |
| | | | | | | | | | | | | | | | This allows to specify the file name for exported files directly in the HDL source via the fsm_export=... attribute on the FSM state register. Verilog example: (* fsm_export="my_fsm.kiss2" *) reg [3:0] state; The fsm_export pass now also accepts the option "-noauto". This causes only FSMs with the fsm_export attribute to be exported, any other FSMs are ignored. Signed-off-by: Martin Schmölzer <martin.schmoelzer@student.tuwien.ac.at> | |||||
| * | Copy attributes from state signal to fsm cell | Clifford Wolf | 2013-01-05 | 1 | -0/+1 | |
| | | ||||||
| * | initial import | Clifford Wolf | 2013-01-05 | 11 | -0/+1957 | |
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |