検証メソドロジを活用したLSI機能検証サービス、お客様のニーズに沿った様々な切り口で品質向上をサポートする検証コンサルティングサービス、ならびに、SystemVerilogとランダム検証を「サクッと」導入できる製品「SAQuT!-KITシリーズ」など、検証の様々なニーズにお応えするサービスと製品をご紹介します。
当社の長年のSoC開発で培った高い技術力と高品質なサービスは、FPGAの設計品質向上にもお役立ていただけます。
「SpecInsigtシリーズ」は、当社の仕様書を起点とした品質に対する深い洞察から誕生した製品で、仕様書からレジスタを含むRTLを自動生成できる製品「SpecInsight」と、アサーション自動生成とタイミングチャートエディタが付属している製品「SpecInsight-ACE」の二種を取り揃えております。
「SpecInsight」によって、手作業でのケアレスミスを防止できます。「SpecInsight-ACE」では、波形ベースのアサーション作成、波形とアサーションの一覧表示、アサーションコードの出力、日本語でのコメント入力をサポートしています。
いずれも、GUIでの簡単な操作で活用できますので、仕様書の改善とともに、お客様の最終製品の品質向上に貢献いたします。 |
