ベンダーは、一部のコードを生の VHDL にコンパイルするツールを使用しています。彼らは私が生のコードを見ることを望んでおらず、代わりに出力ファイルを暗号化したいと考えています。現時点では、Vivado を使用して EDIF ネットリストに暗号化しています。
これは、デザインを実装する際には問題ありません。これをブラック ボックスとして、I/O のラッパーを使用し、ビットストリームを書き込みます。彼らは、ブラックボックスのデザインが機能することを保証してくれます。リソースの使用率が予想どおりに上がっているのは確かですが、その結果をシミュレートして検証したいと思います。
modelsim でシミュレートしようとすると、もちろん、これらのファイルを復号化する方法がわかりません。ネットリストを VHDL に書き込むと、次のエラーが発生します。
# ** Error: Formatter.vhd(58329): near "AES128-CBC": Unknown session key in protected region
これらのファイルを暗号化する際に、modelsim の暗号化キーを含めるように依頼しましたが、方法がわかりませんでした。
.tcl を使用した大まかなワークフローは次のとおりです。
synth_design -top Formatter
write_edif -force ./Formatteredf
私の質問は、Vivado で EDIF ファイルを生成するときに、modelsim 暗号化キーをどのように含めるのですか?