Advertisement

Basic Arithmetic Functions

  • David M. Russinoff
Chapter

Abstract

This chapter examines the properties of the floor, ceiling, and modulus functions, which are central to our formulation of the RTL primitives as well as the floating-point rounding modes. Thus, their definitions and properties are prerequisite to a reading of the subsequent chapters. We also define and investigate the properties of a function that truncates to a specified number of fractional bits, which is related to the floor and is relevant to the analysis of fixed-point encodings, as discussed in Sect.  2.5.

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • David M. Russinoff
    • 1
  1. 1.Arm HoldingsAustinUSA

Personalised recommendations