The logic automation approach to accurate and efficient gate and functional level simulation.

Michel Heydemann Daniel Dure

Published in: ICCAD (1988)

Keyphrases

computationally efficient
high fidelity
high accuracy
levels of abstraction
high quality
numerical simulations
higher level
computationally expensive