集成電路驗證

　　本書從集成電路驗證領域存在的問題出發(fā)，詳細介紹數字電路和模擬電路驗證方法，主要包括設計驗證語言基礎、模擬仿真驗證、覆蓋率檢驗方法、電路的形式驗證、物理驗證、SPICE仿真、低功耗設計和驗證方法、低功耗驗證技術實例、硅后驗證等方面。全書緊密圍繞工業(yè)界集成電路驗證流程進行闡述，盡可能覆蓋集成電路驗證領域的現有技術內容，同時對低功耗驗證、硅后驗證等驗證領域新的趨勢和研究課題進行分析。

暫缺《集成電路驗證》作者簡介