| |
| |
home
>
fpga
>
verification
> books a-f
 more
1
2
| |
SEO Training
Even in hi-tech, getting your company to the top of Google is important.
Also using Social Media Marketing! Learn how!
| |
-
book
-
Hardware Verification with C++: A Practitioners Handbook (Hardcover)
Written by two verification engineers, Hardware Verification with C++: A Practitioner’s Handbook is a four-part tour of how to perform object-oriented techniques.
This handbook goes beyond hype and theoretical discussions to show fully implemented examples, all provided as open-source code on the companion CD. Part I makes the case for C++, and shows a standard verification system using object-oriented programming (OOP). Part II presents two...
preview:
http://www.amazon.com
date: 8/10/2006
|
-
book
-
Hardware Verification With SystemVerilog: An Object-oriented Framework
Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning to. However, no language by itself can guarantee success without proper techniques.
Object-oriented programming (OOP), with its focus on managing complexity, is ideally suited to this task.
With this handbook the first to focus on applying OOP to SystemVerilog we’ll show how to manage complexity by using layers of...
preview:
http://www.amazon.com
date: 5/17/2007
|
| |
-
book
-
Standardized Functional Verification
Standardized Functional Verification describes the science of functional verification that applies to any digital hardware system.
With a precise and comprehensive terminology this book describes a thorough technical framework for achieving superior results with greater efficiency.
It also defines a scientific basis for achieving functional closure and shows how true functional closure can be measured by software.
The author provides a...
preview:
http://www.amazon.com
date: 9/1/2007
|
-
book
-
SystemVerilog for Verification: A Guide to Learning the Testbench Language Features
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....
preview:
http://www.amazon.com
date: 5/29/2007
|
-
book
-
The Art of Verification with SystemVerilog Assertions (Paperback)
Highlights include: Teaches the SVA lanaguage using simple easy-to-understand language.
Teaches SVA semantics by examples.
Detailed discussion of SVA and assertion-based verification Identifying design areas that need assertions Applying SVA assertions to both simulation- and formal Practical issues with SVA ¿ Describing design behavior in SVA ¿ Verifying protocol conformity ¿ Verifying data integrity ¿ Developing an effective functional...
preview:
http://www.amazon.com
date: 1/1/2007
|
more
1
2
 |
|
|
Express Logic develops, markets and supports the ThreadX® real-time operating system (RTOS), NetX™ TCP/IP networking stack, USBX™ USB stack, and FileX® embedded file system, and PrismX™ GUI toolkit for embedded applications.
ThreadX is a royalty-free, full source code, small-footprint, low-overhead RTOS that is extremely easy to learn and use. ThreadX is one of the most widely deployed RTOS products in the world, with over 800 million products based on ThreadX.
 |
|
|
|
|
| |
