基本介紹
內容簡介,圖書目錄,
內容簡介
《數字積體電路設計驗證:量化評估、激勵生成、形式化驗證》內容涉及數字集雅提兆說成電路設計驗證的三個主要方面：量化評估、激勵生成和形式化驗證。主要包括暫存器傳輸級(RTL)電路建模、基於可觀測性的覆蓋率評估方法、設計錯誤模型；基於故障模型的激勵生成、基於RTL行為模型的激勵生成、覆蓋率驅動的激勵生成；基於可滿足性的等價性檢驗、包含黑盒電路的形式化驗證，以及不可滿足問題。
全書圖文並茂，闡述了作者及其科研團隊自主創新的研究成果和結論，對致力於數字積體電路設計驗證方法研究的科研人員(尤其是在讀研究生)，具有較大的學術參考價值，也可用作積體電路專業的高等院校教師、研究生和高年級本科生欠少的教學參考書。
圖書目錄
FOREWORD
前言
第1章 緒論
第2章 暫存器傳輸級行為描述抽象方法
第3章 基於可觀測性的覆蓋率評估方法
第4章 缺項-設計錯誤模型
第5章 基於錯誤傳播機率的量化分析鞏晚頁方法
第6章 模擬驗證的激勵生成概述
第7章 基於傳輸故障模型的暫存器傳輸級激勵生成
第8章 基於行為階段聚類的暫存器傳輸級激勵生成
第9章 覆蓋率驅動的漏去員暫存器傳輸級激勵生成
第10章 布爾函式與基於電路的布爾推理
第紋符捆設11章漏碑全 基於可滿足性的增量等價性檢驗方法
第12章 驗證包含黑盒的電路設計的形式化方良背道法
第13章 極小布爾不可滿足問題
第14章 模型檢驗在電路設計驗證中的套用研究
第15章 總結與展望
索引
