cliffordwolf/yosys — pull request #2 by mschmoelzer (2013-02-23 17:42:36+00:00)
Title: "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