- 博客(0)
- 资源 (3)
- 收藏
- 关注
SystemVerilog for Verification
SystemVerilog for Verification: A Guide to Learning the Testbench Language Features
SystemVerilog for Verification teaches the reader how to use the power of the new SystemVerilog testbench constructs plus methodology without requiring in-depth knowledge of Object Oriented Programming or Constrained Random Testing. The book covers the SystemVerilog verification constructs such as classes, program blocks, C interface, randomization, and functional coverage. SystemVerilog for Verification also reviews some design topics such as interfaces and array types. There are extensive code examples and detailed explanations. The book will be based on Synopsys courses, seminars, and tutorials that the author developed for SystemVerilog, Vera, RVM, and OOP. Concepts will be built up chapter-by-chapter, and detailed testbench using these topics will be presented in the final chapter. SystemVerilog forVerification concentrates on the best practices for verifying your design using the power of the language.
2010-03-20
Open Verification Methodology Cookbook
# Hardcover: 290 pages
# 1 edition (July 31, 2009)
# Language: English
Functional verification is an art as much as a science. It requires not only creativity and cunning, but also a clear methodology to approach the problem. The Open Verification Methodology (OVM) is a leading-edge methodology for verifying designs at multiple levels of abstraction. It brings together ideas from electrical, systems, and software engineering to provide a complete methodology for verifying large scale System-on-Chip (SoC) designs. OVM defines an approach for developing testbench architectures so they are modular, configurable, and reusable.
This book is designed to help both novice and experienced verification engineers master the OVM through extensive examples. It describes basic verification principles and explains the essentials of transaction-level modeling (TLM). It leads readers from a simple connection of a producer and a consumer through complete self-checking testbenches. It explains construction techniques for building configurable, reusable testbench components and how to use TLM to communicate between them. Elements such as agents and sequences are explained in detail.
2010-03-20
Grub4dos (GNU GRUB的新版本) 支持中文!
首先搞清楚Grub4dos 与 GNU GRUB 的关系。 GNU GRUB 分为 GNU GRUB Legacy 和 GNU GRUB2 两代 。GNU GRUB Legacy 其实就是原来的 GNU GRUB 0.xx ,最新版是 2005 年发布的 GNU GRUB 0.97 。目前已停止开发,并改名为 GNU GRUB Lagecy 。GNU GRUB2 是第二代 GRUB,它将取代原来的 GNU GRUB (例如0.9x版),但目前还处于开发阶段,尚未发布正式版。
而 GRUB4DOS 则是对 GNU GRUB Lagecy 的二次开发。在当前 新的 GRUB2 没有到位、老的 GNU GRUB Lagecy 又有诸多不完善 的情况下,GRUB4DOS 受到越来越多人的欢迎。
多种方式进入grub环境:
通过dos;
通过Windows启动菜单;
将GRUB4DOS引导代码写入硬盘MBR,开机直接进入grub环境。
现在我用的每块硬盘包括u盘都安装了GRUB4DOS,既可启动windows,又能启动linux,还可通过磁盘仿真来启动dos,放上自己喜欢的图片做背景,全中文界面,HOHO,感觉很不错,您不想试试吗?
中文支持
GRUB4DOS 发布有中文版,大大方便了中文用户。
2008-12-14
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人