个人简介

　　Prakash Rashinkar在通信卫星、运载火箭、太空船地面系统、高性能计算机、网各交换、多媒体和无线应用等领域拥有超过15年的嵌入式系统设计和验证工作经验。他毕业于印度Warangal的Regional Engineering College，获电气工程理学硕士学位。他在Cadence Design Systems公司领导一个团队负责系统芯片验证方法的研究工作，是VSIA功能验证研发工作组成员。目前，他是Cadence公司纵向市场和设计环境工作组的核心设计师。 Peter Paterson在ASIC和计算机系统设计领域拥有超过20年的工作经验。他毕业于苏格兰Robert Gordon大学，获电气工程理学学士学位。他在Unisys公司时带领团队设计出了第一块主机芯片SCAMP和一款单芯片砷化镓处理器，这两种器件是当今系统芯片器件的早期雏形。在Cadence公司工作期间，他缔造的基于平台的系统芯片设计方法交付给Scottish Enterprise公司作为ALBA工程的一部分。他也是VSIA功能验证研发工作组成员。目前，他是Vixel公司的ASIC研发总监。 Leena Singh在多媒体、无线通信、过程控制等应用领域拥有超过9年的ASIC设计和验证的工作经验。Leena毕业于印度Chandigarh的Punjab大学，获电气工程理学学士学位。她是Cadence公司系统芯片验证方法研发成员。目前，她是Cadence公司纵向市场和设计环境工作组的主任设计工程师。

内容简介

　　本书从最高层次的系统级验证直至最终的物理实现和签付，详细介绍了各种设计抽象级别和各阶段所涉及到的各种验证方法及工具。主要内容包括各种不同类型的仿真、软件/硬件协同验证、数字/模拟混合验证、网表静态验证、物理验证、测试平台迁移、形式模型与等价性检查、代码静态检查与代码覆盖状况分析、定向随机测试等验证技术。
本书以蓝牙系统芯片为例，各章中有结合实际的代码和脚本可供读者参考，以帮助读者进一步深入理解。
本书内容全面、翔实，可作为从事系统芯片设计的工程人员、研究者和高等院校相关专业师生的参考材料，对于从事传统集成电路设计和验证的人员有较高的指导和借鉴价值。