Searching for "Implementation of a micro power 15-bit "floating-point" A/D converter." – sorted by Relevance.
21,026 documents found, showing 1 through 10.
Next 10 →
-
On floating-point summation
- … denominator is d = (ti+1 − ti) − (ti − ti−1). Using a binary floating-point machine we get ψ1 = ψ2 = 0, giving…
- Cited by 3 (0 self) – Add To MetaCart
-
Floating-point verification
- … verification techniques to hardware in general, and to floating-point hardware in particular. A specific…
- Cited by 2 (0 self) – Add To MetaCart
-
Floating-Point Verification
- … verification of a floating point square-root algorithm. His subsequent PhD research involved developing…
- Add To MetaCart
-
Customising Floating-Point Designs
- ….302 Table 1 Various implementations for a 4-tap FIR filter. For floating-point format, M represents Mantissa…
- Cited by 12 (3 self) – Add To MetaCart
-
Asserting the Precision of Floating-Point
- …Asserting the Precision of Floating-Point Computations: a Simple Abstract Interpreter 1 E…
- Add To MetaCart
-
Floating-point Number LISP
- … within a 56-bit range on DEC VAX computers. All other data are represented as invalid floating-point…
- Cited by 1 (0 self) – Add To MetaCart
-
Verification of Floating-Point Adders
- … CPU hours on a Sun UltraSPARC-II server. 1 Introduction The floating-point (FP) division bug [10…
- Cited by 5 (0 self) – Add To MetaCart
-
Floating-Point Verification using Theorem Proving
- … completely by the IEEE Standard governing binary floating-point arithmetic [32]. This gives a clear…
- Add To MetaCart
-
Floating-point verification using theorem proving
- … need to realize. In some other respects though, floating-point operations present a difficult challenge…
- Cited by 2 (1 self) – Add To MetaCart
-
Decimal Floating-Point: Algorism for Computers
- …}. • Circa 1990, Visual Basic added a floating-point currency class with a 64-bit binary integer coefficient…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
