A timing verification system based on extracted MOS/VLSI circuit parameters.

Pauline Ng Wolfram Glauert Robert Kirk

Published in: DAC (1981)

Keyphrases

high speed
asynchronous circuits
parameter estimation
model checking
real time
genetic algorithm
signal processing
maximum likelihood
parameter values
petri net
parameter settings
integrated circuit
design parameters
frequency response
vlsi circuits