【#47DAC】Vennsaのバグ原因解析ツール「OnPoint」がシミュレーションをサポート

第47回DAC（Design Automation Conference）に出展していたVennsa Technologies社のブース・レポート。

Vennsaは、DAC初出展のカナダのベンチャー。※詳細は下記ニュース記事参照。
https://www.eda-express.com/2010/04/dacvennsa-technologies.html

Vennsaは、RTLのデバッグを対象とした検証ツール「OnPoint」を展示。「OnPoint」はフォーマル検証ツールの検出したエラーの情報を読み込み、エラーの原因と推測される箇所を自動的に特定してくれるツールで、ツールの示唆した上位10候補をチェックすれば、ほぼバグは特定できるという優れもの。

これまで「OnPoint」はフォーマル検証ツールのみを対象としていたが、DAC前に発表した最新バージョンでは、シミュレーションにおけるエラーの原因特定にも対応。市販論理シミュレーターのエラー情報からもバグ原因候補の特定が可能となった。また、特定したバグ候補に対して、どのようにしてバグを修正すれば良いか指南してくれるオプション機能も新たに備えられたという。

Vennsa社のCTOSean Safarpour氏によると、同社のセールスは北米市場より先に日本市場で展開しており、既に日本企業の顧客を獲得済み。その理由はフォーマル検証のユーザーとしてスキルが高く、ツールの良さを一番実感してもらえるからとの事。シミュレーションにも対応した事で、今後、北米市場での売り込みにも力を入れるが、引き続き日本市場は同社の最重要市場としてセールス及びサポートに力を注いでいくと聞いた。

※下の画像の人物はVennsa社のCTOSean Safarpour氏

※Vennsa Technologies社