Mixed Algebraic and Boolean Symbolic Analysis of Switched Linear Networks: Theory and Applications to Coupled Gate and Interconnect Delay Modeling


Abstraction of digital MOS circuits as switch-level networks has proven very useful for VLSI automation. Symbolic analysis of switch-level networks by representing the signal at the gate of a MOS transistor as a Boolean variable has been shown to be efficient for verification in terms of functionality and timing. For this work, in addition to expressing the… (More)


15 Figures and Tables

Slides referencing similar topics