【EDSFレポート】プライムゲート、STARC「TLモデリングガイド」に対応したSystemCルール・チェッカを参考展示

EDSF2008に出展していた、プライムゲートのブースレポート。

プライムゲートは、代理店販売している米Actis社製のSystemCルール・チェッカ「AccurateC」と、米Veritools社のSVAアサーション検証ツール「VeritoolsVerifyer」を展示していた。

SystemCのルール・チェッカ「AccurateC」は、先頃STARCが発表したばかりの「TLモデリングガイド」で示されている40近くのモデリングルールのうち、既に10のルールをサポート。ルールとしてツールではチェック不可能なものもあるが、今後更にサポートルールを増やしていく計画だという。STARCルール対応版の「AccurateC」は春以降に正式リリースの予定。