回路仕様を記述する方法の一つ．おもにテスト・ベクタを生成するために利用される．データ・パスなどの入出力関係を記述するのに適している．