Automated equivalence checking of switch level circuits .

Simon Jolly Atanas N. Parashkevov Tim McDougall

Published in: DAC (2002)

Keyphrases

high speed
fully automated
neural network
databases
artificial intelligence
website
higher level
levels of abstraction