如何使用隔離設(shè)計(jì)流程與Spartan-6系列開(kāi)發(fā)安全的FPGA設(shè)計(jì)

　　本應(yīng)用說(shuō)明是為希望使用Xilinx?隔離設(shè)計(jì)流程（IDF）實(shí)現(xiàn)安全性或關(guān)鍵性設(shè)計(jì)的FPGA設(shè)計(jì)人員編寫(xiě)的，例如信息保證（單芯片加密〔SCC〕、航空電子、汽車(chē)和工業(yè)應(yīng)用。本文檔說(shuō)明了如何：

　　?在單個(gè)spartan?-6或spartan-6q（國(guó)防級(jí)）fP中使用IDF實(shí)現(xiàn)隔離功能，例如紅/黑邏輯、冗余的I型加密模塊或邏輯處理多個(gè)安全級(jí)別。

　　?使用Xilinx隔離驗(yàn)證工具（IVT）驗(yàn)證隔離。

　　根據(jù)此應(yīng)用說(shuō)明，設(shè)計(jì)人員可以使用IDFTHAT開(kāi)發(fā)一個(gè)故障安全的單芯片解決方案，以滿足高級(jí)別、高保證應(yīng)用的故障安全和物理安全要求。為了增加設(shè)計(jì)的安全性，可以購(gòu)買(mǎi)由Xilinx開(kāi)發(fā)的安全監(jiān)視器IP。要嵌入此IP，必須按照SPARDAN-6 FPGA安全監(jiān)視器2.0集成和驗(yàn)證中的說(shuō)明修改本文檔中的步驟。更多信息，請(qǐng)聯(lián)系您當(dāng)?shù)氐腦ilinx代表。

　　如果目標(biāo)應(yīng)用程序是1類(lèi)加密應(yīng)用程序（即SCC應(yīng)用程序），則必須選擇防御級(jí)（XQ）設(shè)備。

　　可編程邏輯的靈活性為安全和安全關(guān)鍵行業(yè)提供了許多優(yōu)勢(shì)。然而，在這項(xiàng)工作之前，在信息保障等應(yīng)用中，由于隔離、可靠性和安全問(wèn)題，政府承包商和機(jī)構(gòu)無(wú)法實(shí)現(xiàn)可編程邏輯的全部能力。為了解決這些問(wèn)題，開(kāi)發(fā)了IDF以允許獨(dú)立功能在單芯片（SCC）上運(yùn)行。此類(lèi)SCC應(yīng)用程序的示例包括但不限于冗余的I型加密模塊、駐留的紅色和黑色數(shù)據(jù)以及在多個(gè)獨(dú)立安全級(jí)別上運(yùn)行的功能。這項(xiàng)工作的成功完成使Xilinx能夠?yàn)樾畔⒈Ｕ闲袠I(yè)提供新技術(shù)，并在航空電子、汽車(chē)和工業(yè)應(yīng)用中提供安全關(guān)鍵功能。

　　通過(guò)Xilinx分區(qū)技術(shù)和部分重新配置（PR）許可證，可以在單個(gè)FPGA中開(kāi)發(fā)一個(gè)包含多個(gè)隔離功能的安全的單芯片解決方案。雖然spartan-6 FPGA不支持PR，但許可證及其功能必須提供控制，以實(shí)現(xiàn)滿足認(rèn)證機(jī)構(gòu)要求所需的隔離。為了更好地理解IDF的細(xì)節(jié)，設(shè)計(jì)者應(yīng)該對(duì)標(biāo)準(zhǔn)分區(qū)設(shè)計(jì)流程有一個(gè)扎實(shí)的理解。IDF中使用了分區(qū)流中的許多術(shù)語(yǔ)和過(guò)程。不同的區(qū)域?qū)⑷〈謪^(qū)設(shè)計(jì)流程，并在此應(yīng)用程序說(shuō)明中標(biāo)識(shí)。