Path p c mcgeer and r k brayton integrating p

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: esign Spring 2014, Feb 5 . . . Spring ELEC 7770: Advanced VLSI Design (Agrawal) 14 Theorem 2 The longest path in a circuit is dynamically The sensitizable iff it is statically sensitizable. sensitizable Proof: Because this is the longest path, all offpath inputs will settle to their sensitizing values path at the inputs of any gate before the on-path event propagates through that gate. event P. C. McGeer and R. K. Brayton, Integrating P. Functional and Temporal Domains in Logic Design, Springer, 1991, p. 37. Design Spring 2014, Feb 5 . . . Spring ELEC 7770: Advanced VLSI Design (Agrawal) 15 Proof of Theorem 2 Case 1: Static sensitization does not specify the Case value at the path origin. value Toggling the path origin will propagate an event Toggling through the path causing dynamic sensitization. through Example: 1 0 A 01 or 10 here will propagate through the path Spring 2014, Feb 5 . . . Spring Statically sensitized path ELEC 7770: Advanced VLSI Design (Agrawal) 16 Proof of Theorem 2 (Cont.) Case 2: Static sensitization specifies the value at the path origin. Toggling the path origin will propagate an event through the path Toggling ca...
View Full Document

This document was uploaded on 02/23/2014 for the course COMPUTER A 7770 at Auburn University.

Ask a homework question - tutors are online