(アサーション自動生成)コンセプト当社では、お客様に、仕様書と設計・検証の連動性をコンセプトとした商品をご提案いたします。SpecInsight-ACEは、仕様書に記載するタイミングチャートから、アサーションを自動生成して、検証品質を向上する、というコンセプトのもとに、当社で開発したツールです。SpecInsight-ACEの機能SpecInsight-ACEでは、お客様の仕様書に記載するタイミングチャートから、アサーションを自動生成することができます。Assertion)コードを自動生成することができます。SpecInsight-ACEには、タイミングチャートエディタが付属しております。これまで、タイミングチャート作成に適したツールがなかったという課題も、SpecInsight-ACEが解決いたします。SVAコードをセットで出力、ドキュメントとして使用可能)SpecInsight-ACEの出力はそのまま仕様書としてご活用頂けます。コード、波形などの情報を一括して出力します。SpecInsight-ACEの出力例よくあるご質問SpecInsight-ACEについて、より詳しく知りたい方のために、よくあるご質問をまとめております。