Verifying Very Large Industrial Circuits Using 100 Processes and Beyond.

Limor Fix Orna Grumberg Amnon Heyman Tamir Heyman Assaf Schuster

Published in: ATVA (2005)

Keyphrases

industrial processes
high speed
model checking
industrial applications
data sets
multiscale
computational intelligence
technology transfer
neural network
computer vision
communication channels
analog circuits