本發(fā)明屬于集成電路物理設(shè)計(jì)技術(shù)領(lǐng)域，是基于電路模塊設(shè)計(jì)中的結(jié)構(gòu)不變性，對電路約束嵌入、約束傳播和約束驗(yàn)證的一種方法

背景技術(shù)：

近幾年，由于半導(dǎo)體工藝水平的不斷進(jìn)步，超大規(guī)模集成電路(VLSI)設(shè)計(jì)遵循摩爾定律飛速發(fā)展，集成到單一芯片上的組件日益增多，使得設(shè)計(jì)變得更為復(fù)雜。人們對高性能芯片的需求和科技的日益進(jìn)步推動(dòng)集成電路設(shè)計(jì)技術(shù)的不斷改進(jìn)。

物理設(shè)計(jì)在超大規(guī)模集成電路中起著至關(guān)重要的作用，目前的VLSI設(shè)計(jì)中廣泛采用層次化的分級設(shè)計(jì)方法，布圖規(guī)劃是在VLSI電路物理設(shè)計(jì)中的重要的一環(huán)。隨著VLSI模塊個(gè)數(shù)的增多，設(shè)置約束的方案也就變得更為復(fù)雜。

在VLSI布圖規(guī)劃階段中，因?yàn)橐恍┨囟ǖ囊蛩兀枰獙⒉糠帜K放置在一定的位置，例如模塊之間互連關(guān)系緊密、優(yōu)化關(guān)鍵路徑等，因此設(shè)置的約束稱為位置約束。位置約束通常用來確定平面規(guī)劃中某個(gè)單元的位置或單元之間的相對關(guān)系。隨著VLSI設(shè)計(jì)的抽象層次的深入，這些位置約束會影響VLSI布局、布線階段的結(jié)果，甚至對芯片的最終性能有決定性的影響。

技術(shù)實(shí)現(xiàn)要素：

本發(fā)明的目的是實(shí)現(xiàn)電路模塊基于結(jié)構(gòu)不變性的約束傳播。

本發(fā)明專利為解決技術(shù)問題所采用的技術(shù)方案是：

1、一種約束傳播方法，其特征在于：對電路系統(tǒng)進(jìn)行約束嵌入和約束驗(yàn)證，完成約束在設(shè)計(jì)過程中的自頂向下的傳播。包括順序執(zhí)行以下步驟：

(A)生成用戶數(shù)字簽名信息；

(B)用戶的數(shù)字簽名經(jīng)過加密后得到數(shù)字指紋，然后把數(shù)字指紋轉(zhuǎn)化成電路約束；

(C)拆分電路約束，把電路約束按照一定的比特?cái)?shù)進(jìn)行拆分，分成若干個(gè)子電路約束；

(D)子電路約束與電路模塊的映射，在平面規(guī)劃設(shè)計(jì)階段，順序選擇電路模塊，對單元物理位置進(jìn)行限定，完成約束嵌入，記錄約束嵌入的電路模塊序號；

(E)約束傳播，將嵌入約束的電路，進(jìn)行布局布線，最后得到版圖；

(F)根據(jù)(D)記錄的電路模塊，從版圖中查找對應(yīng)的電路模塊，根據(jù)物理位置限定規(guī)則提取電路約束；

(G)將提取后的電路約束與布圖規(guī)劃中嵌入系統(tǒng)的電路約束進(jìn)行比對，從而證明基于結(jié)構(gòu)不變性的約束傳播。

上述約束傳播方法，在電路布圖規(guī)劃階段，將映射的電路模塊的網(wǎng)表進(jìn)行參數(shù)的修改，完成電路模塊物理位置的限定，使生成的約束嵌入到每個(gè)電路模塊中。

上述約束傳播方法，在電路模塊處理之前，根據(jù)網(wǎng)表數(shù)據(jù)文件中的電路模塊的數(shù)目判斷生成的電路約束的比特?cái)?shù)，二進(jìn)制數(shù)可以表示所有的電路模塊。

上述約束傳播方法，其特征在于：輸出帶有該電路約束信息的網(wǎng)表數(shù)據(jù)文件之后，按順序記錄選擇的網(wǎng)表序號，方便后續(xù)的電路約束提取與比對。

采用上述技術(shù)方案后，該指紋方法提出了基于電路物理設(shè)計(jì)模塊的結(jié)構(gòu)不變性的傳播方法，在網(wǎng)表層嵌入約束，在布圖規(guī)劃階段對電路網(wǎng)表文件進(jìn)行操作，通過修改網(wǎng)表參數(shù)對電路模塊進(jìn)行位置限定，嵌入約束。與接近的背景技術(shù)相比較，本發(fā)明所述的約束傳播方法具有以下優(yōu)點(diǎn)：(一)具有透明性。此方法可對任意電路的網(wǎng)表數(shù)據(jù)文件進(jìn)行嵌入約束操作?？梢詫Σ煌O(shè)計(jì)方法、不同工藝下所有種類電路進(jìn)行嵌入約束，具有普遍性與透明性。(二)本發(fā)明可利用多種加密算法生成數(shù)字約束，提高了電路設(shè)計(jì)系統(tǒng)的安全性。(三)本發(fā)明可利用網(wǎng)表電路模塊序號進(jìn)行約束的驗(yàn)證，降低了運(yùn)行時(shí)間。(四)本發(fā)明利用提取的約束與原始生成的約束進(jìn)行對比，證明了基于結(jié)構(gòu)不變性的約束傳播。

附圖說明

圖1是本發(fā)明中約束對比的流程圖。

圖2是本發(fā)明中約束嵌入方法的流程圖。

