"fsm_export" pass: fix KISS file generation.
authorMartin Schmölzer <martin@schmoelzer.at>
Sat, 23 Feb 2013 17:22:19 +0000 (18:22 +0100)
committerMartin Schmölzer <martin@schmoelzer.at>
Sat, 23 Feb 2013 17:22:19 +0000 (18:22 +0100)
commit5a005cefe2d605fffa71b43796f6e11263fc0e17
treea6d3d1df0e89a403f852867575a39c8ad7631db6
parent6d1502b9484a445e5184bdf622f87fcd14d0a0f9
"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>
passes/fsm/fsm_export.cc