TestBencher Pro

各種波形フォーマット変換 / タイミングダイアグラム描画ツール
1
InterLink
WaveFormerProの主な機能
各種波形フォーマットの変換
・ロジアナで吸い上げた実機データをシミュレータに利用
・タイミングダイアグラムから、HDLスティミュラスを生成
・シミュレータのデータ(vcdファイル)をパタンジェネレータで実機環境で利用
タイミングダイアグラムの描画/タイミング解析
・
・
・
・
マウスクリック/ドラッグ&ドロップ ベースによる波形描画
波形上でのdelay/Setup/Holdよるタイミング解析
式による、波形入力や値の入力-ランダムな値も入力可
波形描画画面でドキュメント作成支援 グリッドライン,
タイムコンプレスマーカ
・ Boolean Equationによる信号定義
2
InterLink
WaveFormerのインポート/エクスポート機能
3
InterLink
WaveFormerのインポート機能
WaveFormer ProへImport可能なファイルフォーマット






Timing Project(syncad)
SynaptiCAD wave format
VCD
Spice CSDF/tr0 Format
Synopsys TimeMill
TimingDesigner
 Tektronix Logic Analyzer
 Test Vector Spreadsheet
 その他計測器フォーマット
4
InterLink
WaveFormerのエクスポート機能
WaveFormer ProからExport可能なファイルフォーマット










Timing Project(syncad)
SynaptiCAD wave format
VCD
VHDL
Verilog
Spice source
Hspice source
Pspice digital
HSim Spice
Abel stimulus
 Tektronix Test Vector
 STIL Test Vectors
 その他計測器フォーマット
