集成電路驗證

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

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