Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog (Paperback)
  • Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog (Paperback)
zoom

Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog (Paperback)

(author), (author)
£139.99
Paperback 282 Pages / Published: 23/03/2013
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
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 diagrams, timing charts, sequence charts, and other graphic and symbolic notations were found to be useful in summarizing the gross features of a system and describing how it operated. In addition, it always seemed necessary or appropriate to augment these documents with lengthy verbal descriptions in a natural language. While each notation was, and still is, a perfectly valid means of expressing a design, lack of standardization, conciseness, and f- mal definitions interfered with communication and the understa- ing between groups of people using different notations. This problem was recognized early and formal languages began to evolve in the 1950s when I. S. Reed discovered that flip-flop input equations were equivalent to a register transfer equation, and that xvi tor-like notation. Expanding these concepts Reed developed a no- tion that became known as a Register Transfer Language (RTL).

Publisher: Springer-Verlag New York Inc.
ISBN: 9781475774184
Number of pages: 282
Weight: 474 g
Dimensions: 235 x 155 x 17 mm
Edition: 2nd ed. 2001. Softcover reprint of the origin

You may also be interested in...

Electronics For Dummies
Added to basket
The Oxford Solid State Basics
Added to basket
The Lego Mindstorms Ev3 Discovery Book
Added to basket
Physics Of Solar Cells, The
Added to basket
The Lego Mindstorms Ev3 Idea Book
Added to basket
Electronics All-in-One For Dummies - UK
Added to basket
Exploring Arduino
Added to basket
£27.99
Paperback
Robotics: A Very Short Introduction
Added to basket
Arduino For Dummies
Added to basket
£16.99
Paperback
Getting Started with Drones
Added to basket
Getting Started with Arduino
Added to basket
Make: Analog Synthesizers
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.