Finding Bugs in an Alpha Microprocessor Using Satisfiability Solvers.

Per Bjesse Tim Leonard Abdel Mokkedem

Published in: CAV (2001)

Keyphrases

neural network
source code
high speed
design methodology
real world
information retrieval
decision making
web services
case study
learning environment
cost function
probabilistic model
design process
floating point
special purpose hardware