| 《System Verilog与功能验证》：学习一门新型验证语言的第一步是学会读懂代码，《System Verilog与功能验证》为每个编程实例提供了详尽的注释，并且可以在仿真平台上运行：第二步是能够将学到的语法应用到自己的项目中，编写自己的程序；第三步是学会调试代码，这是最艰苦和最具挑战性的工作。《System Verilog与功能验证》依托IC设计的专业技术社区——EDA联盟网站，为广大读者提供了一个技术交流的平台；读者可以在论坛中讨论自己学习过程中遇到的问题，分享学习体会：也可与《System Verilog与功能验证》作者直接交流。所有例程可以从论坛中下载。希望《System Verilog与功能验证》能够成为对System Verilog与功能验证技术感兴趣的读者有益的入门指南！国内首本基于System Verilog验证语言的经典之作资深IC设计工程师及专业社区联袂力荐面向对象的设计语言——System Verilog引入到IC设计验证领域，将极大提高验证的效率，成为未来的主流。System Verilog技术优势与《System Verilog与功能验证》特色IEEE P1 800-2005是下一代硬件设计和验证语言，已被业界广泛采用，成为业界最流行的硬件验证语言。《System Verilog与功能验证》内容全面，通俗易懂，深入浅出，实例丰富，结合了业界的实践经验，是一本实用的技术参考手册。与读者分享以下内容《System Verilog与功能验证》重点介绍了IEEE标准P1 800-2005硬件设计描述和验证语言SysterrlVerilog的基本语法及其在功能验证上的应用。书中以功能验证为主线，讲述基本的验证流程、高级验证技术和验证方法学，结合石头、剪刀、布的应用实例，重点阐述了如何采用SysternVerilog实现随机激励生成、功能覆盖率驱动验证、断言验证等多种高级验证技术；最后，通过业界流行的开放式验证方法学OVM介绍了如何在验证平台中实现可重用性。 |
| 钟文枫，广东海丰人，曾就职于华为通信技术公司，目前在某EDA公司任亚太区客户支持部门验证产品技术主管。入行以来，参与过TD-SCDMA基带芯片、千兆无源光网芯片、高性能CPLJ、网络芯片的硬件辅助验证等多个研发项目，在IC设计及验证领域积累了丰富的实践经验；帮助多家公司优化设计流程，采用高级验证技术，缩短项目研发周期：发表有《OVM实现了可重用的验证平台》、《AMBA片上总线在SOC芯片设计中的应用》等多篇学术论文，也是《TheVerification COOkbook》一书的中文版译者之一；多年来致力于行业技术和产品的应用和推广，对IC设计与验证有着深刻的体会和思考。 |
| 前言 第1章 功能验证技术与方法学概要 1.1 功能验证与验证平台 1.1.1 专用芯片设计流程 1.1.2 什么是验证 1.1.3 验证平台可以做些什么 1.1.4 功能验证流程 1.2 验证技术和验证方法学 1.2.1 黑盒、白盒与灰盒验证 1.2.2 验证技术 1.2.3 验证存在的挑战 1.2.4 证方法学 1.2.5 断言验证 1.2.6 覆盖率驱动验证 1.3 硬件验证语言 |
内容加载中，请稍后...
商品评论（0条）