>>86
あー分かった､それは仕様記述のことじゃなくて､モデルチェッキングを使った機能検証だね。
でもモデルチェッキングもほとんど普及してないよ。
ハード界で一番普及してるのは等価性チェック。CADの入力と出力の等価性をチェックするため。

どっちにしても大LSIメーカでやっとあるかなというレベルだから､一般に普及してるなんてとてもとても。