Technical Reports

The ICICS/CS Reading Room


UBC CS TR-94-22 Summary

How Fast Will The Flip Flop?, September 1994 Mark R. Greenstreet and Peter Cahoon, 10 pages

This report describes an experimental investigation of the application of dynamical systems theory to the verification of digital VLSI circuits. We analyze the behavior of a nine-transistor toggle element using a simple, SPICE-like model. We show how such properties as minimum and maximum clock frequency can be identified from topological features of solutions to the corresponding system of differential equations. This dynamical systems perspective also gives a clear, continuous-model interpretations of such phenomena as dynamic storage and timing hazards.


If you have any questions or comments regarding this page please send mail to help@cs.ubc.ca.