基于System Verilog的验证平台建模技术
摘要:验证平台建模的困难在于如何减少设计与验证之间的时序竞争风险,实现验证平台的复用和验证过程中的自动监测。SystemVerilog突破了验证平台建模的传统局限,能够极大地提高芯片测试的效率,并降低设计风险。介绍了Sys-temVeril...
Book+System技术资料下载专区,收录2,504份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
摘要:验证平台建模的困难在于如何减少设计与验证之间的时序竞争风险,实现验证平台的复用和验证过程中的自动监测。SystemVerilog突破了验证平台建模的传统局限,能够极大地提高芯片测试的效率,并降低设计风险。介绍了Sys-temVeril...
并发程序设计.This is a book to full description the parellel computing.
This material is essentially Chapter 9 of the book Software Development in Pascal by Sartaj Sahni, NSPAN Printing and P...
MATLABThe CD-ROM accompanying this book contains MATLAB® M-files (MATLAB language source code) and Simulink® block...
IBM MQ  Introduction and overview This chapter describes the scope of this book and introduces WebSphere ...
C# Network Programming by Richard Blum ISBN:0782141765 Sybex ?2003 (647 pages) This book helps newcomers get started wit...
The book presents the entire Java programming language and essential parts of the class libraries: the collection classe...
This book discusses the growth of digital television technology and the revolution in image and video compression, highl...