TY  - BOOK
AU  - Amr Abdelfatah Ramdan Sayed Ahmed
AU  - Hossam Aly Hassan Fahmy , 
TI  - Verification of decimal floating-point operations / 
PY  - 2011///
CY  - Cairo : 
PB  - Amr Abdelfatah Ramdan Sayed Ahmed , 
KW  - Decimal floating-point operations
KW  - Simulation based verification
KW  - Test vectors
N1  - Thesis (M.Sc.) - Cairo University - Faculty of Engineering - Department of Electronics and Communication; Issued also as CD
N2  - Decimal floating-point designs require a verification process to prove that the design is in compliance with the IEEE standarf for floating-point arihmetic (IEEE Std 754-2008). Our work is a decimal floating-point verification using simulation based verification, which a simulation method based on coverage models to cover corner cases of a certain decimal floating-point operation
UR  - http://172.23.153.220/th.pdf
ER  -