重型鋪軌機檢查與試驗規(guī)則

備案信息

備案號：0081-1996 2100433B

檢查集成電路物理版圖是否滿足設(shè)計規(guī)則的過程。設(shè)計規(guī)則是為了給合格芯片的生產(chǎn)留出裕量而規(guī)定的一系列有關(guān)幾何圖形和連接性的限制。

第一條　為了規(guī)范財政檢查工作底稿的填制，根據(jù)《財政檢查工作規(guī)則》，制定本具體規(guī)則。

第二條　本具體規(guī)則所稱財政檢查工作底稿，是指財政檢查人員在檢查中所形成的與檢查事項有關(guān)的工作記錄。

第三條　財政檢查工作底稿由檢查人員根據(jù)檢查內(nèi)容，逐項逐事編制形成，做到一項一稿或一事一稿。

第四條　財政檢查工作底稿主要記錄以下內(nèi)容：

（一）檢查項目工作底稿的編號；

（二）檢查項目的名稱；

（三）被檢查單位違法違規(guī)事項發(fā)生的日期、憑證號、原會計分錄、金額和文件號等；

（四）被檢查單位違法違規(guī)事項主要內(nèi)容的摘錄；

（五）附件的主要內(nèi)容及張數(shù)；

（六）被檢查單位相關(guān)人員簽名；

（七）檢查組制單人簽名及填制日期；

（八）檢查組復(fù)核人簽名及復(fù)核日期；

（九）其他應(yīng)說明的事項。

第五條　財政檢查工作底稿的附件主要包括下列檢查證明材料：

（一）與被檢查事項有關(guān)的賬簿、報表、憑證等資料的復(fù)印件；

（二）與被檢查事項有關(guān)的文件、合同、協(xié)議、會議記錄、往來函件等資料的原件、復(fù)制件或摘錄件；

（三）注冊會計師簽名提供的有關(guān)審計報告等資料；

（四）其他有關(guān)資料。

第六條　填制財政檢查工作底稿應(yīng)當(dāng)做到內(nèi)容完整、重點突出，真實地摘錄反映被檢查單位財政、財務(wù)收支的有關(guān)事項。財政檢查工作底稿不得被擅自刪改或修改。

第七條　填制財政檢查工作底稿應(yīng)當(dāng)做到條理清楚，用詞準(zhǔn)確，字跡清楚，格式規(guī)范；檢查工作底稿中載明的事項、時間、地點、當(dāng)事人、數(shù)據(jù)、計量、計算方法等，必須準(zhǔn)確、前后一致；相關(guān)的證明資料要整齊完整，不相互矛盾。

第八條　相關(guān)的財政檢查工作底稿之間的數(shù)據(jù)有勾稽關(guān)系的，相互引用時應(yīng)當(dāng)注明底稿編號。

第九條　財政檢查工作底稿所附的相關(guān)證明材料應(yīng)當(dāng)經(jīng)被檢查單位或其他提供證明資料者的簽證認定。如果有特殊情況無法簽證認定的，檢查組要作出書面說明。

第十條　財政檢查工作底稿應(yīng)當(dāng)由檢查組組長或復(fù)核人員進行復(fù)核并簽名。

第十一條　必要時，檢查人員可根據(jù)復(fù)核情況對財政檢查工作底稿予以補充、修改，或作出書面說明。

第十二條　財政檢查工作底稿未經(jīng)財政檢查機關(guān)負責(zé)人批準(zhǔn)，不得對外提供。

第十三條　財政檢查工作底稿必須認真分類整理，納入財政檢查報告歸檔管理。

第十四條　本具體規(guī)則由財政部負責(zé)解釋。

第十五條　本具體規(guī)則自發(fā)布之日起施行。

電路規(guī)則檢查屬于集成電路設(shè)計物理驗證的一部分。其主要目的是驗證版圖與電路原理圖的電路結(jié)構(gòu)是否一致。 電路設(shè)計者完成電路設(shè)計和仿真后交由版圖設(shè)計者完成掩模工作。 確保所畫版圖與設(shè)計電路完全一致就是 LVS 工具要做的工作。LVS檢查的內(nèi)容可以槪括為兩點：①所有信號的電氣連接關(guān)系是否一致；②器件類型尺寸是否一致。LVS 文件一般由晶圓代工廠提供 。

LVS 不是一個簡單地將版圖與電路原理圖進行比較的過程，它需要分兩步完成。第—步“抽取”，第二步“比較”。 首先根據(jù) LVS 提取規(guī)則，EDA 工具從版圖中抽取出版圖所確定的網(wǎng)表文件; 然后將抽取出的網(wǎng)表文件與電路網(wǎng)表文件進行比較。需要說明的是:抽取的網(wǎng)表為晶體管級的 SPICE網(wǎng)表，而電路網(wǎng)表為門級的Verilog網(wǎng)表，該門級網(wǎng)表需要結(jié)合SPICE模型/CDL模型轉(zhuǎn)化為SPICE網(wǎng)表，才能與抽取的網(wǎng)表進行邏輯等效性比對。如果兩個網(wǎng)表的電路連接關(guān)系和器件完全一致則通過 LVS 檢査。反之，說明版圖存在與電路不一致的地方，需要進行檢査并加以處理或修改更正 。

圖1 版圖與原理一致性檢查

實現(xiàn)“抽取”的主要步驟是網(wǎng)表提取，它可以實現(xiàn)從版圖提取網(wǎng)表，包含連接關(guān)系提取和器件提取兩大模塊。連接關(guān)系提取模塊的主要功能是標(biāo)識線網(wǎng)和為線網(wǎng)命名。標(biāo)識線網(wǎng)是指把金屬、通孔、多晶等半導(dǎo)體劃分為不同的連通集合，從而生成不同的線網(wǎng)。器件提取模塊的主要功能是識別器件、計算器件屬性和輸出網(wǎng)表 。

實現(xiàn)“比較“的步驟是網(wǎng)表比較，它包括網(wǎng)表預(yù)處理、版圖和原理圖網(wǎng)表比較。網(wǎng)表預(yù)處理的主要工作是串并聯(lián)結(jié)構(gòu)約簡，虛擬器件過濾，門電路識別等。在版圖設(shè)計中，寬長較大的 MOS 管通常會采用版圖折疊的方法將其等效于多個晶體管的并聯(lián)，所以為避免在檢査器件數(shù)目和尺寸時發(fā)生錯誤，需要把版圖中折疊的、并聯(lián)或串聯(lián)的器件合并成一個再進行比較。而門電路結(jié)構(gòu)可以作為一個整體對待，以此減少需要處理的節(jié)點數(shù)量 。

完成網(wǎng)表預(yù)處理后，則可以開始進行網(wǎng)表比較。網(wǎng)表比較本質(zhì)上是圖同構(gòu)問題，圖同構(gòu)問題是一個NP完全問題。圖同構(gòu)比較的是拓撲結(jié)構(gòu)，不受節(jié)點的物理位置、距離、大小影響。若版圖網(wǎng)表和原理圖網(wǎng)表同構(gòu)，則版圖上的每一個節(jié)點都唯一對應(yīng)原理圖上的一個節(jié)點 。

圖2 版圖和原理圖比較示意圖2100433B