Abstract | ||
---|---|---|
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.
|
Year | DOI | Venue |
---|---|---|
2007 | 10.1007/978-3-540-73001-9_23 | CiE |
Keywords | Field | DocType |
rational number,vlsi design,formal method,formal specification | Discrete mathematics,Rational number,Algebraic number,Arbitrary-precision arithmetic,Computer science,True arithmetic,Arithmetic,Arithmetic circuit complexity,Primitive recursive arithmetic,Algebraic operation,Second-order arithmetic | Conference |
Volume | ISSN | Citations |
4497 | 0302-9743 | 1 |
PageRank | References | Authors |
0.36 | 11 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Gregorio de Miguel Casado | 1 | 24 | 5.69 |
Juan Manuel García Chamizo | 2 | 17 | 4.20 |
Maria Teresa Signes Pont | 3 | 46 | 10.44 |