プログラム smgenerator.sf.net

SmGenは、ベリログ用の有限ステートマシンジェネレータです。しかし、FSMエントリーツールではありません。入力は行動のようなベリログです。SmGenはそこからシンセサベFSMベースの設計を生成します。クロック境界は、デザイナーによって明示的に提供されます。