Principles of Verifiable RTL Design
Bening, Lionel; Foster, Harry D.
€ 194.26
FREE Delivery in Ireland
Description for Principles of Verifiable RTL Design
Paperback. Num Pages: 306 pages, biography. BIC Classification: THR; TJFC; UGC; UK. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 474.
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
Paperback
Publication date
2013
Publisher
Springer-Verlag New York Inc. United States
Number of pages
306
Condition
New
Number of Pages
282
Place of Publication
New York, NY, United States
ISBN
9781475774184
SKU
V9781475774184
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Principles of Verifiable RTL Design