C、C++、または SystemC から RTL インプリメンテーションまでの Vivado HLS デザインを検証する方法を説明しています。C から RTL までの効率的なプッシュボタン式検証フローを可能にするにあたって、優秀な C/C++/SystemC テストベンチの重要な特性を理解します。