Constraint-based test pattern generation at the Register-Transfer Level.

Taavi Viilukas Jaan Raik Maksim Jenihhin Raimund Ubar Anna Krivenko

Published in: DDECS (2010)

Keyphrases

levels of abstraction
higher level
three dimensional
database systems
lower level
database
real time
databases
neural network
data mining
decision trees
high level
learning environment
hidden markov models
constraint satisfaction