Login / Signup
An error simulation based approach to measure error coverage of formal properties.
Paolo Azzoni
Andrea Fedeli
Franco Fummi
Graziano Pravadelli
Umberto Rossi
Franco Toto
Published in:
ACM Great Lakes Symposium on VLSI (2002)
Keyphrases
</>
case study
error bounds
prediction error
error rate
error measure
artificial neural networks
relative error
simulation environment
image quality
formal language
desirable properties
data sets
least squares
data model
evolutionary algorithm
decision trees
databases