EECS 298-11: CAD Seminar Wednesday, May 22, 1996, 5pm Cory Hall--Wang Room Verification of Digital Circuits Using Analog Models Mark Greenstreet Department of Computer Science University of British Columbia High speed digital designs increasingly rely on circuits whose analog behavior is critical to their correct operation and performance. Typically, circuit simulators such as SPICE are used to verify that a circuit in an analog model correctly implements a digital behavior. Such simulation based approaches are tedious and cannot account for all possible inputs, loads, or model parameters. In this talk, I will show how dynamical systems theory can be used to establish the digital behavior of analog circuits. This approach allows traditional SPICE models to be used for transistor behavior, and the circuit can be verified for a large range of inputs or model parameters. I will illustrate the approach using Seitz's arbiter circuit and the high speed, Yuan-Svenson toggle element as examples. Upcoming seminars: No more scheduled this semester.