summaryrefslogtreecommitdiff
path: root/passes/fsm
Commit message (Collapse)AuthorAge
* Merged a few fixes for non-posix systems from github.com/Siesh1oo/yosysClifford Wolf2014-03-11
| | | | (see https://github.com/cliffordwolf/yosys/pull/28)
* Fixes in fsm detect/extract for better detection of non-fsm circuitsClifford Wolf2013-12-06
|
* Replaced RTLIL::Const::str with generic decoder methodClifford Wolf2013-12-04
|
* Added detection for endless recursion in fsm_detect passClifford Wolf2013-10-30
|
* Some fixes to improve determinismClifford Wolf2013-08-09
|
* Sort ctrl signals in fsm_extractClifford Wolf2013-08-08
|
* Renamed opt_rmunused to opt_cleanClifford Wolf2013-06-05
|
* Added -nodetect option to fsm passClifford Wolf2013-05-24
|
* Improved FSM one-hot encoding, added binary encodingClifford Wolf2013-05-24
|
* fsm_export: optionally use binary state encoding as state names instead ofJohann Glaser2013-04-05
| | | | s0, s1, ...
* fsm_export: specify KISS filename on command lineJohann Glaser2013-04-05
|
* Improved method for finding fsm_expand candidatesClifford Wolf2013-03-25
|
* Changed fsm_expand to merge multiplexers more aggressivelyClifford Wolf2013-03-24
|
* fixed typosJohann Glaser2013-03-18
|
* Added [[CITE]] tags to abc and fsm_extract passesClifford Wolf2013-03-15
|
* Added help messages for fsm_* passesClifford Wolf2013-03-01
|
* "fsm_export" pass: fix KISS file generation.Martin Schmölzer2013-02-23
| | | | | | | | | | | 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ölzer2013-01-08
| | | | | | | | | | | | | | 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 cellClifford Wolf2013-01-05
|
* initial importClifford Wolf2013-01-05