Verification of Electronic Systems.

Alberto L. Sangiovanni-Vincentelli Patrick C. McGeer Alexander Saldanha

Published in: DAC (1996)

Keyphrases

information systems
data sets
decision making
hidden markov models
intelligent systems
systems require
asynchronous circuits
design automation
database
neural network
data mining
distributed systems
software development