《高级验证方法学》高清文字版[PDF]

类别:: 图书 - 计算机与网络
状态:: 普通资源
发布:: 2013-11-06 22:49:00
更新:: 2013-11-06 23:49:00

电驴资源

用户共享的电驴资源列表
[高级验证方法学].(美)格拉瑟.高清文字版.pdf	54.52 MB
全选	54.52 MB

电驴资源简介

资源介绍

语言: 简体中文

地区: 大陆

图书fenlei: 软件

中文名: 高级验证方法学

发行时间: 2007年8月1日

资源格式: PDF

版本: 高清文字版

简介: 本书是高清文字版.非扫描.拒绝模糊.享受清晰！
无法下载的用户请到评论区一楼查看网盘地址！

内容介绍：
本书包括验证原理、AVM综述、TLM介绍、SystemVerilog中的AVM机制、验证平台基础、完整的验证平台、随机验证等内容。
内容截图：

目录: 绪论9
第1章验证原理11
第2章 AVM综述28
第3章面向对象程序设计的基本原理39
第4章 TLM介绍60
第5章 SystemVerilog中的AVM机制86
第6章验证平台基础109
第7章完整的验证平台127
第8章逐步优化143
第9章验证平台中的模块156
第10章随机验证177
第11章 AVM与System Verilog和SystemC199
附录A 符号说明209
附录B 命名约定214
附录C AVM百科全书219
附录D Apache许可证294
参考书目301