KARMA-EDA https://blog.hatena.ne.jp/KARMA-EDA/ EDA弐号機発進！ https://karma-eda.hatenadiary.org/ EDSFair2007 Averantは、国内販売代理店となっているガイア・システム・ソリューション社のブースで製品を展示。先頃リリースしたばかりの新製品「SolidCheck」を初披露していた。※関連情報：米Averant社、プロパティの記述を必要としない自動フォーマル検証ツール「SolidCheck」をリリース新製品「SolidCheck」は、位置付けとしては同社の主力製品「Solidify」の機能限定版。プロパティ・カバレッジ機能やSVA-PSL言語トランスレーション機能など、ヘビーユーザー向けの高度な機能は搭載されていないが、検証エンジンは「Solidify」と同一で、フォーマル検証における基本的な検証項目を… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkarma-eda.hatenadiary.org%2Fentry%2F20070131%2F1174179494" title="EDSF2007に出展していた、Averant社のブースレポート。 - 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-01-31.jpg Hatena Blog https://hatena.blog 2007-01-31 09:58:14 rich https://karma-eda.hatenadiary.org/entry/20070131/1174179494 1.0 100%