Binary floating point arithmetic verification using a standard language to solve constraints / (Record no. 60293)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02585cam a2200325 a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | EG-GiCUC |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20250223031704.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 170318s2016 ua f m 000 0 eng d |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | EG-GiCUC |
| Language of cataloging | eng |
| Transcribing agency | EG-GiCUC |
| 041 0# - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 049 ## - LOCAL HOLDINGS (OCLC) | |
| Holding library | Deposite |
| 097 ## - Thesis Degree | |
| Thesis Level | M.Sc |
| 099 ## - LOCAL FREE-TEXT CALL NUMBER (OCLC) | |
| Classification number | Cai01.13.08.M.Sc.2016.Kh.B |
| 100 0# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Khaled Mohamed Abdelmaksoud Nouh |
| 245 10 - TITLE STATEMENT | |
| Title | Binary floating point arithmetic verification using a standard language to solve constraints / |
| Statement of responsibility, etc. | Khaled Mohamed Abdelmaksoud Nouh ; Supervised Hossam A. H. Fahmy |
| 246 15 - VARYING FORM OF TITLE | |
| Title proper/short title | التحقق من الحسابات الثنائية ذات النقطة العائمة بإستخدام لغة معيارية لحل القيود |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Cairo : |
| Name of publisher, distributor, etc. | Khaled Mohamed Abdelmaksoud Nouh , |
| Date of publication, distribution, etc. | 2016 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 104 P. ; |
| Dimensions | 30cm |
| 502 ## - DISSERTATION NOTE | |
| Dissertation note | Thesis (M.Sc.) - Cairo University - Faculty of Engineering - Department of Electronics and Communication |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | Verification 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 ## - ADDITIONAL PHYSICAL FORM AVAILABLE NOTE | |
| Additional physical form available note | Issued also as CD |
| 653 #4 - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Constrained simulation |
| 653 #4 - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Floating point arithmetic |
| 653 #4 - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Standard language |
| 700 0# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Hossam Ali Hassan Fahmy , |
| Relator term | |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="http://172.23.153.220/th.pdf">http://172.23.153.220/th.pdf</a> |
| 905 ## - LOCAL DATA ELEMENT E, LDE (RLIN) | |
| Cataloger | Nazla |
| Reviser | Revisor |
| 905 ## - LOCAL DATA ELEMENT E, LDE (RLIN) | |
| Cataloger | Samia |
| Reviser | Cataloger |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Koha item type | Thesis |
| Source of classification or shelving scheme | Not for loan | Home library | Current library | Date acquired | Full call number | Barcode | Date last seen | Koha item type | Copy number |
|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | المكتبة المركزبة الجديدة - جامعة القاهرة | قاعة الرسائل الجامعية - الدور الاول | 11.02.2024 | Cai01.13.08.M.Sc.2016.Kh.B | 01010110071311000 | 22.09.2023 | Thesis | ||
| Dewey Decimal Classification | المكتبة المركزبة الجديدة - جامعة القاهرة | مخـــزن الرســائل الجـــامعية - البدروم | 11.02.2024 | Cai01.13.08.M.Sc.2016.Kh.B | 01020110071311000 | 22.09.2023 | CD - Rom | 71311.CD |