Algebraic models of microprocessors: the correctness and verification of a simple computer
MDS '95 Proceedings of the second international conference on Mathematics of dependable systems II
Computable analysis: an introduction
Computable analysis: an introduction
A Survey of Exact Arithmetic Implementations
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Exact Real Arithmetic Systems: Results of Competition
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Embedded Memories for the Future
IEEE Design & Test
Getting Gigascale Chips: Challenges and Opportunities in Continuing Moore's Law
Queue - Power Management
The role of algebraic models and type-2 theory of effectivity in special purpose processor design
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
| Hi-index | 0.00 |
A formal specification of an arithmetic unit for computable normalized rational numbers is proposed. This specification, developed under the scope of the paradigm known as algebraic models of processors, exploits the connection between the signed digit representation for rational numbers in Type-2 Theory of Effectivity and online arithmetic in Computer Arithmetic. The proposal aims for specification formalization and calculation reliability together with implementation feasibility.