1.2.7 Using Range Operations

The range operation is similar to the equality operation, except that the constant field is a range of values instead of a single value. The check for bit equality is made for each constant value in the range.

First, define the address bus as follows:

FIELD address = [A3..A0];

Then write the RANGE equation:

select = address:[C..F];

This is equivalent to the following equation:

select = address:C # address:D # address:E # address:F;