Automatic generation of Cycle Accurate and Cycle Count Accurate transaction level bus models from a formal model.

Chen Kang Lo Ren-Song Tsay

Published in: ASP-DAC (2009)

Keyphrases

formal model
formal models
accurate models
database
machine learning
learning algorithm
experimental data
highly accurate
data sets
social networks
high quality
association rules
parameter estimation
process model
high precision
predicate calculus