KARMA-EDA https://blog.hatena.ne.jp/KARMA-EDA/ EDA弐号機発進！ https://karma-eda.hatenadiary.org/ EDA関連ニュース メンターの発表によるとMediaTekは、複雑なマルチメディア設計におけるインタフェースの適合性と制御ロジック機能の詳細検証に「0-Inフォーマル･ベリフィケーション技術」を適用。RTLレベルの機能検証工程においてエラーを特定し、検証のホットスポットに的を絞ったアサーションを解析することでバグを排除しているという。メンターの「0-In」製品ファミリは、フォーマル検証環境「0-In Formal Verification」、アサーションベース検証環境「0-In Assertion Synthesis」、CDC検証環境「0-In Clock-Domain Crossing」、検証IP「0-In C… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkarma-eda.hatenadiary.org%2Fentry%2F20071002%2F1191316695" title="2007年10月1日、メンター・グラフィックスは、ファブレス半導体ベンダの大手、台湾MediaTek社が、同社の次世代設計プロジェクト向け検証フローの主幹機能検証手法として、「0-Inフォーマル･ベリフィケーション技術」を採用したことを発表した。 プレスリリース - EDA弐号機発進！" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.d.st-hatena.com/diary/KARMA-EDA/2007-10-02.gif Hatena Blog https://hatena.blog 2007-10-02 18:18:15 rich https://karma-eda.hatenadiary.org/entry/20071002/1191316695 1.0 100%