——只容许在 FLASH LOCk 密钥正确时写入、擦除及校验；
——只容许在 FlashLock 密钥正确时写入、擦除（校验可以在没有 Fl ashLock 密钥下进行）；
——只容许在器件内有正确的AES密钥时进行写入、擦除及校验（配置器件在重编程和校验FPGA阵列时接受一个被加密的编程文件）；
注意：a.要求在器件内有包含正确的AES密钥；b.FlashROM在这个模式下读取被禁止；c.加密过的FlashROM内容只允许进行校验。 ——接受没有FlashLock或AES密钥的纯文本STAPL 文件的写入、擦除、读取 (FLASH ROM) 及校验。其次，设定保密包头，如图5所示：
在申请编程文件时点击选择“Security Settings”选项，在弹出的对话框中选择期望的保密设定，并输入FlashLock密钥 (即软件里的Pass Key) 及AES密钥即完成了保密包头的设定。最后，编程生成加密编程文件，如图6所示。
为加密编程设定STAPL文件的具体步骤是：点击选择“Programming previously secured devICe(s)”选项，在弹出的对话框中点击“FPGA Array Only”或“FlashROM Only”选项，或者两者并选。最后，在弹出的“Security Settings ”对话框中的相应位置提供预编程时所用的同一个AES密钥。
完整的解决方案
为了配合ProASIC3与ProASIC3E，Actel提供了全面的硬件工具支持。新推出的低成本ISP编程器、启动工具套件（Libero Gold、FlashPro3、评估板及教程指南和文档）、可进行批量编程的SILicon Sculptor及其他调试工具，如First Silicon Solution的Logic Navigator逻辑分析器及Synplicity的Identify RTL调试器等。
而全面的软件工具支持包括：Libero 7.0（Gold 版可从网站免费下载）及业界提供的支持，如Synplicity的Synplify、Mentor Graphics的ModelSim、Magma的PALACE物理综合及WaveFormer Lite的Reactive Testbench等。
Actel公司第三代以Flash为基础的FPGA，除了高的安全性与保密性外，也是一个面向大批量生产的FPGA，它集成了ASIC与SRAM FPGA所有的优点，包括：单芯片上电即行、非挥发性、低功耗、高安全性、高保密性、固件错误免疫性、片上NVM、低单位成本、低总系统成本、无 NRE费用、可快速构建原型、快速的生产交货期及系统内可编程等诸多优点。
本文关键字：FLASH DSP/FPGA技术，单片机-工控设备 - DSP/FPGA技术
