本章提供了關(guān)于使用Synopsys工具進行低功耗設(shè)計和分析的信息。它包含以下部分：

? 使用VCS NLP和VC LP進行多電壓驗證

? 使用Design Compiler進行邏輯綜合

? 使用IC Compiler進行設(shè)計規(guī)劃

? 使用IC Compiler進行物理實現(xiàn)

? 使用IC Compiler II和Fusion Compiler進行物理實現(xiàn)

? 使用Formality進行形式驗證

? 使用PrimeTime進行靜態(tài)時序分析

? PrimePower功耗分析

? PrimeRail電源網(wǎng)絡(luò)分析

注：

本書中的信息適用于Synopsys產(chǎn)品的最新版本。由于服務(wù)包發(fā)布的最新變化，當(dāng)前產(chǎn)品特性可能與本書中描述的有所不同。請參閱各個產(chǎn)品發(fā)布說明以獲取最新信息。