米SynaptiCAD、PSLを使ったシミュレーション波形の解析ツール「Transaction Trackeｒ」を発売

2007年4月、シミュレータなどシミュレーション関連のEDAソリューションを手掛ける、米SynaptiCADは、新製品「Transaction Tracker」を発売した。関連ページ（英文）

「Transaction Tracker」は、検証言語PSL/Sugerを使用して、シミュレーション結果の波形データの解析を行うツールで、大規模デザインの膨大な波形データの妥当性を検証するもの。

ユーザーは、Verilog/VHDLのシミュレーション結果（VCDファイル）を読み込み、「Transaction Tracker」に用意されている「PSL/Sugar言語簡易入力機構」でアサーションを定義すると、瞬間的にアサーションと一致または部分一致するトランザクション波形が時間軸対応にグラフィカル表示される。

独自の「PSL/Sugar言語簡易入力機構」によって、言語を一から習得する事無くPSLアサーションを活用できる点が「Transaction Tracker」の一つの特徴で、簡易的に入力したPSL言語の完全な表記を表示する機能もある。

尚、「Transaction Tracker」はスタンドアロン、またはSynaptiCAD社の他の波形編集ツール「WaveFormerPro」等と組み合わせた形で提供され、日本国内での製品価格は、スタンドアロン版で30万円、他のツールのオプションで15万円（共に永久ライセンス価格：保守費別途）となっている。

※「Transaction Tracker」ほか、SynaptiCAD社製品に関する詳細は、販売代理店インターリンク社にお問い合わせ下さい。

※記事提供：EDA Express

SystemVerilogアサーション・ハンドブック