インテル® Quartus® Prime プロ・エディション ユーザーガイド: サードパーティー合成

ダウンロード PDF
ID 683122
日付 9/24/2018
Public
ドキュメント目次
ドキュメント目次 x
1. Mentor Graphics Precision* Synthesisのサポート 2. Synopsys Synplify*のサポート A. インテル® Quartus® Prime プロ・エディションユーザーガイド
1. Mentor Graphics Precision* Synthesisのサポート x
1.1. Precision RTL Synthesisのサポートについて 1.2. デザインフロー 1.3. インテル デバイスファミリーのサポート 1.4. Precision Synthesis生成ファイル 1.5. Precision Synthesisソフトウェアでのプロジェクトの作成およびコンパイル 1.6. Precision Synthesisデザインのマッピング 1.7. デザイン合成と結果の評価 1.8. インテルFPGA IPコアおよびアーキテクチャーに特有の機能のガイドライン 1.9. Mentor GraphicsPrecision*Synthesisサポート改訂履歴
1.2. デザインフロー x
1.2.1. タイミングの最適化
1.6. Precision Synthesisデザインのマッピング x
1.6.1. タイミング制約の設定 1.6.2. マッピング制約の設定 1.6.3. ピン番号の割り当てとI/O設定 1.6.4. I/Oレジスターの割り当て 1.6.5. I/Oパッド挿入の無効化 1.6.6. データネット上のファンアウト制御
1.6.5. I/Oパッド挿入の無効化 x
1.6.5.1. Precision SynthesisソフトウェアによるI/Oパッドの追加の防止 1.6.5.2. Precision Synthesisソフトウェアによる個々のピンへのI/Oパッドの追加の防止
1.7. デザイン合成と結果の評価 x
1.7.1. 正確なロジック利用率およびタイミング分析レポートの取得
1.8. インテルFPGA IPコアおよびアーキテクチャーに特有の機能のガイドライン x
1.8.1. IP Catalogによって生成されたVerilog HDLファイルを使用したIPコアのインスタンス化 1.8.2. IP Catalogによって生成されたVHDLファイルを使用したIPコアのインスタンス化 1.8.3. IP Catalogとパラメーター・エディターを使用した知的財産のインスタンス化 1.8.4. 生成されたVerilog HDLファイルを使用したブラックボックスIPファンクションのインスタンス化 1.8.5. 生成されたVHDLファイルを使用したブラックボックスIPファンクションのインスタンス化 1.8.6. HDLコードからのインテルFPGA IPコアの推測
1.8.6. HDLコードからのインテルFPGA IPコアの推測 x
1.8.6.1. 乗算器 1.8.6.2. 専用乗算器使用オプションの設定 1.8.6.3. dedicated_mult属性の設定 1.8.6.4. 乗算累算器と乗算加算器 1.8.6.5. DSPブロック推測の制御 1.8.6.6. RAMとROM
1.8.6.1. 乗算器 x
1.8.6.1.1. 乗算器のDSPブロック推測の制御
2. Synopsys Synplify*のサポート x
2.1. Synopsys Synplifyサポートについて 2.2. デザインフロー 2.3. ハードウェア記述言語のサポート 2.4. インテル デバイスファミリーのサポート 2.5. ツール設定 2.6. Synplifyソフトウェアで生成されるファイル 2.7. デザイン制約のサポート 2.8. シミュレーションとフォーマル検証 2.9. Synplifyの最適化方法 2.10. インテル FPGA IPコアおよびアーキテクチャーに特有の機能のガイドライン 2.11. Synopsys Synplify*サポート改訂履歴
2.5. ツール設定 x
2.5.1. インテル® Quartus® Prime開発ソフトウェア・バージョンの指定
2.7. デザイン制約のサポート x
2.7.1. Synplifyで生成されたTclスクリプトを使用した インテル® Quartus® Prime開発ソフトウェアの手動による実行 2.7.2. タイミング・アナライザーのSDCタイミング制約の インテル® Quartus® Prime開発ソフトウェアへの引き渡し
2.7.2. タイミング・アナライザーのSDCタイミング制約の インテル® Quartus® Prime開発ソフトウェアへの引き渡し x
2.7.2.1. 個別クロックおよび周波数 2.7.2.2. 入力および出力遅延 2.7.2.3. マルチサイクル・パス 2.7.2.4. フォルスパス
2.9. Synplifyの最適化方法 x
2.9.1. Synplify Premierを使用したデザインの最適化 2.9.2. Synplify ProまたはSynplify Premierでの実装の使用 2.9.3. タイミング駆動型合成の設定 2.9.4. FSM Compiler 2.9.5. 最適化属性およびオプション 2.9.6. インテル固有の属性
2.9.3. タイミング駆動型合成の設定 x
2.9.3.1. クロック周波数 2.9.3.2. 複数クロックドメイン 2.9.3.3. 入力および出力遅延 2.9.3.4. マルチサイクル・パス 2.9.3.5. フォルスパス
2.9.4. FSM Compiler x
2.9.4.1. Synplify ProまたはSynplify PremierのFSM Explorer
2.9.5. 最適化属性およびオプション x
2.9.5.1. Synplify ProまたはSynplify Premierでのリタイミング 2.9.5.2. 最大ファンアウト 2.9.5.3. ネットの維持 2.9.5.4. レジスターパッキング 2.9.5.5. リソース共有 2.9.5.6. 階層の維持 2.9.5.7. レジスターの入出力遅延 2.9.5.8. syn_direct_enable 2.9.5.9. I/O規格
2.9.6. インテル固有の属性 x
2.9.6.1. altera_chip_pin_lc 2.9.6.2. altera_io_powerup 2.9.6.3. altera_io_opendrain
2.10. インテル FPGA IPコアおよびアーキテクチャーに特有の機能のガイドライン x
2.10.1. IP Catalogを使用したインテル FPGA IPコアのインスタンス化 2.10.2. インテル® Quartus® Prime配置配線専用ファイルを含める 2.10.3. HDLコードからのインテル FPGA IPコアの推測
2.10.1. IP Catalogを使用したインテル FPGA IPコアのインスタンス化 x
2.10.1.1. IP Catalogによって生成されたVerilog HDLファイルを使用したインテル FPGA IPコアのインスタンス化 2.10.1.2. IP Catalogによって生成されたVHDLファイルを使用したインテル FPGA IPコアのインスタンス化 2.10.1.3. インスタンス化されたインテル FPGA IPコアに対するSynplifyのデフォルト動作の変更 2.10.1.4. IP Catalogとパラメーター・エディターを使用した知的財産のインスタンス化 2.10.1.5. 生成されたVerilog HDLファイルを使用したブラックボックス・コアのインスタンス化 2.10.1.6. 生成されたVerilogファイルを使用したブラックボックスIPコアのインスタンス化 2.10.1.7. ブラックボックスを作成するためのその他のSynplifyソフトウェアの属性
2.10.3. HDLコードからのインテル FPGA IPコアの推測 x
2.10.3.1. 乗算器の推測 2.10.3.2. RAMの推測 推測されたデュアルポートRAMのVHDLコード バイパスロジックを回避する推測されたデュアルポートRAMのVHDLコード 2.10.3.3. RAMの初期化 2.10.3.4. ROMの推測 2.10.3.5. シフトレジスターの推測
2.10.3.1. 乗算器の推測 x
2.10.3.1.1. リソース・バランシング 2.10.3.1.2. DSPブロック推測の制御 2.10.3.1.3. 信号レベル属性
1. Mentor Graphics Precision* Synthesisのサポート
2. Synopsys Synplify*のサポート
A. インテル® Quartus® Prime プロ・エディションユーザーガイド

