Note: The Glossary defines much of the vocabulary used in these sections. For more information on these subjects, see the Fixed-Point Designer documentation. |
In digital hardware, numbers are stored in binary words. A binary word is a fixed-length sequence of bits (1's and 0's). How hardware components or software functions interpret this sequence of 1's and 0's is defined by the data type.
Binary numbers are represented as either fixed-point or floating-point data types. In this section, we discuss many terms and concepts relating to fixed-point numbers, data types, and mathematics.
A fixed-point data type is characterized by the word length in bits, the position of the binary point, and whether it is signed or unsigned. The position of the binary point is the means by which fixed-point values are scaled and interpreted.
For example, a binary representation of a generalized fixed-point number (either signed or unsigned) is shown below:
where
b_{i} is the i^{th} binary digit.
wl is the word length in bits.
b_{wl–1} is the location of the most significant, or highest, bit (MSB).
b_{0} is the location of the least significant, or lowest, bit (LSB).
The binary point is shown four places to the left of the LSB. In this example, therefore, the number is said to have four fractional bits, or a fraction length of four.
Fixed-point data types can be either signed or unsigned. Signed binary fixed-point numbers are typically represented in one of three ways:
Sign/magnitude
One's complement
Two's complement
Two's complement is the most common representation of signed fixed-point numbers and is used by System Toolbox software. See Two's Complement for more information.
Fixed-point numbers can be encoded according to the scheme
$$real\text{-}worldvalue=(slope\times integer)+bias$$
where the slope can be expressed as
$$slope=slope\text{}adjustment\times {2}^{exponent}$$
The integer is sometimes called the stored integer. This is the raw binary number, in which the binary point assumed to be at the far right of the word. In System Toolboxes, the negative of the exponent is often referred to as the fraction length.
The slope and bias together represent the scaling of the fixed-point number. In a number with zero bias, only the slope affects the scaling. A fixed-point number that is only scaled by binary point position is equivalent to a number in the Fixed-Point Designer™ [Slope Bias] representation that has a bias equal to zero and a slope adjustment equal to one. This is referred to as binary point-only scaling or power-of-two scaling:
$$real\text{-}world\text{}value={2}^{exponent}\times integer$$
or
$$real\text{-}world\text{}value={2}^{-fractionlength}\times integer$$
In System Toolbox software, you can define a fixed-point data type and scaling for the output or the parameters of many blocks by specifying the word length and fraction length of the quantity. The word length and fraction length define the whole of the data type and scaling information for binary-point only signals.
All System Toolbox blocks that support fixed-point data types support signals with binary-point only scaling. Many fixed-point blocks that do not perform arithmetic operations but merely rearrange data, such as Delay and Matrix Transpose, also support signals with [Slope Bias] scaling.
You must pay attention to the precision and range of the fixed-point data types and scalings you choose for the blocks in your simulations, in order to know whether rounding methods will be invoked or if overflows will occur.
The range is the span of numbers that a fixed-point data type and scaling can represent. The range of representable numbers for a two's complement fixed-point number of word length wl, scaling S, and bias B is illustrated below:
For both signed and unsigned fixed-point numbers of any data type, the number of different bit patterns is 2wl.
For example, in two's complement, negative numbers must be represented as well as zero, so the maximum value is 2wl^{–1}. Because there is only one representation for zero, there are an unequal number of positive and negative numbers. This means there is a representation for -2wl^{–1} but not for 2wl ^{–1}:
Overflow Handling. Because a fixed-point data type represents numbers within a finite range, overflows can occur if the result of an operation is larger or smaller than the numbers in that range.
System Toolbox software does not allow you to add guard bits to a data type on-the-fly in order to avoid overflows. Any guard bits must be allocated upon model initialization. However, the software does allow you to either saturate or wrap overflows. Saturation represents positive overflows as the largest positive number in the range being used, and negative overflows as the largest negative number in the range being used. Wrapping uses modulo arithmetic to cast an overflow back into the representable range of the data type. See Modulo Arithmetic for more information.
The precision of a fixed-point number is the difference between successive values representable by its data type and scaling, which is equal to the value of its least significant bit. The value of the least significant bit, and therefore the precision of the number, is determined by the number of fractional bits. A fixed-point value can be represented to within half of the precision of its data type and scaling.
For example, a fixed-point representation with four bits to the right of the binary point has a precision of 2^{-4} or 0.0625, which is the value of its least significant bit. Any number within the range of this data type and scaling can be represented to within (2^{-4})/2 or 0.03125, which is half the precision. This is an example of representing a number with finite precision.
Rounding Modes. When you represent numbers with finite precision, not every number in the available range can be represented exactly. If a number cannot be represented exactly by the specified data type and scaling, it is rounded to a representable number. Although precision is always lost in the rounding operation, the cost of the operation and the amount of bias that is introduced depends on the rounding mode itself. To provide you with greater flexibility in the trade-off between cost and bias, DSP System Toolbox™ software currently supports the following rounding modes:
Ceiling
rounds the result
of a calculation to the closest representable number in the direction
of positive infinity.
Convergent
rounds the result
of a calculation to the closest representable number. In the case
of a tie, Convergent
rounds to the nearest
even number. This is the least biased rounding mode provided by the
toolbox.
Floor
, which is equivalent
to truncation, rounds the result of a calculation to the closest representable
number in the direction of negative infinity.
Nearest
rounds the result
of a calculation to the closest representable number. In the case
of a tie, Nearest
rounds to the closest
representable number in the direction of positive infinity.
Round
rounds the result
of a calculation to the closest representable number. In the case
of a tie, Round
rounds positive numbers
to the closest representable number in the direction of positive infinity,
and rounds negative numbers to the closest representable number in
the direction of negative infinity.
Simplest
rounds the result
of a calculation using the rounding mode (Floor
or Zero
)
that adds the least amount of extra rounding code to your generated
code. For more information, see Rounding Mode: Simplest in
the Fixed-Point Designer documentation.
Zero
rounds the result
of a calculation to the closest representable number in the direction
of zero.
To learn more about each of these rounding modes, see Rounding in the Fixed-Point Designer documentation.
For a direct comparison of the rounding modes, see Choosing a Rounding Method in the Fixed-Point Designer documentation.