Login / Signup
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