Solver technology for system-level to RTL equivalence checking.

Alfred Kölbl Reily Jacoby Himanshu Jain Carl Pixley

Published in: DATE (2009)

Keyphrases

rapid development
technological advances
key technologies
data processing
st century
cost effective
database systems
databases
higher level
computer systems
case study
information systems
data mining
real world
e government
computer science
support vector
information retrieval
levels of abstraction
database