KARMA-EDA https://blog.hatena.ne.jp/KARMA-EDA/ EDA弐号機発進！ https://karma-eda.hatenadiary.org/ EDA関連ニュース 発表によるとOKIネットワークLSIは、会社設立当初から提供している機能検証のアウトソーシングサービスの生産性を向上させるためにシノプシスのSystemVerilogソリューションを採用。具体的には、論理シミュレーター「VCS」、検証IP「VCS Verification Library」に加え、シノプシスの提唱するSystemVerilogベースの検証メソドロジ「VMM」を活用する事で検証の効率化を図り、数百万ゲート規模のSoCやFPGA開発プロジェクトなど1年間で計15件の顧客プロジェクトを完了させることに成功した。 ※VMM：Verification Methodology Manual… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkarma-eda.hatenadiary.org%2Fentry%2F20071009%2F1191968270" title="2007年10月4日、シノプシスとOKIネットワークLSIは、OKIネットワークLSIが同社の第三者検証サービスでSystemVerilogとシノプシスDiscoveryベリフィケーション・プラットフォームを採用。最初の一年で15件の検証プロジェクトを短期間で完了させたことを発表した。プレスリリース（OKIネット） - 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-09.jpg Hatena Blog https://hatena.blog 2007-10-09 07:17:50 rich https://karma-eda.hatenadiary.org/entry/20071009/1191968270 1.0 100%