fpga - vivado Tcl で promgen を実行できませんでした

Question

バイナリ file.bin を生成したいのですが、Vivado 2014.3 IDE で可能だと思いました。

コマンドpromgenが存在しないようですか？

後で parallella ボードで使用する適切なバイナリを取得するにはどうすればよいですか。ヘッダー ファイルが必要です。