Functional Design Verification 最全面的验证书,包括SV,UVM,受约束的随机,断言,功能覆盖率,CDC验证,低功功耗验证,形式验证,ESL验证,软硬件联合验证,数模混合验证,SOC互连验证等
AnASICLowPowerPrimerAnalysisTechniquesandSpecification Low Power的业界专著,主要介绍了power model,power分析,基本的Low power手段,后端的低功耗实现方式以及UPF/CPF的语法。