新思和ARM合作出版SystemVerilog验证手册 |
时间:2005/10/3 8:46:00 作者: 来源:ic72 浏览人数:1079 |
|
|
|
由新思公司和ARM公司合著的图书SystemVerilog验证方法手册描述了用于验证的SystemVerilog的应用,最近由Springer Science + Business Media Inc.出版,定价129美元。
该VMM对SystemVerilog验证就如复用方法手册(RMM)对IP复用的意义一样。RMM于1998年出版,已成为定义芯片设计内IP复用的完整方法。
据Springer称,VMM文档集数年的诀窍和行业最佳实践于一体,面向先进、高效验证环境的构造,采用行业标准SystemVerilog声明(assertion)、测试平台和功能覆盖。该书由新思公司的Janick Bergeron和Eduard Cerny、ARM公司的Alan Hunter和Andrew Nightingale所著,已被30多家半导体公司的验证工程师审核过。
新思公司RTL验证市场高级总监Steve Smith表示,VMM的创建是为用户带来曾经是专有的技术,为非常流行的设计语言增加了验证特性。
新思宣布提供面向VMM标准库实现的SystemVerilog源代码,据称能跟快速并容易地使用户采用书中介绍的验证技术和方法。新思VCS RTL验证方案客户可免费获得源代码。
|
|
|
|
|
|
|
|