107 Commits

Author	SHA1	Message	Date
Johann Glaser	cd8008bda0	fixed typos	2013-03-18 07:28:31 +01:00
Clifford Wolf	10956cb84a	Added [[CITE]] tags to abc and fsm_extract passes	2013-03-15 10:23:02 +01:00
Clifford Wolf	a338d1a082	Added help messages for fsm_* passes	2013-03-01 12:35:12 +01:00
Martin Schmölzer	5a005cefe2	"fsm_export" pass: fix KISS file generation. ... 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>	2013-02-23 18:22:19 +01:00
Martin Schmölzer	4f6cda502d	Add support for "fsm_export" synthesis attributes to fsm_export pass. ... 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>	2013-01-08 09:43:35 +01:00
Clifford Wolf	a7988c01af	Copy attributes from state signal to fsm cell	2013-01-05 11:44:47 +01:00
Clifford Wolf	7764d0ba1d	initial import	2013-01-05 11:13:26 +01:00