Fast Specification of Cycle-accurate Processor Models.

Felix Sheng-Ho Chang Alan J. Hu

Published in: ICCD (2001)

Keyphrases

accurate models
probabilistic model
high accuracy
formal specification
high speed
model selection
data sets
high level
complex systems