A Timing Model for VLSI CMOS Circuits Verification and Optimization.

Luís Felipe Uebel Sergio Bampi

Published in: ISCAS (1994)

Keyphrases

probabilistic model
high level
objective function
theoretical analysis
formal model
high speed
optimization algorithm
computational model
statistical model
vlsi circuits
real time
prior knowledge
em algorithm
theoretical framework
optimization method