2.10.3.2. RAMの推測

HDLデザインからRAMブロックが推測された場合、Synplifyソフトウェアは、インテル FPGA IPコアを使用してデバイスのメモリー・アーキテクチャーをターゲットにします。 一部のデバイスでは、Synplifyソフトウェアは.vqmファイル内でIPコアをインスタンス化する代わりに、メモリーブロックのデバイス・プリミティブに直接マップします。

デザインでRAMを正常に推測するために、Synplifyソフトウェアに対する次のガイドラインに従ってください。

  • アドレス行の幅は2ビット以上でなければなりません。
  • メモリーでのリセットはサポートされていません。読み取り/書き込みポートを同期する必要があるか否かについては、デバイスファミリーのマニュアルを参照してください。
  • ブロック割り当てを持つVerilog HDLステートメントの中には、RAMブロックにマップされないものがあります。したがって、Verilog HDLでRAMをモデル化するときはステートメントをブロックしないようにしてください。

一部のデバイスファミリーでは、syn_ramstyle属性で、推測されたRAMに使用する実装が指定されます。 syn_ramstyle属性をモジュールまたはRAMインスタンスにグローバルに適用して、registerまたはblock_ram値を指定することができます。 RAMの推測をオフにするには、属性値をregisterに設定します。

一部のインテル デバイスファミリーのRAMを推測する場合、Synplifyソフトウェアが追加のバイパスロジックを生成します。このロジックは、RTLシミュレーションと合成後シミュレーションとの間のハーフサイクル読み取り/書き込み動作の違いを解消するために生成されます。 RTLシミュレーションは、更新中のメモリーをクロックの正のエッジで示し、合成後シミュレーションは、更新中のメモリーをクロックの負のエッジで示します。バイパスロジックをなくすには、RAMの出力がレジスター化されている必要があります。このレジスターを追加することによって、RAMの出力はフル・クロック・サイクル後に現れますが、この時点までに更新が行われるので、バイパスロジックは不要になります。

