[實用新型]電子設計自動化設備

無效

• 申請號: 200920174768.5
• 申請日: 2009-09-15
• 公開（公告）號: CN201820227U
• 公開（公告）日: 2011-05-04
• 發明（設計）人: M·比斯特;S·梅羅特拉
• 申請（專利權）人: 新思科技有限公司
• 主分類號: G06F17/50
• 分類號: G06F17/50
• 代理公司: 北京市金杜律師事務所 11256
• 代理人: 王茂華;李輝

技術領域

本申請總體上涉及電子設計自動化，并且更具體地，涉及用于合并覆蓋數據的EDA覆蓋日志的電子設計自動化設備。

背景技術

電子設計自動化EDA在半導體產業中應用于實際上所有器件設計項目。在進行了產品構思之后，EDA工具用來定義具體實現。在稱為“流片”的過程中，使用EDA工具定義的實現用來創建掩模數據，該掩模數據用于產生掩模以便在生產成品芯片時進行光刻。繼而創建掩模，并且將這些掩模與制造設備一起用來制造集成電路晶片。對晶片進行分割、封裝和組裝，從而提供集成電路芯片以便分發。

使用EDA工具的示例設計程序開始于使用架構定義工具的總體系統設計，這些工具描述將使用集成電路實現的產品的功能。接下來，應用邏輯設計工具，以便基于描述語言如Verilog或者VHDL等來創建高級描述；并且在迭代過程中應用功能驗證工具，以保證該高級描述實現設計目標。接下來，使用合成和測試設計工具將高級描述轉移成網表，針對目標技術優化網表，以及設計和實現允許按照網表來檢查成品芯片的測試。

典型設計流程可能接下來包括設計規劃階段，在該階段中，構造和分析芯片的總體平面圖，以保證可以在高層級實現網表的時序參數。接下來，可以嚴格地檢查網表是否遵循時序約束以及使用VHDL或者Verilog在高層級定義的功能描述。在確定網表并且將網表映射到用于最終設計的單元庫的迭代過程之后，使用物理實現工具進行布置和布線。執行布置的工具將電路元件定位于布局上，而進行布線的工具定義電路元件的互連。

在布置和布線之后，繼而通常使用抽象工具在晶體管層級分析所定義的部件并且驗證這些部件，以保證實現電路功能并且滿足時序約束。可以用迭代方式按照需要重新訪問布置和布線過程。接下來，對設計進行物理驗證過程，諸如設計規則檢查DRC、布局規則檢查LRC和布局比對示意LVS檢查，這些物理驗證過程分析可制造性、電子性能、光刻參數以及電路正確性。

在通過設計和驗證過程(例如上文描述的過程)的迭代達成可接受的設計之后，可以對得到的設計進行解析度增強技術，其提供對布局的幾何操控以提高可制造性。最后，準備掩模數據并對其流片，以用于生產最終產品。

實用新型內容

本實用新型的一個目的是提供一種用于合并覆蓋數據的EDA覆蓋日志的電子設計自動化設備。

根據本實用新型的一個方面，提供一種電子設計自動化設備，它包括：合并裝置，被配置用于合并硬件描述語言電路設計的第一仿真的第一覆蓋日志與所述硬件描述語言電路設計的第二仿真的第二覆蓋日志。所述第一仿真基于所述硬件描述語言電路設計的第一硬件驗證語言覆蓋模型。所述第二仿真基于所述硬件描述語言電路設計的第二硬件驗證語言覆蓋模型。所述第二硬件驗證語言覆蓋模型比所述第一硬件驗證語言覆蓋模型更新，并且與所述第一硬件驗證語言覆蓋模型不同。

在一個實施例中，所述硬件描述語言電路設計的硬件描述語言包括Verilog、System?Verilog和VHDL中的任何硬件描述語言。

在一個實施例中，所述第一和第二硬件驗證語言模型的硬件驗證語言包括System?Verilog、Native?Testbench、E和Vera中的任何硬件驗證語言。

在一個實施例中，所述合并裝置包括：保持裝置，被配置用于響應于所述第一覆蓋日志和所述第二覆蓋日志包括不同最大數目的自動創建的面元，保持所述第二覆蓋日志的覆蓋點的覆蓋數據，并且刪除裝置從所述第一覆蓋日志刪除覆蓋點的覆蓋數據。

在一個實施例中，所述合并裝置包括：刪除裝置，被配置用于響應于所述第一覆蓋日志包括面元名稱未存在于所述第二覆蓋日志中的面元，在所述合并之后刪除所述面元的覆蓋數據。

在一個實施例中，所述合并裝置包括：保持裝置，被配置用于響應于所述第一覆蓋日志包括面元名稱存在于所述第二覆蓋日志中的面元，在所述合并之后保持所述面元的覆蓋數據。

在一個實施例中，所述合并裝置包括：保持裝置，被配置用于響應于所述第一覆蓋日志具有第一表達式寬度的覆蓋點而所述第二覆蓋日志具有與所述第一表達式寬度不同的第二表達式寬度的所述覆蓋點，保持所述第二表達式寬度的所述覆蓋點的覆蓋數據，并且刪除裝置刪除所述第一表達式寬度的所述覆蓋點的覆蓋數據。

在一個實施例中，所述合并裝置包括：保持裝置，被配置用于響應于所述第一覆蓋日志具有按照第一面元定義的面元而所述第二覆蓋日志具有按照與所述第一面元定義不同的第二面元定義的所述面元，則在所述合并之后保持按照所述第二面元定義的所述面元的覆蓋數據，并且刪除裝置刪除所述第一面元定義的覆蓋數據。