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

無效

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

1.一種電子設計自動化設備，其特征在于包括：

合并裝置，被配置用于合并硬件描述語言電路設計的第一仿真的第一覆蓋日志與所述硬件描述語言電路設計的第二仿真的第二覆蓋日志，所述第一仿真基于所述硬件描述語言電路設計的第一硬件驗證語言覆蓋模型，所述第二仿真基于所述硬件描述語言電路設計的第二硬件驗證語言覆蓋模型，所述第二硬件驗證語言覆蓋模型比所述第一硬件驗證語言覆蓋模型更新，并且與所述第一硬件驗證語言覆蓋模型不同。

2.根據權利要求1所述的電子設計自動化設備，其特征在于所述硬件描述語言電路設計的硬件描述語言包括Verilog、SystemVerilog和VHDL中的任何硬件描述語言。

3.根據權利要求1所述的電子設計自動化設備，其特征在于所述第一和第二硬件驗證語言模型的硬件驗證語言包括SystemVerilog、Native?Testbench、E和Vera中的任何硬件驗證語言。

4.根據權利要求1所述的電子設計自動化設備，其特征在于所述合并裝置包括：

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

5.根據權利要求1所述的電子設計自動化設備，其特征在于所述合并裝置包括：

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

6.根據權利要求1所述的電子設計自動化設備，其特征在于所述合并裝置包括：

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

7.根據權利要求1所述的電子設計自動化設備，其特征在于所述合并裝置包括：

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

8.根據權利要求1所述的電子設計自動化設備，其特征在于所述合并裝置包括：

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

9.根據權利要求1所述的電子設計自動化設備，其特征在于所述合并裝置包括：

刪除裝置，被配置用于響應于所述第一覆蓋日志包括命名至少兩個覆蓋點標識符的、交叉覆蓋點的交叉覆蓋點名稱，而所述第二覆蓋日志包括命名所述至少兩個覆蓋點標識符的、交叉覆蓋點的交叉覆蓋點名稱，則響應于從所述第一覆蓋日志刪除至少一個已標識覆蓋點的覆蓋數據，刪除所述第一覆蓋日志的所述交叉覆蓋點的覆蓋數據。

10.根據權利要求1所述的電子設計自動化設備，其中所述合并裝置包括：

保持裝置，被配置用于響應于所述第一覆蓋日志包括第一交叉覆蓋點的用戶定義的第一交叉面元，而所述第二覆蓋日志包括第二交叉覆蓋點的用戶定義的第二交叉面元，所述第一交叉覆蓋點和所述第二交叉覆蓋點具有相同名稱，則盡管所述用戶定義的第一交叉面元和所述用戶定義的第二交叉面元具有不同的定義，仍然保持所述用戶定義的第一交叉面元的覆蓋數據和所述用戶定義的第二交叉面元的覆蓋數據。

11.根據權利要求1所述的電子設計自動化設備，其中所述合并裝置包括：

保持裝置，被配置用于響應于所述第一覆蓋日志包括第一交叉覆蓋點的第一自動交叉面元，而所述第二覆蓋日志包括含有所述第一交叉覆蓋點的所述自動交叉面元的、用戶定義的第二交叉面元，保持所述第二覆蓋日志的所述用戶定義的第二交叉面元中的所述第一自動交叉面元的覆蓋數據。