aboutsummaryrefslogtreecommitdiffstats
path: root/passes/fsm/fsm_export.cc
Commit message (Collapse)AuthorAgeFilesLines
* Consistent use of 'override' for virtual methods in derived classes.Henner Zeller2018-07-201-2/+2
| | | | | | | | | o Not all derived methods were marked 'override', but it is a great feature of C++11 that we should make use of. o While at it: touched header files got a -*- c++ -*- for emacs to provide support for that language. o use YS_OVERRIDE for all override keywords (though we should probably use the plain keyword going forward now that C++11 is established)
* Added "yosys -D" featureClifford Wolf2016-04-211-1/+1
|
* Fixed trailing whitespacesClifford Wolf2015-07-021-2/+2
|
* Added Yosys::{dict,nodict,vector} container typesClifford Wolf2014-12-261-2/+2
|
* namespace YosysClifford Wolf2014-09-271-0/+5
|
* Fixed "fsm -export"Clifford Wolf2014-08-081-3/+2
|
* No implicit conversion from IdString to anything elseClifford Wolf2014-08-021-1/+1
|
* More cleanups related to RTLIL::IdString usageClifford Wolf2014-08-021-1/+1
|
* Added log_cmd_error_expectionClifford Wolf2014-07-271-4/+1
|
* Refactoring: Renamed RTLIL::Design::modules to modules_Clifford Wolf2014-07-271-1/+1
|
* Refactoring: Renamed RTLIL::Module::cells to cells_Clifford Wolf2014-07-271-1/+1
|
* Replaced RTLIL::Const::str with generic decoder methodClifford Wolf2013-12-041-2/+2
|
* fsm_export: optionally use binary state encoding as state names instead ofJohann Glaser2013-04-051-6/+23
| | | | s0, s1, ...
* fsm_export: specify KISS filename on command lineJohann Glaser2013-04-051-5/+20
|
* Added help messages for fsm_* passesClifford Wolf2013-03-011-9/+22
|
* "fsm_export" pass: fix KISS file generation.Martin Schmölzer2013-02-231-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ölzer2013-01-081-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>
* initial importClifford Wolf2013-01-051-0/+103