图书信息

出版社:电子科技大学出版社; 第1版 (2007年8月1日)

平装: 294页

正文语种: 简体中文

ISBN: 9787811143706

条形码: 9787811143706

尺寸: 23.8 x 17.6 x 1.4 cm

重量: 522 g

作者简介

作者：(美国)格拉瑟(Glasser.M.) 译者：王欣

Mark Glasser是Mentor Graphics的验证技术专家，他开发并撰写了验证方法学。

在加入Mentor Graphics之前，Mark是CadenceSystemC团队的技术总监。

内容简介

《高级验证方法学》的目的就是给你一个信心。如果《高级验证方法学》的作者把工作做得相当好，那么当你阅读《高级验证方法学》并且按里面的例子进行练习，肯定会有惊喜的体验。这个比喻性的概念在你的思想形成之后，你就会掌握AVM中所有的结构并且知道如何应用。AVM是一个基于System Verilog和SystemC编程环境。它是为了开发复杂验证平台而设计的。就如学习C语言一样（或者System Verilog或者SystemC），它会需要一段时间去学习AVM，从而知道如何更有效地去应用所有的概念。

目录

绪论

第1章 验证原理

1.1 验证基础

1.2 第一个验证平台