Principles of Verifiable RTL Design - A Functional Coding Style Supporting Verification Processes

0 avg rating
( 0 ratings by Goodreads )
 
9780792377887: Principles of Verifiable RTL Design - A Functional Coding Style Supporting Verification Processes
View all copies of this ISBN edition:
 
 

Principles of Verifiable RTL Design: A Functional Coding Style Supporting Verification Processes in Verilog explains how you can write Verilog to describe chip designs at the RT-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.
The intended audience for Principles of Verifiable RTL Design: A Functional Coding Style Supporting Verification Processes in Verilog is engineers and students who need an introduction to various design verification processes and a supporting functional Verilog RTL coding style. A second intended audience is engineers who have been through introductory training in Verilog and now want to develop good RTL writing practices for verification. A third audience is Verilog language instructors who are using a general text on Verilog as the course textbook but want to enrich their lectures with an emphasis on verification. A fourth audience is engineers with substantial Verilog experience who want to improve their Verilog practice to work better with RTL Verilog verification tools. A fifth audience is design consultants searching for proven verification-centric methodologies. A sixth audience is EDA verification tool implementers who want some suggestions about a minimal Verilog verification subset.
Principles of Verifiable RTL Design: A Functional Coding Style Supporting Verification Processes in Verilog is based on the reality that comes from actual large-scale product design process and tool experience.

"synopsis" may belong to another edition of this title.

Buy New View Book
List Price: US$ 108.00
US$ 35.83

Convert Currency

Shipping: US$ 4.99
Within U.S.A.

Destination, Rates & Speeds

Add to Basket

Other Popular Editions of the Same Title

9780792373681: Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog

Featured Edition

ISBN 10:  0792373685 ISBN 13:  9780792373681
Publisher: Springer, 2001
Hardcover

Top Search Results from the AbeBooks Marketplace

1.

Lionel Bening, Harry D. Foster
Published by Springer (2000)
ISBN 10: 0792377885 ISBN 13: 9780792377887
New Hardcover Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 2000. Hardcover. Condition: New. 1. Seller Inventory # DADAX0792377885

More information about this seller | Contact this seller

Buy New
US$ 35.83
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds

2.

Bening, Lionel, Foster, Harry D.
Published by Springer (2000)
ISBN 10: 0792377885 ISBN 13: 9780792377887
New Hardcover Quantity Available: 2
Seller:
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

Book Description Springer, 2000. Hardcover. Condition: New. Never used!. Seller Inventory # P110792377885

More information about this seller | Contact this seller

Buy New
US$ 55.77
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

3.

Lionel Bening; Harry D. Foster
Published by Springer (2000)
ISBN 10: 0792377885 ISBN 13: 9780792377887
New Hardcover First Edition Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description Springer, 2000. Condition: New. book. Seller Inventory # M0792377885

More information about this seller | Contact this seller

Buy New
US$ 90.63
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds