.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Principles of Verifiable RTL Design
Bening, Lionel; Foster, Harry
€ 200.21
FREE Delivery in Ireland
Description for Principles of Verifiable RTL Design
Hardback. Discusses topics such as: start-up verification; the place for 4-state simulation; race conditions; RTL-style-synthesizable RTL; and more 'bad stuff'. This work tells you how you can write Verilog to describe chip designs at the RTL level in a manner that cooperates with verification processes. Num Pages: 306 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 242 x 159 x 24. Weight in Grams: 592.
System designers, computer scientists and engineers have c- tinuously invented and employed notations for modeling, speci- ing, simulating, documenting, communicating, teaching, verifying and controlling the designs of digital systems. Initially these s- tems were represented via electronic and fabrication details. F- lowing C. E. Shannon’s revelation of 1948, logic diagrams and Boolean equations were used to represent digital systems in a fa- ion that de-emphasized electronic and fabrication detail while revealing logical behavior. A small number of circuits were made available to remove the abstraction of these representations when it was desirable to do so. As system complexity grew, block ... Read more
System designers, computer scientists and engineers have c- tinuously invented and employed notations for modeling, speci- ing, simulating, documenting, communicating, teaching, verifying and controlling the designs of digital systems. Initially these s- tems were represented via electronic and fabrication details. F- lowing C. E. Shannon’s revelation of 1948, logic diagrams and Boolean equations were used to represent digital systems in a fa- ion that de-emphasized electronic and fabrication detail while revealing logical behavior. A small number of circuits were made available to remove the abstraction of these representations when it was desirable to do so. As system complexity grew, block ... Read more
Product Details
Format
Hardback
Publication date
2001
Publisher
Kluwer Academic Publishers United States
Number of pages
306
Condition
New
Number of Pages
282
Place of Publication
Dordrecht, Netherlands
ISBN
9780792373681
SKU
V9780792373681
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Principles of Verifiable RTL Design