Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis

by Robert K. Brayton and William K.C. Lam

Book Overview

Timing research in high performance VLSI systems has advanced at a steady pace over the last few years, while tools, especially theoretical mechanisms, lag behind. Much present timing research relies heavily on timing diagrams, which, although intuitive, are inadequate for analysis of large designs with many parameters. Further, timing diagrams offer only approximations, not exact solutions, to many timing problems and provide little insight in the...

• Format: Hardcover
• Language: English
• ISBN: 0792394542
• ISBN13: 9780792394549
• Release Date: April 1994
• Publisher: Springer
• Length: 273 Pages
• Weight: 1.31 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"