TriMatrixメモリーブロックを備えたデバイスの場合、syn_ramstyle値をno_rw_checkに設定することで、グルーロジックの作成を無効にできます。syn_ramstyleをno_rw_checkに設定して、デュアルポート・モードでのグルーロジックの作成を無効にします。

推測されたデュアルポートRAMのVHDLコード

LIBRARY ieee;
USE ieee.std_logic_1164.all;
USE ieee.std_logic_signed.all;

ENTITY dualport_ram IS
PORT ( data_out: OUT STD_LOGIC_VECTOR (7 DOWNTO 0);
    data_in: IN STD_LOGIC_VECTOR (7 DOWNTO 0)
    wr_addr, rd_addr: IN STD_LOGIC_VECTOR (6 DOWNTO 0);
    we: IN STD_LOGIC);
    clk: IN STD_LOGIC);
END dualport_ram;

ARCHITECTURE ram_infer OF dualport_ram IS
TYPE Mem_Type IS ARRAY (127 DOWNTO 0) OF STD_LOGIC_VECOR (7 DOWNTO 0);
SIGNAL mem; Mem_Type;
SIGNAL addr_reg: STD_LOGIC_VECTOR (6 DOWNTO 0);

BEGIN
    data_out <= mem (CONV_INTEGER(rd_addr));
    PROCESS (clk, we, data_in) BEGIN
        IF (clk='1' AND clk'EVENT) THEN
            IF (we='1') THEN
                mem(CONV_INTEGER(wr_addr)) <= data_in;
            END IF;
        END IF;
    END PROCESS;
END ram_infer;

バイパスロジックを回避する推測されたデュアルポートRAMのVHDLコード

LIBRARY ieee;
USE ieee.std_logic_1164.all;
USE ieee.std_logic_signed.all;

ENTITY dualport_ram IS
PORT ( data_out: OUT STD_LOGIC_VECTOR (7 DOWNTO 0);
    data_in: IN STD_LOGIC_VECTOR (7 DOWNTO 0)
    wr_addr, rd_addr: IN STD_LOGIC_VECTOR (6 DOWNTO 0);
    we: IN STD_LOGIC);
    clk: IN STD_LOGIC);
END dualport_ram;

ARCHITECTURE ram_infer OF dualport_ram IS
TYPE Mem_Type IS ARRAY (127 DOWNTO 0) OF STD_LOGIC_VECOR (7 DOWNTO 0);
SIGNAL mem; Mem_Type;
SIGNAL addr_reg: STD_LOGIC_VECTOR (6 DOWNTO 0);

BEGIN
    data_out <= mem (CONV_INTEGER(rd_addr));
    PROCESS (clk, we, data_in) BEGIN
        IF (clk='1' AND clk'EVENT) THEN
            IF (we='1') THEN
                mem(CONV_INTEGER(wr_addr)) <= data_in;
            END IF;
        END IF;
    END PROCESS;
END ram_infer;
レベル 2 の表題