Verifying real-time properties of MOS-transistor circuits.

Jürgen Frößl Thomas Kropf

Published in: ED&TC (1995)

Keyphrases

real time
high speed
floating gate
low cost
circuit design
structural properties
multiscale
integrated circuit
real world
computer vision
data acquisition
low power
desirable properties