Visit our Christmas Gift Finder
Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog (Hardback)
  • Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog (Hardback)
zoom

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

(author), (author)
£139.99
Hardback 282 Pages / Published: 31/05/2001
  • We can order this

Usually dispatched 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
ISBN: 9780792373681
Number of pages: 282
Weight: 1370 g
Dimensions: 234 x 156 x 19 mm
Edition: 2nd ed. 2001

You may also be interested in...

C Programming in Easy Steps
Added to basket
R Cookbook
Added to basket
£31.99
Paperback
Python For Dummies
Added to basket
£22.99
Paperback
C++ Primer
Added to basket
£44.49
Paperback
Effective C++
Added to basket
£40.49
Paperback
Living Clojure
Added to basket
£31.99
Paperback
C++ Templates
Added to basket
£59.49
Hardback
C++ All-in-One For Dummies
Added to basket
C Programming Language
Added to basket
C++ For Dummies
Added to basket
£21.99
Paperback
The Little Schemer
Added to basket
M Is for (Data) Monkey
Added to basket
£26.99
Paperback
Coding for Beginners in easy steps
Added to basket
Learn To Program
Added to basket
£19.99
Paperback
Haskell
Added to basket
£48.99
Paperback
Raspberry Pi
Added to basket
£17.50
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.