各種波形フォーマット変換 / タイミングダイアグラム描画

Presentation on theme: "各種波形フォーマット変換 / タイミングダイアグラム描画"— Presentation transcript:

1 各種波形フォーマット変換 / タイミングダイアグラム描画
テストベンチ生成

2 SynaptiCAD社概要 - Ｗho is SynaptiCAD Inc. ?
創立 1992年 あまり手をつけられていない、タイミング波形編集／解析の周辺に特化して、質の高い安価なツールを供給することにビジネスチャンスを見出し、タイミング波形に関するセンター・ツールを目指して。 創立者　Mr.Daniel Notestein/ Ms.Donna Mitchell 場所　　　Blacksburg, VA, USA- Virginia Tech の町 社員数　 ２２名（エンジニア１５名）

3 SynaptiCADのツールについて ■SnaptiCAD社は、波形変換/タイミングダイアグラムエディタを中心に 　下記のようなツールを提供しております。　 GigaWave Viewer –VCD/TDML 波形ビューワ Timing Diagrammer Pro –タイミングダイアグラムエディタ WaveFormer Pro –タイミングダイアグラムエディタ＋波形変換 DataSheet Pro –タイミングダイアグラム＋波形変換を含む ドキュメント作成支援ツール VeriLogger Extreme –グラフィカルな入力によるテストベクタ 生成機能付きVerilogシミュレータ TestBencher Pro – グラフィカルな入力によるテストベンチ 生成ツール

4 SynaptiCADツール 主な機能 タイミングダイアグラムの描画/タイミング解析 ・ マウスクリック/ドラッグ＆ドロップ ベースによる波形描画 ・ 波形上でのdelay/Setup/Holdよるタイミング解析 ・ 式による、波形入力や値の入力－ランダムな値も入力可 ・ 波形描画画面でドキュメント作成支援 グリッドライン, 　 タイムコンプレスマーカ ・ Boolean Equationによる信号定義 各種波形フォーマットの変換 ・ロジアナで吸い上げた実機データをシミュレータに利用 ・タイミングダイアグラムから、HDLスティミュラスを生成 ・シミュレータのデータ（vcdファイル）をパタンジェネレータで実機環境で利用

5 SynaptiCADツール 主な機能 バスファンクション・モデルによる 　テストベンチの生成（TBP機能） ・グラフィカルなタイミングダイアグラムから 　バスファンクション・モデルを生成（BFM:トランザクション＋駆動シーケンス） ＝複雑なトランザクションを視覚的に編集し維持管理できる ・言語に非依存なタイミングダイアグラムから 　テストベンチを生成

6 タイミングダイアグラム描画機能 マウスクリック/ドラッグ＆ドロップ ベースによる直感的な操作で、 　タイミングダイアグラム描画をすることが可能です。 波形上でのdelay/Setup/Holdよるタイミング解析、 　式による波形入力、Boolean 式による信号定義も可能 ステートボタンで描画したい 波形の種類を決定、時間軸で マウスクリックすることにより 波形を描画。 Boolean 式からの波形生成例 （SIG2は、SIG0とSIG1のANDを 　とったもの） delayを与えた例 式からの波形入力例

7 インポート／エクスポート機能

8 Import可能なファイル・フォーマット
インポート機能 Import可能なファイル・フォーマット Timing Project（syncad) SynaptiCAD wave format VCD Spice CSDF/tr0 Format Synopsys TimeMill TimingDesigner Tektronix Logic Analyzer Test Vector Spreadsheet Agilrent Logic Analyzer その他 　　インポート 　メニュー[Import/Export]＞[Import Timing Diagram From]でダイアログを開き[ファイルの種類]プルダウンメニューからファイルの種類を選び、任意のファイルを選択しタイミングダイアグラム上に開きます。 　インポートしたファイルは、.btimファイルとして保存できます。 メニュー[File]>[Save as…]選び、 　開いたダイアログの[ファイルの種類]プルダウンメニューから[Timing Diagram – Binary (*.bitm)]を 選択し保存します。

9 Export可能なファイル・フォーマット
エクスポート機能 Export可能なファイル・フォーマット Timing Project（syncad) SynaptiCAD wave format VCD VHDL Verilog Spice source Hspice source Pspice digital HSim Spice Abel stimulus Tektronix Test Vector Agilent Pattern Generator PI-2005 Pattern Generator STIL Test Vectors その他 　　エクスポート 　メニュー[Import/Export]＞[Export Timing Diagram As…]選び、 開いたダイアログの[ファイルの種類]プルダウンメニューからエクスポートする ファイルフォーマットを選び保存します。

10 バスファンクション・モデル によるテストベンチ生成（TBP）
MUTとTBの「ヤリトリ」を バス・トランザクション要素とその駆動シーケンスに「分解」 BFM = トランザクション＋駆動シーケンス MUT（ HDL～*.vhd/*.v ） ＋ トランザクション(*.tim) ＋ テストベンチ・スクリプト 　＝＞ テストベンチ（HDL～*.vhd/*.v）

11 バスファンクション・モデル によるテストベンチ生成（TBP）
トランザクション 各トランザクションは、再利用可能な波形タイミングモデルとして記述 ＝＞　*.btim　ファイル addr、dataのパラメタライズ ・パラメータ化したステート 　変数を使用したタイミング値 ・ドライブ信号と期待値信号を 　カラー表示で区別 ・サンプル値に対する 　if～then～elseの検証

12 バスファンクション・モデル によるテストベンチ生成（TBP）
駆動シーケンス 定義した 「パラメタライズド」トランザクションを 駆動するシーケンスプログラムを 「擬似コード」で記述 ＝＞テストベンチ・スクリプト 観測、照合の記述も含む トランザクションのコール Apply_tbread(…)など トップレベルにおけるさまざまなプロセスの定義 for loopなど トップレベル・モジュールにおいて、 トランザクションのシーケンスを定義

13 計測器データのインポート／エクスポート 実機動作検証 － シミュレータの入力波形を実機への入力信号に、
実機動作検証 －　シミュレータの入力波形を実機への入力信号に、 出力波形は期待値としてサンプリングした信号と比較 シミュレーション結果と 実機データをマージして 同一信号名を自動比較し 差異をハイライト WaveFormer Pro で入力信号を変換 シミュレーション結果 （VHDL / Verilog・・） パタン・ジェネレータ 実チップ（またはボード） マージ マージ WaveFormer へ 比較 実機からのデータを WaveFormer Pro へ読み込み ロジック・アナライザ

14 波形からVerilogパタ-ンの生成 波形 Verilog 。。。（略）。。。
module stimulus(CLK0, SIG0, SIG1, SIG2); output CLK0; output SIG0; output [3:0] SIG1; output SIG2; reg SIG0_driver; 。。。（略）。。。 begin #50.0; SIG2_driver <= 1'b0; SIG0_driver <= 1'b1; SIG1_driver <= 4'h8; 　　Verilogパターンの生成 　　前ページのエクスポートと同じになります、メニュー[Import/Export]＞[Export Timing Diagram As…]を選び、開いたダイアログの[ファイルの種類]プルダウンメニューから[Velilog(*.)]を選び保存します。 　なお、生成されたファイルは自動的にReport windowに表示されます。 もし、Report windowが表示されていない場合、メニュー＞WindowからReportを選び表示します。

15 InterLink 有限会社 インターリンク
横浜市中区山下町 252 グランベル横浜9F TEL: 　FAX: 　 ＊本資料の無断複製・転載を禁じます。