RTL検証と言えば検証のTargetとなるRTLが存在するわけでそのレベルにより検証の考え方や目的が変わってきます。又その作業が置かれた状況により対応方法も変わってきます。
検証の目的で普遍的な所を挙げれば
(1)仕様が正しいか？
(2)RTLが仕様と一致しているか？
の2点になると思います。この業界のRTL検証というと大体が(2)に該当し(1)まで出来る人が少ないのが実情でした（2011年時点）。
このサイトでは(1)まで出来るようレベルアップしよう！！等とは考えていません(^^!。。余り生真面目にこのHomePageを作ろうとしている訳でも無いので辞める前にお願いされていた所等からぽちぽちと書いて行こうかと思います。
