Stock image for illustration purposes only - book cover, edition or condition may vary.
Principles of Verifiable RTL Design
Bening, Lionel; Foster, Harry D.
€ 119.42
FREE Delivery in Ireland
Description for Principles of Verifiable RTL Design
Paperback. Num Pages: 253 pages, 19 black & white illustrations. BIC Classification: THR; TJFC; UGC; UK. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 421.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag New York Inc. United States
Number of pages
253
Condition
New
Number of Pages
253
Place of Publication
New York, NY, United States
ISBN
9781475773132
SKU
V9781475773132
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Principles of Verifiable RTL Design