KARMA-EDA https://blog.hatena.ne.jp/KARMA-EDA/ EDA弐号機発進！ https://karma-eda.hatenadiary.org/ EDA関連ニュース 2007年5月7日、検証コンサルティングも手掛けるEDAベンチャー、米Certess社は、同社初のEDA製品「Certitude」の正式リリースを発表した。プレスリリース（英文）「Certitude」は、ミューテーション手法と呼ばれるソフトウエアのテスト技術を応用した、検証環境の信頼性をチェックするツールで、VerilogまたはVHDLで記述されたRTLに意図的にバグを混入しその検証結果を確認する。Certessによると、既に「Certitude」のユーザー数はワールドワイドで50以上。STマイクロもそのユーザーの1社で全社的に「Certitude」を利用しているという。尚、Certessは、… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkarma-eda.hatenadiary.org%2Fentry%2F20070510%2F1179096924" title="米Certess社、ミューテーション手法による検証環境チェックツール「Certitude」を正式リリース - 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://images-fe.ssl-images-amazon.com/images/I/415UwtWnngL._SL160_.jpg Hatena Blog https://hatena.blog 2007-05-10 07:55:24 rich https://karma-eda.hatenadiary.org/entry/20070510/1179096924 1.0 100%