Table Of Content

Implementation of binary floating-point arithmetic on embedded integer processors Polynomialevaluation-basedalgorithms and certifiedcodegeneration GuillaumeRevy Advisors: Claude-PierreJeannerodandGillesVillard AreńaireINRIAproject-team(LIP,EnsLyon) Universite´deLyon CNRS Ph.D.Defense–December1st,2009 GuillaumeRevy–December1st,2009. Implementationofbinaryfloating-pointarithmeticonembeddedintegerprocessors 1/45 SomeembeddedsystemsdonothaveanyFPU(floating-pointunit) Highlyusedinaudioandvideoapplications (cid:73) demandingonfloating-pointcomputations Motivation Embeddedsystemsareubiquitous (cid:73) microprocessorsdedicatedtooneorafewspecifictasks (cid:73) satisfyconstraints: area,energyconsumption,conceptioncost GuillaumeRevy–December1st,2009. Implementationofbinaryfloating-pointarithmeticonembeddedintegerprocessors 2/45 Highlyusedinaudioandvideoapplications (cid:73) demandingonfloating-pointcomputations Motivation Embeddedsystemsareubiquitous (cid:73) microprocessorsdedicatedtooneorafewspecifictasks (cid:73) satisfyconstraints: area,energyconsumption,conceptioncost SomeembeddedsystemsdonothaveanyFPU(floating-pointunit) Embeddedsystems NoFPU GuillaumeRevy–December1st,2009. Implementationofbinaryfloating-pointarithmeticonembeddedintegerprocessors 2/45 Motivation Embeddedsystemsareubiquitous (cid:73) microprocessorsdedicatedtooneorafewspecifictasks (cid:73) satisfyconstraints: area,energyconsumption,conceptioncost SomeembeddedsystemsdonothaveanyFPU(floating-pointunit) Applications FPcomputations Embeddedsystems NoFPU Highlyusedinaudioandvideoapplications (cid:73) demandingonfloating-pointcomputations GuillaumeRevy–December1st,2009. Implementationofbinaryfloating-pointarithmeticonembeddedintegerprocessors 2/45 Motivation Embeddedsystemsareubiquitous (cid:73) microprocessorsdedicatedtooneorafewspecifictasks (cid:73) satisfyconstraints: area,energyconsumption,conceptioncost SomeembeddedsystemsdonothaveanyFPU(floating-pointunit) Applications FPcomputations Embeddedsystems Softwareimplementing NoFPU floating-pointarithmetic Highlyusedinaudioandvideoapplications (cid:73) demandingonfloating-pointcomputations GuillaumeRevy–December1st,2009. Implementationofbinaryfloating-pointarithmeticonembeddedintegerprocessors 2/45 Motivation Embeddedsystemsareubiquitous (cid:73) microprocessorsdedicatedtooneorafewspecifictasks (cid:73) satisfyconstraints: area,energyconsumption,conceptioncost SomeembeddedsystemsdonothaveanyFPU(floating-pointunit) ST2Ims-3IusC1ebimdascPTceyooeihsrm3rreteyiexpemrhseraccIonlosntnTettrrIrranrooupPbsllblItlpCrueuerTatrunrsfLnaufcineBcttprhDidopenobrrBurtRe4efir8gugegawfilingrenislesriietc(statie6htetdree4rS3)rs2T-BbIMUuitsulIUIMUulIUD(LSULtToSonaLUridetB)UTLBDmsPrSDC4uebbDWr-CegoebuuxsImifnirasffsedSipffyctttoteeDreehosecrrorrthreIyelstmsCSCMUCS64T-Bbuits AFpPpcolimcpauttiaotinonss 61interruptsDebuglink Embeddedsystems Softwareimplementing NoFPU floating-pointarithmetic Highlyusedinaudioandvideoapplications (cid:73) demandingonfloating-pointcomputations GuillaumeRevy–December1st,2009. Implementationofbinaryfloating-pointarithmeticonembeddedintegerprocessors 2/45 VLIW(VeryLongInstructionWord) → instructionsgroupedintobundles → Instruction-LevelParallelism(ILP)explicitlyexposedbythecompiler uint32_t R1 = A0 + C; Issue1 Issue2 Issue3 Issue4 uint32_t R2 = A3 * X; uint32_t R3 = A1 * X; 0 R1 R2 R3 uint32_t R4 = X * X; 1 R4 Overview of the ST231 architecture ST231core SDIports 4-issueVLIW32-bitintegerprocessor ICache InsbIturTufLfceBtrion rR4efi8egwlgreiesri(sati6tetdee4r)rs Mul Mul D(LSULtToSonaLUridetB) UTLB DrC4ebWCgouxinrafsSifcttteDrheeroreIls SCUSTBus Pa→ralnleolFePxeUcutionunit CMC64-bit Ims-usebimdseyosrtyem conTtrraopllPbeCrruannaincthd rBergafiinsltecehr IU IU IU IU DmsuP-ebbsrmiseudyffoeefsrtetycerhm (cid:73)(cid:73) 42ipnitpeeglienreAdLmUultipliers32×32→32 PeTrimi3pxehresralscIonntetrrroullpetrsupDpeobrutgunit S32T-Bbuits Latencies: ALU→1cycle,Mul→3 61interrupts Debuglink cycles GuillaumeRevy–December1st,2009. Implementationofbinaryfloating-pointarithmeticonembeddedintegerprocessors 3/45 uint32_t R1 = A0 + C; Issue1 Issue2 Issue3 Issue4 uint32_t R2 = A3 * X; uint32_t R3 = A1 * X; 0 R1 R2 R3 uint32_t R4 = X * X; 1 R4 Overview of the ST231 architecture ST231core SDIports 4-issueVLIW32-bitintegerprocessor ICache InsbIturTufLfceBtrion rR4efi8egwlgreiesri(sati6tetdee4r)rs Mul Mul D(LSULtToSonaLUridetB) UTLB DrC4ebWCgouxinrafsSifcttteDrheeroreIls SCUSTBus Pa→ralnleolFePxeUcutionunit CMC64-bit Ims-usebimdseyosrtyem conTtrraopllPbeCrruannaincthd rBergafiinsltecehr IU IU IU IU DmsuP-ebbsrmiseudyffoeefsrtetycerhm (cid:73)(cid:73) 42ipnitpeeglienreAdLmUultipliers32×32→32 PeTrimi3pxehresralscIonntetrrroullpetrsupDpeobrutgunit S32T-Bbuits Latencies: ALU→1cycle,Mul→3 61interrupts Debuglink cycles VLIW(VeryLongInstructionWord) → instructionsgroupedintobundles → Instruction-LevelParallelism(ILP)explicitlyexposedbythecompiler GuillaumeRevy–December1st,2009. Implementationofbinaryfloating-pointarithmeticonembeddedintegerprocessors 3/45 Overview of the ST231 architecture ST231core SDIports 4-issueVLIW32-bitintegerprocessor ICache InsbIturTufLfceBtrion rR4efi8egwlgreiesri(sati6tetdee4r)rs Mul Mul D(LSULtToSonaLUridetB) UTLB DrC4ebWCgouxinrafsSifcttteDrheeroreIls SCUSTBus Pa→ralnleolFePxeUcutionunit CMC64-bit Ims-usebimdseyosrtyem conTtrraopllPbeCrruannaincthd rBergafiinsltecehr IU IU IU IU DmsuP-ebbsrmiseudyffoeefsrtetycerhm (cid:73)(cid:73) 42ipnitpeeglienreAdLmUultipliers32×32→32 PeTrimi3pxehresralscIonntetrrroullpetrsupDpeobrutgunit S32T-Bbuits Latencies: ALU→1cycle,Mul→3 61interrupts Debuglink cycles VLIW(VeryLongInstructionWord) → instructionsgroupedintobundles → Instruction-LevelParallelism(ILP)explicitlyexposedbythecompiler uint32_t R1 = A0 + C; Issue1 Issue2 Issue3 Issue4 uint32_t R2 = A3 * X; uint32_t R3 = A1 * X; 0 R1 R2 R3 uint32_t R4 = X * X; 1 R4 GuillaumeRevy–December1st,2009. Implementationofbinaryfloating-pointarithmeticonembeddedintegerprocessors 3/45 How to emulate floating-point arithmetic in software? Designandimplementationofefficientsoftwaresupportfor IEEE754floating-pointarithmeticonintegerprocessors ExistingsoftwareforIEEE754floating-pointarithmetic: (cid:73) Softwarefloating-pointsupportofGCC,GlibcandµClibc,GoFast Floating-PointLibrary (cid:73) SoftFloat(→STlib) (cid:73) FLIP(Floating-pointLibraryforIntegerProcessors) • softwaresupportforbinary32floating-pointarithmeticonintegerprocessors • correctly-roundedaddition,subtraction,multiplication,division,squareroot, reciprocal,... • handlingsubnormals,andhandlingspecialinputs GuillaumeRevy–December1st,2009. Implementationofbinaryfloating-pointarithmeticonembeddedintegerprocessors 4/45

