| 000 | 02585cam a2200325 a 4500 | ||
|---|---|---|---|
| 003 | EG-GiCUC | ||
| 005 | 20250223031704.0 | ||
| 008 | 170318s2016 ua f m 000 0 eng d | ||
| 040 |
_aEG-GiCUC _beng _cEG-GiCUC |
||
| 041 | 0 | _aeng | |
| 049 | _aDeposite | ||
| 097 | _aM.Sc | ||
| 099 | _aCai01.13.08.M.Sc.2016.Kh.B | ||
| 100 | 0 | _aKhaled Mohamed Abdelmaksoud Nouh | |
| 245 | 1 | 0 |
_aBinary floating point arithmetic verification using a standard language to solve constraints / _cKhaled Mohamed Abdelmaksoud Nouh ; Supervised Hossam A. H. Fahmy |
| 246 | 1 | 5 | _aالتحقق من الحسابات الثنائية ذات النقطة العائمة بإستخدام لغة معيارية لحل القيود |
| 260 |
_aCairo : _bKhaled Mohamed Abdelmaksoud Nouh , _c2016 |
||
| 300 |
_a104 P. ; _c30cm |
||
| 502 | _aThesis (M.Sc.) - Cairo University - Faculty of Engineering - Department of Electronics and Communication | ||
| 520 | _aVerification of floating point (FP) units is a difficult task to achieve, and the cost of post-production bugs is severe. This is due to dealing with a large bit stream of inputs; simulation based verification fails to cover all possible input combinations and hence does not guarantee a 100% bug free design. On the other hand, formal methods are efficient in verification of FP arithmetic, yet they require creating a formal model, they cannot work on an optimized version of a design and may fail with complex designs due to state space explosion. Our framework provides a new verification methodology that uses a constraint based random technique to generate test vectors for validating binary FP arithmetic instructions. The constraints used in our verification are written in system verilog (SV) language and can be solved with any SV constraint solver tool. For every arithmetic operation, the written constraints couple the operands, intermediate results, rounding direction and the result evaluation to comply with the FP IEEE standard (IEEE Std 754-2008). The new proposal is generic and can be used to verify any software or hardware binary FP design/library. Also, it proves feasibility and usefulness in finding bugs for various binary FP arithmetic operations for single and double precision formats | ||
| 530 | _aIssued also as CD | ||
| 653 | 4 | _aConstrained simulation | |
| 653 | 4 | _aFloating point arithmetic | |
| 653 | 4 | _aStandard language | |
| 700 | 0 |
_aHossam Ali Hassan Fahmy , _eSupervisor |
|
| 856 | _uhttp://172.23.153.220/th.pdf | ||
| 905 |
_aNazla _eRevisor |
||
| 905 |
_aSamia _eCataloger |
||
| 942 |
_2ddc _cTH |
||
| 999 |
_c60293 _d60293 |
||