LVS

LVS全稱為Layout Versus Schematics，是Dracula的驗證工具，用來驗證版圖和邏輯圖是否匹配。LVS在晶體管級比較版圖和邏輯圖的連接性，而且輸出所有不一致的地方。Dracula從圖形系統中產生版圖數據。Dracula把GDS2格式的Layout文件轉換為Layout網表，LOGLVS，Dracula網絡編輯器，將Schematic或CDL描述的門級和晶體管級的網錶轉化為LVS網表。LVS能夠把每一個網絡轉化為一個電路模型。從一個電路的輸入和輸出開始，LVS跟蹤兩種電路模型。Dracula利用啓發式每一次搜索電路的一步。首先，LVS跟蹤、I/O模型，然後搜索要求最少回溯的路徑。當LVS在跟蹤的過程中檢測到匹配的話，Dracula就給這個匹配的器件和節點一個匹配的標識。當LVS檢測到一個不匹配，它就停止在那個搜索的路徑。如果LVS指定了所有的器件和給出了一個匹配的標識的話或者在搜索路徑上沒有一致的地方的話，LVS會考慮到這兩個模型的連續性。當Dracula檢測到不一致的地方，它會以輸出列表和圖表形式表示出來。除了比較兩個網絡，LVS也比較器件的襯底類型（在COMS電路中NMOS和PMOS）和一些器件參數。

1）版圖與版圖

版圖與版圖（LVL）是LVS的一部分，它是用來比較器件級或門級兩個相似版圖的數據庫，從而報出在互連關係和器件參數方面不一致的地方。

2）邏輯與邏輯

邏輯與邏輯（SVS）是LVS的一部分，它是來比較兩個邏輯圖的。

3）版圖與邏輯

版圖與邏輯(LVS)是用來確認版圖和邏輯圖是否一直工作。LVS比較版圖和邏輯圖在晶體管級的連接是否正確，並以報告的形式列出差異之處。

LVS的錯誤類型大體分為兩類：不一致的點和失配器件。不一致點可分為節點不一致和器件不一致。節點不一致是指版圖和邏輯圖中各有一節點，這兩個節點所連器件的情況相似，但是又不完全相同。器件不一致是指版圖和邏輯圖各有一器件，這兩個器件相同，所連接的節點情況很相似，但又不完全相同。失配器件是指所有的器件在邏輯圖中有而在版圖中沒有，或在版圖中有而在邏輯圖中沒有。具體來講，LVS的錯誤類型有以下十五種：

1）匹配的節點上沒有器件；

2）匹配的器件上有不匹配的節點；

3）器件不匹配；

4）匹配的節點上有多餘的版圖器件；

5）匹配的節點上有多餘的線路圖器件；

6）匹配的節點上有非匹配的版圖和線路圖器件；

7）其他不匹配的版圖器件；

8）其他不匹配的線路圖器件；

9）器件的類型（N型和P型，多晶電阻或擴散電阻）不匹配；

10）器件得尺寸（W或L）不匹配；

11）MOS可逆性錯誤；

12）襯底連接不匹配；

13）器件的電源連接不匹配（多電源供電的情況）；

14）簡化多個MOS拼接為單個MOS時出錯（與LVSCHK中命令得K選項有關）；

15）過濾多餘的器件出錯（與LVSCHK中命令的F選項有關）。

LVS錯誤既指單個器件、單個節點，又指組合結構（子電路）。不匹配的子電路（子電路中有多個器件和節點）往往只是其中的一個和幾個節點或器件不匹配，並不是所有的都不匹配。與一個不匹配點關聯的一切器件和節點都作為錯誤的個數，LVS報告文件裏分別列出了每一個不匹配點。錯誤報告與人們通常的理解有出入，例如：兩根信號線調換了位置，按常理來説，只能算一個錯誤，但LVS報告有兩個錯誤。