Description:

Design and implementation of efficient software support for. IEEE 754 floating-point arithmetic on integer processors. Existing software for IEEE 754

Implementation of binary floating-point arithmetic on embedded integer processors PDF

120 Pages·2010·1.21 MB·English

Checking for file health...

Save to my drive

Quick download

Download

Download Implementation of binary floating-point arithmetic on embedded integer processors PDF Free - Full Version

by Unknow| 2010| 120 pages| 1.21| English

Download Implementation of binary floating-point arithmetic on embedded integer processors by in PDF format completely FREE. No registration required, no payment needed. Get instant access to this valuable resource on PDFdrive.to!

Free Download PDF

About Implementation of binary floating-point arithmetic on embedded integer processors

Design and implementation of efficient software support for. IEEE 754 floating-point arithmetic on integer processors. Existing software for IEEE 754

Detailed Information

Author:	Unknown
Publication Year:	2010
Pages:	120
Language:	English
File Size:	1.21
Format:	PDF
Price:	FREE

Download Free PDF

Safe & Secure Download - No registration required

Why Choose PDFdrive for Your Free Implementation of binary floating-point arithmetic on embedded integer processors Download?

100% Free: No hidden fees or subscriptions required for one book every day.
No Registration: Immediate access is available without creating accounts for one book every day.
Safe and Secure: Clean downloads without malware or viruses
Multiple Formats: PDF, MOBI, Mpub,... optimized for all devices
Educational Resource: Supporting knowledge sharing and learning

Frequently Asked Questions

Is it really free to download Implementation of binary floating-point arithmetic on embedded integer processors PDF?

Yes, on https://PDFdrive.to you can download Implementation of binary floating-point arithmetic on embedded integer processors by completely free. We don't require any payment, subscription, or registration to access this PDF file. For 3 books every day.

How can I read Implementation of binary floating-point arithmetic on embedded integer processors on my mobile device?

After downloading Implementation of binary floating-point arithmetic on embedded integer processors PDF, you can open it with any PDF reader app on your phone or tablet. We recommend using Adobe Acrobat Reader, Apple Books, or Google Play Books for the best reading experience.

Is this the full version of Implementation of binary floating-point arithmetic on embedded integer processors?

Yes, this is the complete PDF version of Implementation of binary floating-point arithmetic on embedded integer processors by Unknow. You will be able to read the entire content as in the printed version without missing any pages.

Is it legal to download Implementation of binary floating-point arithmetic on embedded integer processors PDF for free?

https://PDFdrive.to provides links to free educational resources available online. We do not store any files on our servers. Please be aware of copyright laws in your country before downloading.

The materials shared are intended for research, educational, and personal use in accordance with fair use principles.