LSIのフォーマル検証の使い心地，リコーが講演
リコーは，米Mentor Graphics Corp.のフォーマル検証ツール「0-In Formal Verification」を導入し，使ってみた結果について講演した。この講演は9月5日に東京・品川で開催の「EDA Tech Forum 2008」で行われた。
→ http://techon.nikkeibp.co.jp/article/NEWS/20080909/157679/
リコーは，米Mentor Graphics Corp.のフォーマル検証ツール「0-In Formal Verification」を導入し，使ってみた結果について講演した。この講演は9月5日に東京・品川で開催の「EDA Tech Forum 2008」で行われた。
→ http://techon.nikkeibp.co.jp/article/NEWS/20080909/157679/