pragma HLS bind_storage - 2023.2 日本語

Vitis 高位合成ユーザー ガイド (UG1399)

Document ID
UG1399
Release Date
2023-12-18
Version
2023.2 日本語

説明

BIND_STORAGE プラグマは、コードの特定の変数 (配列または関数引数) を RTL のメモリ タイプ (type) に割り当てます。このプラグマを指定しない場合、Vitis HLS ツールにより使用するメモリ タイプが自動的に決定されます。HLS ツールは、指定したインプリメンテーション (impl) を使用してハードウェアにメモリをインプリメントします。

たとえば、配列をインプリメントするのに使用するメモリ タイプを指定するために使用できます。これにより、配列をシングル ポート RAM またはデュアル ポート RAM のどちらとしてインプリメントするかをユーザーが制御できます。

重要: インターフェイスの配列 に説明されているように、配列に関連付けられているメモリ タイプによって RTL で必要なポートの数とタイプが決まるので、これは最上位関数インターフェイスの配列には重要な機能です。ただし、最上位関数の引数に割り当てられた変数の場合は、INTERFACE プラグマまたは指示子の -storage_type および -storage_impl オプションを使用して、メモリ タイプとインプリメンテーションを割り当てる必要があります。

インプリメンテーションのレイテンシも指定できます。インターフェイスのブロック RAM では、latency オプションを指定すると、たとえばレイテンシ 2 または 3 の SRAM をサポートするなど、インターフェイスにオフチップの標準でない SRAM をモデル化できます。内部演算では、latency オプションを使用すると、メモリをより多くのパイプライン段を使用してインプリメントできます。これらの追加のパイプライン段により、RTL 合成中にタイミング問題を解決しやすくなります。

重要: latency オプションを使用するには、使用可能な複数段のインプリメンテーションを演算に含める必要があります。HLS ツールは、すべてのブロック RAM に対して複数段のインプリメンテーションを生成します。

構文

C/C++ ソースの配列変数が定義されている関数の本体内に配置します。

#pragma HLS bind_storage variable=<variable> type=<type>\
[ impl=<value> latency=<int> ]

説明:

variable=<variable>
BIND_STORAGE プラグマを適用する変数を定義します。プラグマを指定する際は必ず使用する必要があります。
ヒント: 変数が最上位関数の引数である場合は、INTERFACE プラグマまたは指示子の -storage_type および -storage_impl オプションを使用してください。
type=<type>
指定した変数に割り当てるメモリ タイプを定義します。
サポートされるタイプは、fiforam_1pram_1wnrram_2pram_s2pram_t2prom_1prom_2prom_np です。
表 1. ストレージ タイプ
タイプ 説明
FIFO FIFO。-impl オプションが指定されていない場合は、RTL でのインプリメント方法は Vitis HLS により決定されます。
RAM_1P シングル ポート RAM。-impl オプションが指定されていない場合は、RTL でのインプリメント方法は Vitis HLS により決定されます。
RAM_1WNR 書き込みポートを 1 個、読み出しポートを N 個持ち、内部で N 個のバンクを使用する RAM。
RAM_2P 1 つのポートで読み出し、もう 1 つのポートで読み出しと書き込みの両方を実行可能なデュアル ポート RAM。
RAM_S2P 1 つのポートで読み出し、もう 1 つのポートで書き込みを実行可能なデュアル ポート RAM。
RAM_T2P 両方のポートで読み出しと書き込みの両方をサポートする完全なデュアル ポート RAM。
ROM_1P シングル ポート ROM。-impl オプションが指定されていない場合は、RTL でのインプリメント方法は Vitis HLS により決定されます。
ROM_2P デュアル ポート ROM。
ROM_NP マルチ ポート ROM。
ヒント: PIPO にシングル ポート RAM を指定した場合、バインダーは通常、バンクが 1 つしかない統一済み PIPO を割り当て、リーダーとライターはバンクの異なる半分にアクセスします。HLS コンパイラからレポートされる情報メッセージには、すべてのブロックに単一のメモリを使用して PIPO をインプリメントしているということが表示されます。すべてのバンクが 1 つの RAM ブロックを共有できるような小さな PIPO の場合は、この方がコストが抑えらることが多くあります。ただし、帯域幅をより広くできるように PIPO にデュアル ポート RAM を指定し、スケジューラがプロデューサーまたはコンシューマーのいずれかで両方のポートを使用する場合、バインダーは通常、プロデューサーがポートを 1 つ、コンシューマーが異なるバンクのポートを 2 つ使用するスプリット PIPO を割り当てます。この場合、HLS コンパイラからレポートされる情報メッセージには、各ブロックに個別のメモリを使用して PIPO をインプリメントしているということが表示されます。
impl=<value>
指定したストレージ タイプのインプリメンテーションを指定します。サポートされるインプリメンテーションには、次に示すように brambram_ecclutramuramuram_eccsrlmemory、および auto があります。
表 2. サポートされるインプリメンテーション
名前 説明
MEMORY 汎用メモリを使用すると、Vivado ツールでインプリメンテーションを選択できます。
URAM UltraRAM リソース
URAM_ECC UltraRAM (ECC あり)
SRL シフト レジスタ ロジック リソース
LUTRAM 分散 RAM リソース
BRAM ブロック RAM リソース
BRAM_ECC ブロック RAM (ECC あり)
AUTO 変数のインプリメンテーションは Vitis HLS で自動的に指定されます。
表 3. FIFO/RAM/ROM でサポートさるインプリメンテーション
タイプ コマンド/プラグマ スコープ サポートされるインプリメンテーション
FIFO bind_storage 1 ローカル AUTO、BRAM、LUTRAM、URAM、MEMORY、SRL
FIFO config_storage グローバル AUTO、BRAM、LUTRAM、URAM、MEMORY、SRL
RAM* | ROM* bind_storage ローカル AUTO BRAM、BRAM_ECC、LUTRAM、URAM、URAM_ECC
RAM* | ROM* config_storage 2 グローバル N/A
RAM_1P set_directive_interface s_axilite -storage_impl ローカル

