Abstract Domains for Bit-Level Machine Integer and Floating-point Operations
نویسنده
چکیده
Domains for Bit-Level Machine Integer and Floating-point Operations
منابع مشابه
IA-64 Floating-Point Operations and the IEEE Standard for Binary Floating-Point Arithmetic
This paper examines the implementation of floating-point operations in the IA-64 architecture from the perspective of the IEEE Standard for Binary Floating-Point Arithmetic [1]. The floating-point data formats, operations, and special values are compared with the mandatory or recommended ones from the IEEE Standard, showing the potential gains in performance that result from specific choices. T...
متن کاملDesign and Implementation of Complex Floating Point Processor Using Fpga
This paper presents complete processor hardware with three arithmetic units. The first arithmetic unit can perform 32-bit integer arithmetic operations. The second unit can perform arithmetic operations such as addition, subtraction, multiplication, division, and square root on 32-bit floating point numbers. The third unit can perform arithmetic operations such as addition, subtraction, multipl...
متن کاملRelational Analysis of Floating-Point Arithmetic
A set of abstract operations is given that allows the uniform analysis of integer and floating point arithmetic in the abstract domain of convex polyhedra. We show how to implement rounding faithfully and show that the modelling of rounding is necessary even for the analysis of integer variables. Different rounding modes occurring in floating point implementations are discussed and their implem...
متن کاملPort of Pascal Fpga-logarithmic-unit Simulator to Simulink/rtw
Implementation of floating point algorithms in FPGA (Field Programmable Gate Arrays) creates an open problem. One of possible solutions is the representation of floating point numbers as an integer (fixed point) logarithm (32 bit) [1]. Basic arithmetical operations can be performed in the logarithm numbering system which is suitable for FPGA and ASIC implementation. Simulator of such system has...
متن کاملInternal Organization of the Alpha 21164, a 300-MHz 64-bit Quad-issue CMOS RISC Microprocessor
A new CMOS microprocessor, the Alpha 21164, reaches 1,200 mips/600 MFLOPS (peak performance). This new implementation of the Alpha architecture achieves SPECint92/SPECfp92 performance of 345/505 (estimated). At these performance levels, the Alpha 21164 has delivered the highest performance of any commercially available microprocessor in the world as of January 1995. It contains a quad-issue, su...
متن کامل