An application of the SPICE program to model nonlinear devices and cir
cuits from a qualitative behaviour description is presented. Saturated
polynomial sources, current monitoring elements and asymmetric delay
circuits are used for synthesis and control of the switching behaviour
.