0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

Principles of Verifiable RTL Design - A functional coding style supporting verification processes in Verilog (Hardcover, 2nd ed. 2001) Loot Price: R4,528
Discovery Miles 45 280
Principles of Verifiable RTL Design - A functional coding style supporting verification processes in Verilog (Hardcover, 2nd...

Principles of Verifiable RTL Design - A functional coding style supporting verification processes in Verilog (Hardcover, 2nd ed. 2001)

Lionel Bening, Harry D. Foster

 (sign in to rate)
Loot Price R4,528 Discovery Miles 45 280 | Repayment Terms: R424 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

The first edition of Principles of Verifiable RTL Design offered a common sense method for simplifying and unifying assertion specification by creating a set of predefined specification modules that could be instantiated within the designer's RTL. Since the release of the first edition, an entire industry-wide initiative for assertion specification has emerged based on ideas presented in the first edition. This initiative, known as the Open Verification Library Initiative (www.verificationlib.org), provides an assertion interface standard that enables the design engineer to capture many interesting properties of the design and precludes the need to introduce new HDL constructs (i.e., extensions to Verilog are not required). Furthermore, this standard enables the design engineer to specify once, ' then target the same RTL assertion specification over multiple verification processes, such as traditional simulation, semi-formal and formal verification tools. The Open Verification Library Initiative is an empowering technology that will benefit design and verification engineers while providing unity to the EDA community (e.g., providers of testbench generation tools, traditional simulators, commercial assertion checking support tools, symbolic simulation, and semi-formal and formal verification tools). The second edition of Principles of Verifiable RTL Design expands the discussion of assertion specification by including a new chapter entitled Coverage, Events and Assertions'. All assertions exampled are aligned with the Open Verification Library Initiative proposed standard. Furthermore, the second edition provides expanded discussions on the following topics: start-up verification; theplace for 4-state simulation; race conditions; RTL-style-synthesizable RTL (unambiguous mapping to gates); more bad stuff'. The goal of the second edition is to keep the topic current. Principles of Verifiable RTL Design, A Functional Coding Style Supporting Verification Processes, Second Edition tells you how you can write Verilog to describe chip designs at the RTL level in a manner that cooperates with verification processes. This cooperation can return an order of magnitude improvement in performance and capacity from tools such as simulation and equivalence checkers. It reduces the labor costs of coverage and formal model checking by facilitating communication between the design engineer and the verification engineer. It also orients the RTL style to provide more useful results from the overall verification process.

General

Imprint: Springer
Country of origin: Netherlands
Release date: May 2001
First published: 2001
Authors: Lionel Bening • Harry D. Foster
Dimensions: 234 x 156 x 24mm (L x W x T)
Format: Hardcover
Pages: 282
Edition: 2nd ed. 2001
ISBN-13: 978-0-7923-7368-1
Categories: Books > Computing & IT > General theory of computing > Systems analysis & design
Books > Computing & IT > Computer programming > Programming languages > General
Promotions
LSN: 0-7923-7368-5
Barcode: 9780792373681

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Problem Solving with C++ - Global…
Walter Savitch Paperback R2,551 Discovery Miles 25 510
C++ How to Program: Horizon Edition
Harvey Deitel, Paul Deitel Paperback R1,917 Discovery Miles 19 170
Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R4,186 Discovery Miles 41 860
FORTRAN 90 for Scientists and Engineers
Brian Hahn Paperback R1,440 Discovery Miles 14 400
Java How to Program, Late Objects…
Paul Deitel, Harvey Deitel Paperback R900 R750 Discovery Miles 7 500
Advanced Visual Basic 6 - Power…
Matthew Curland, Gary Clarke Paperback R1,349 Discovery Miles 13 490
Advanced SQL with SAS
Christian F. G. Schendera Hardcover R2,609 Discovery Miles 26 090
A Day in Code- Python - Learn to Code in…
Shari Eskenas Hardcover R682 Discovery Miles 6 820
CSS and HTML for beginners - A Beginners…
Ethan Hall Hardcover R1,115 R950 Discovery Miles 9 500
Basic Python Commands - Learn the Basic…
Manuel Mcfeely Hardcover R847 R730 Discovery Miles 7 300
CSS For Beginners - The Best CSS Guide…
Ethan Hall Hardcover R971 R833 Discovery Miles 8 330
Get Started Programming with Python…
Manuel Mcfeely Hardcover R821 R710 Discovery Miles 7 100

See more

Partners