Using Arithmetic Transform for Verification of Datapath Circuits via Error Modeling.

Katarzyna Radecka Zeljko Zilic

Published in: VTS (2000)

Keyphrases

error rate
relative error
data sets
face recognition
high speed
model checking
modeling language
floating point
modeling method
arithmetic operations