ステート・マシンからのテストベンチ生成Category : コード生成ツールActive-HDLに組込の補助的検証ツールで、ステート・マシン・エディタから生成されたHDLコードをテストするためのテストベンチを作成します。制御ユニットについては、Active-HDLで作成したステート・マシンで定義されたステートと遷移をすべてカバーする、網羅的なテストベンチのセットを自動で作成できます。テストベンチによるテストには3種類の戦略があります。ユーザのプロジェクトのニーズによって個々に使い分けることができます。 戦略 1: ステート・マシンの入力となる一連のスティミュラスを持つテストベンチを作成。マシンのステート・レジスタがあらゆるステートを取れるようなものにする。 戦略 2: ステート・マシンの入力となる一連のスティミュラスを持つテストベンチを作成。マシンのステート・レジスタがあらゆる遷移を経過するようなものにする。 戦略 3: ステート・マシンの各ステートから、リセット条件が真（TRUE）になった時にリセット・ステートに遷移するかどうかをテストするのに必要な一連のスティミュラスを持つテストベンチを作成。
