2008年2月18日、フォーマル検証ツールを手掛ける独OneSpin Solutionsは、同社のフォーマル検証ツール「360 Module Verifier」の追加機能として、特許出願中の体系的検証プロセス「GapFreeVerification」を発表した。プレスリリース：http://www.eda-express.…

プレスリリース：http://www.mentorg.co.jp/news/2008/080219.html今回発表されたのは、異なる抽象レベルのデザイン検証に対応する「マルチビュー検証コンポーネント」と、テスト項目から自動的にテストパターンを生成する「インテリジェント・テストベンチ…