Verification Engineerの戯言
EDA Express(http://www.eda-express.com/news/?m=p&idno=975)でレポートしている
メンター社のフォーマル検証セミナーに行きました。
Harry Foster氏のお話は、Verplex、Jasperの時には何度かありましたが、
Mentorになってからは初めてです。
EDA Expressの記事にあるようにメンターのツールに特化した話ではなく、
カバレッジ(Function Coverage & Code Coverage)についてでした。
Code CoverageからFunction Coverageを移行すべきなのはわかっていましたが、
Function Coverageが高いくて、Code Coverageが低いときは、、、
という観点は私に取っては結構新鮮でした。
