How fast will the flip flop?

Author

Greenstreet, Mark R. ; Cahoon, Peter

Author_Institution

Dept. of Comput. Sci., British Columbia Univ., Vancouver, BC, Canada

fYear

1994

fDate

3-5 Nov 1994

Firstpage

77

Lastpage

86

Abstract

This paper 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

Keywords

differential equations; SPICE-like model; continuous-model interpretations; differential equations; digital VLSI circuits verification; dynamic storage; dynamical systems; dynamical systems theory; nine-transistor toggle element; timing hazards; topological features; Application software; Circuit analysis; Clocks; Computer science; Differential equations; Frequency; Hardware; Hazards; Timing; Very large scale integration;

fLanguage

English

Publisher

ieee

Conference_Titel

Advanced Research in Asynchronous Circuits and Systems, 1994., Proceedings of the International Symposium on

Conference_Location

Salt Lake City, UT

Print_ISBN

0-8186-6210-7

Type

conf

DOI

10.1109/ASYNC.1994.656288

Filename

656288