5
InterLink
計測器データのインポート/エクスポート
6
InterLink
計測器データのインポート/エクスポート
実機動作検証 - シミュレータの入力波形を実機への入力信号に、
出力波形は期待値としてサンプリングした信号と比較
シミュレーション結果と
実機データをマージして
同一信号名を自動比較し
差異をハイライト
WaveFormer Pro
で入力信号を変換
シミュレーション結果
(VHDL / Verilog・・)
実チップ(またはボード)
パタン・ジェネレータ
マージ
マージ
WaveFormer へ
比較
実機からのデータを
WaveFormer Pro
へ読み込み
ロジック・アナライザ
7
InterLink
波形からVerilogパタ-ンの生成
波形
。。。(略)。。。
。。。(略)。。。
module stimulus(CLK0, SIG0, SIG1, SIG2);
begin
Verilog
output CLK0;
#50.0;
output SIG0;
SIG2_driver <= 1'b0;
output [3:0] SIG1;
#50.0;
output SIG2;
SIG0_driver <= 1'b1;
reg SIG0_driver;
SIG1_driver <= 4'h8;
。。。(略)。。。
。。。(略)。。。
8
InterLink
本日ご覧頂くデモについて
デモの内容
ロジックアナライザで取り込んだ実機データを、
WaveFormerProを使用し、HDLスティミュラスに変換。
そのHDLスティミュラスを使用して、シミュレーションをおこなう。
①
②
③
④
ロジックアナライザデータのWFPへの受け渡し
WFPによるHDLスティミュラスの生成
生成されたHDLスティミュラスによる、シミュレーション
WFPによるパターン・ジェネレータ用ファイルの生成
9
InterLink
①ロジックアナライザデータのWFPへの受け渡し
Test Vector Spread sheet
WaveFormerPro波形表示
10
InterLink
②WFPによるHDLスティミュラスの生成
WaveFormerPro波形表示
。。。(略)。。。
。。。(略)。。。
。。。(略)。。。
HDLスティミュラス
11
。。。(略)。。。
InterLink
③生成されたHDLスティミュラスによる、
シミュレーション
Modelsimでのシミュレート例
*MUTの機能は、単に信号を反転させるものです。
12
InterLink
④WFPによるパターン・ジェネレータ用ファイルの生成
WaveFormerPro波形表示
Test Vector Spread sheet
13
InterLink
タイミングダイアグラム描画機能
マウスクリック/ドラッグ&ドロップ ベースによる直感的な操作で、
タイミングダイアグラム描画をすることが可能です。
波形上でのdelay/Setup/Holdよるタイミング解析、
式による波形入力、Boolean 式による信号定義も可能
ステートボタンで描画したい
波形の種類を決定、時間軸で
マウスクリックすることにより
波形を描画。
Boolean 式からの波形生成例
(SIG2は、SIG0とSIG1のANDを
とったもの)
delayを与えた例
式からの波形入力例
14
InterLink
SynaptiCADのツールについて
■SnaptiCAD社は、波形変換/タイミングダイアグラムエディタを中心に
下記のようなツールを提供しております。
GigaWave Viewer
–VCD/TDML 波形ビューワ(無償)
Timing Diagrammer Pro –タイミングダイアグラムエディタ
WaveFormer Pro
–タイミングダイアグラムエディタ+波形変換
DataSheet Pro
–タイミングダイアグラム+波形変換を含む
ドキュメント作成支援ツール
VeriLogger Extreme
–グラフィカルな入力によるテストベクタ
生成機能付きVerilogシミュレータ
TestBencher Pro
–グラフィカルな入力による
テストベンチ生成ツール
15
InterLink
SynaptiCAD社製品紹介
GigaWave Viewer:
• 波形ビューワです。
[] VCDファイルやTDMLファイルを読み込み、波形表示
TimingDiagrammer Pro:
• タイミングダイアグラムエディタです。
• 主な特徴:
[] 波形上でのSetup/Hold検証
[] 式による、波形入力([Wfm Eqn]ボタン)や値の入力([Label Eqn]ボタン
)-ランダムな値も入力可能
[] 波形描画面でドキュメント作成支援-グリッドライン、タイムコンプレス
マーカ
[] アクティブロー信号のオーバーバー
16
InterLink
SynaptiCAD社製品紹介
WaveFormer Pro:
• タイミングダイアグラムエディタです。
• TimingDiagrammer Proの機能を有します。
• 主な特徴:
[] Boolean Equationによる信号定義
[] タイミングダイアグラムから、HDLスティミュラスを生成します。
[] 多くのファイル形式に対して入出力を対応しています。
→ロジアナで吸い上げた実機データをシミュレータに利用
→シミュレータのデータ(vcdファイル)をパタンジェネレータで実機環境で利用
・・・など
DataSheet Pro:
• タイミングダイアグラムを含むドキュメントの作成支援ツールです。
• WaveFormer Proの機能を有します。
• 主な特徴:
[] OLE機能は標準装備。
[] プロジェクト・ウィンドウにより、複数のタイミングダイアグラムを一つの
プロジェクトとして管理できます。
17
InterLink
SynaptiCAD社製品紹介
VeriLogger Pro(BugHunter Pro):
• グラフィカルな入力によるテストベクタ生成機能付きの、Verilogシミュレータ
です。
• 特徴として、タイミングダイアグラムからテストベクタを生成する機能があり
、テストパタンを用意しなくとも、タイミングダイアグラムからの入力により
MUTをシミュレーションする事ができます(インターラクティブ・シミュレーシ
ョン機能)。
TestBencher Pro:
• グラフィカルな入力によるテストベンチ生成ツールです。
• VeriLogger Proの機能を有します。
• 言語に依存しないタイミングダイアグラムから、リアクティブ(自身で応答可
能)なテストベンチやバスファンクショナルモデルを生成します。
• サポートしている言語:VHDL、Verilog、OpenVera、e、SystemC、およびC++(
TestBuilder)
18
InterLink
InterLink
有限会社 インターリンク
231-0023 横浜市中区山下町 252 グランベル横浜9F
TEL:045-663-5940 FAX:045-663-5945
[email protected] http://www.ilink.co.jp
19
InterLink