:河井淳、以下、CME)は、このたび、新製品の検証自動化ツール「SpecInsight-TEX」(以下、本製品)の販売を開始いたしました。本製品は、機能仕様書の情報からシミュレーション用の検証環境を自動生成するツールです。インタフェース仕様として作成したタイミングチャートをもとに、テストベンチと検証シナリオを生成します。複数のタイミングチャートを組み合わせて複雑な機能を検証することも可能です。本製品の特徴は、簡単なGUI操作でタイミングチャートからシミュレーション用の検証環境を自動生成できることです。テストベンチ記述やシミュレーションに不慣れな方でも容易にシミュレーション検証を行うことができます。本製品を適用することで、設計初期段階でRTLの品質向上を実現し、実機評価などの後工程からの手戻りを防ぐことが可能となります。お客様の最終製品の設計品質を向上するとともに、開発TATおよびコスト削減にも貢献いたします。本製品の販売開始と同時に、既に発売中の「SpecInsight-NEO」、「SpecInsight-REG」、「SpecInsight-ACE」をバージョンアップし、SpecInsightファミリーのGUIとデータベースを統合します。本製品および「SpecInsight-ACE」に搭載しているタイミングチャートエディタの操作性をさらに向上しました。手間のかかるタイミングチャートを今まで以上に簡単に描くことができ、仕様書作成の効率を大幅に高めることができます。今後も、SpecInsightファミリーのさらなる拡張を図ってまいりますので、機能の詳細や価格に関することなど、お気軽にお問い合わせください。SpecInsightファミリーのご紹介資料SpecInsight-Leaflet_Rev1.1.pdfCMエンジニアリングについてCMエンジニアリングは、検証メソドロジを活用した第三者検証サービス、検証技術向上のためのコンサルティング、教育サービスなど、半導体の検証に対するあらゆるニーズにお応えする各種ソリューションを提供しています。マイコンモジュール「CRESSON-MD920シリーズ」の販売など、アナログ設計技術とともに、通信系のLSI設計にも対応できる技術集団として、幅広い分野の商品開発、サービスを提供しています。※記載されている製品名などの固有名詞は、CMエンジニアリングの商標、または登録商標です。