AUTO、BRAM、URAM

  config_interface -m_axi_buffer_impl グローバル

AUTO、BRAM、LUTRAM、URAM

  1. インプリメンテーションが指定されていない場合、指示子は AUTOSRL 動作をデフォルトとして使用します。ただし、この値は指定できません。
  2. config_storage では FIFO タイプしかサポートされません。
latency=<int>
指定したタイプをバインディングする際のデフォルト レイテンシを定義します。次の表に示すように、有効なレイテンシは type および impl の指定によって異なります。デフォルトは -1 で、Vitis HLS によりレイテンシが選択されます。
表 4. サポートされるメモリ タイプ、インプリメンテーション、およびレイテンシ
タイプ インプリメンテーション 最小レイテンシ 最大レイテンシ
FIFO BRAM 1 4
FIFO LUTRAM 1 4
FIFO MEMORY 1 4
FIFO SRL 1 4
FIFO URAM 1 4
RAM_1P AUTO 1 3
RAM_1P BRAM 1 3
RAM_1P LUTRAM 1 3
RAM_1P URAM 1 3
RAM_1WNR AUTO 1 3
RAM_1WNR BRAM 1 3
RAM_1WNR LUTRAM 1 3
RAM_1WNR URAM 1 3
RAM_2P AUTO 1 3
RAM_2P BRAM 1 3
RAM_2P LUTRAM 1 3
RAM_2P URAM 1 3
RAM_S2P BRAM 1 3
RAM_S2P BRAM_ECC 1 3
RAM_S2P LUTRAM 1 3
RAM_S2P URAM 1 3
RAM_S2P URAM_ECC 1 3
RAM_T2P BRAM 1 3
RAM_T2P URAM 1 3
ROM_1P AUTO 1 3
ROM_1P BRAM 1 3
ROM_1P LUTRAM 1 3
ROM_2P AUTO 1 3
ROM_2P BRAM 1 3
ROM_2P LUTRAM 1 3
ROM_NP BRAM 1 3
ROM_NP LUTRAM 1 3
重要: 前の表に記載されていないメモリ タイプとインプリメンテーションの組み合わせは、set_directive_bind_storage ではサポートされません。

プラグマは、coeffs 変数がライブラリからの BRAM コアにインプリメントされたシングル ポート RAM を使用するように指定しています。

#pragma HLS bind_storage variable=coeffs type=RAM_1P impl=bram
ヒント: coeffs の値にアクセスするために RTL に作成されるポートは、RAM_1P で定義されます。