PowerAda 126

Appendix C

• Notice
• Chapter 1. Overview
• Chapter 2. Getting Started
• Chapter 3. Basic PowerAda Concepts
• Chapter 4. The PowerAda Development Environment
• Chapter 5. Project Management with PowerAda
• Chapter 6. The PowerAda Debugger: adbg
• Chapter 7. Interface to Other Languages
• Chapter 8. Implementation Details
• Chapter 9. Optimization
• APPENDIX A - Glossary
• APPENDIX B - Support Packages
• APPENDIX C - Implementation Characteristics
• APPENDIX D - Demos and Tutorials
• APPENDIX E - Tools Reference
• APPENDIX F - Debugger Command Reference
• Index

Contents |  Installation Guide | Release Notes

First | Prev | Next | Last

(126) Conditions on a universal_real operand of a fixed point multiplication or division for which the result shall be in the perfect result set.

See G.2.3(22).

If there exists a perfect factorization of the universal_real operand into a "compatible" small and an integer within the bounds of type integer (32 bit twos-complement signed) the result is in the perfect result set.