圖3是本發(fā)明中約束驗(yàn)證方法的流程圖。

圖4是本發(fā)明中電路物理設(shè)計(jì)流程圖。

具體實(shí)施方式

如圖1所示，本發(fā)明所述的一種約束傳播方法，其特征在于：對電路系統(tǒng)進(jìn)行約束嵌入，包括順序執(zhí)行以下步驟：

1、一種約束傳播方法，其特征在于：對電路系統(tǒng)進(jìn)行約束嵌入和約束驗(yàn)證，完成約束在設(shè)計(jì)過程中的自頂向下的傳播。包括順序執(zhí)行以下步驟：

(A)生成用戶數(shù)字簽名信息；

(B)用戶的數(shù)字簽名經(jīng)過加密后得到數(shù)字指紋，然后把數(shù)字指紋轉(zhuǎn)化成電路約束；

(C)拆分電路約束，把電路約束按照一定的比特?cái)?shù)進(jìn)行拆分，分成若干個(gè)子電路約束；

(D)子電路約束與電路模塊的映射，在平面規(guī)劃設(shè)計(jì)階段，順序選擇電路模塊，對單元物理位置進(jìn)行限定，完成約束嵌入，記錄約束嵌入的電路模塊序號；

(E)約束傳播，將嵌入約束的電路，進(jìn)行布局布線，最后得到版圖；

(F)根據(jù)(D)記錄的電路模塊，從版圖中查找對應(yīng)的電路模塊，根據(jù)物理位置限定規(guī)則提取電路約束；

(G)將提取后的電路約束與布圖規(guī)劃中嵌入系統(tǒng)的電路約束進(jìn)行比對，從而證明基于結(jié)構(gòu)不變性的約束傳播。

其中，在電路布圖規(guī)劃階段，將映射的電路模塊的網(wǎng)表進(jìn)行參數(shù)的修改，完成電路模塊物理位置的限定，使生成的約束嵌入到每個(gè)電路模塊中，在電路模塊處理之前，根據(jù)網(wǎng)表數(shù)據(jù)文件中的電路模塊的數(shù)目判斷生成的電路約束的比特?cái)?shù)，二進(jìn)制數(shù)可以表示所有的電路模塊。另外，輸出帶有該電路約束信息的網(wǎng)表數(shù)據(jù)文件之后，按順序記錄選擇的網(wǎng)表序號，方便后續(xù)的電路約束提取與比對。

實(shí)施例1：

本發(fā)明提供電路設(shè)計(jì)中約束傳播的不變性，在布圖規(guī)劃階段，通過如上所述步驟嵌入約束生成帶有約束的網(wǎng)表文件。在經(jīng)過布局布線后，生成版圖。按順序提取版圖中的特定模塊的信息，提取約束與布圖規(guī)劃階段生成的約束比對，證明約束在電路設(shè)計(jì)中的不變性。

本發(fā)明在電路布圖規(guī)劃階段，對電路網(wǎng)表文件進(jìn)行操作，通過二進(jìn)制數(shù)映射到電路模塊，進(jìn)行物理位置限定，從而嵌入約束。

下面根據(jù)附圖對本發(fā)明的具體實(shí)施方式具體說明。

圖1是本發(fā)明中約束對比的流程圖。圖2是本發(fā)明中約束嵌入方法的流程圖。

如圖1、圖2所示，約束的嵌入流程如下：

(1)首先將數(shù)字簽名進(jìn)行加密算法生成數(shù)字指紋，將數(shù)字指紋轉(zhuǎn)換成電路約束，將電路約束按照一定的規(guī)則進(jìn)行劃分，分成若干個(gè)二進(jìn)制數(shù)，將劃分后的二進(jìn)制數(shù)映射到初始化網(wǎng)表單元中，判斷劃分的二進(jìn)制數(shù)是否能夠完全嵌入，如果完全嵌入，則進(jìn)行位置限定，如果未完全嵌入，則重新實(shí)現(xiàn)二進(jìn)制數(shù)到網(wǎng)表單元的映射，直到約束完全嵌入為止。

(2)為便于以后進(jìn)行電路約束的比對，在加密完成后，記錄生成電路約束，在進(jìn)行嵌入時(shí)，按順序記錄映射的電路模塊編號，方便以后將提取的數(shù)字約束與生成的進(jìn)行比對。

約束的比對，就是把生成的電路約束與經(jīng)過布局布線后提取的數(shù)字約束進(jìn)行比對，驗(yàn)證約束在電路物理設(shè)計(jì)中的不變性。

圖3是本發(fā)明中約束驗(yàn)證方法的流程圖。

如圖3所示，約束驗(yàn)證流程如下：

首先從版圖中提取電路模塊的有關(guān)數(shù)據(jù)，然后根據(jù)記錄的電路模塊編號逐一提取數(shù)字約束，實(shí)現(xiàn)電路模塊到數(shù)字約束的映射，并判斷約束是否完全提取，如果完全提取，則結(jié)束約束提取過程，反之則重新進(jìn)行電路到數(shù)字約束的映射。

如圖4所示，電路物理設(shè)計(jì)流程如下：

首先對電路進(jìn)行布圖規(guī)劃，判斷布圖規(guī)劃后的電路模塊是否滿足嵌入的約束，如果滿足則繼續(xù)對電路進(jìn)行布局布線，反之則重新進(jìn)行布圖規(guī)劃。電路布局布線后對其判斷是否布線完全，完全布線則結(jié)束電路布局布線過程，反之則重新進(jìn)行布圖規(guī)劃，最后生成版圖。