books of the month
Search our site
Persons Unknown by Susie Steiner Read the opening extract of the brand new Susie Steiner book before its publication on 05/04/2018

Timed Boolean Functions A Unified Formalism for Exact Timing Analysis by William K. Lam, Robert K. Brayton

Timed Boolean Functions A Unified Formalism for Exact Timing Analysis


Part of the The Springer International Series in Engineering and Computer Science Series


Timed Boolean Functions A Unified Formalism for Exact Timing Analysis by William K. Lam, Robert K. Brayton

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 cases where temporal properties of a design interact intricately with the design's logical functionalities. This book presents a methodology for timing research which facilitates analy- sis and design of circuits and systems in a unified temporal and logical domain. In the first part, we introduce an algebraic representation formalism, Timed Boolean Functions (TBF's), which integrates both logical and timing informa- tion of digital circuits and systems into a single formalism. We also give a canonical form, TBF BDD's, for them, which can be used for efficient ma- nipulation. In the second part, we apply Timed Boolean Functions to three problems in timing research, for which exact solutions are obtained for the first time: 1. computing the exact delays of combinational circuits and the minimum cycle times of finite state machines, 2. analysis and synthesis of wavepipelining circuits, a high speed architecture for which precise timing relations between signals are essential for correct operations, 3. verification of circuit and system performance and coverage of delay faults by testing.

About the Author

Loading other formats...

Book Info

Publication date

30th April 1994


William K. Lam, Robert K. Brayton

More books by William K. Lam, Robert K. Brayton
Author 'Like for Like'




273 pages


Circuits & components
Computer science



My horizons have been broadened by some of the books I have been lucky to review and I expect it to be no different in the future.

Daran Bellingham

Lovereading always comes up with great suggestions and has introduced me to enjoyable books and new authors to discover.

Gaynor Passmore

It's information about new books so, for a book lover like me, what's not to like!

Joan Hill

Their sending me my first book to review 18 months ago re-awakened my fondness for reading, since then I have purchased some real gems.

Barry Griffiths

The books for review are always great reads, brilliantly written, and introduces me to a huge variety of, established and new, authors.

Lesley Hart

I 'Lovereading' because it lets me see what new books are around with a detailed synopsis and readers' reviews.

Judith Sharp

What can I say, the clue is in the title Lovereading - and awesome books.

Sarah Davis

You can trust Lovereading to show unbiased reviews by actual, ordinary readers that help likeminded booklovers choose their next great read.

Linda Hill