This paper presents a method, based on the formalism of affine recurrence equations, for the synthesis of digital circuits exploiting parallelism at the bit-level. In the initial specification of a numerical algorithm, the arithmetic operators are replaced with their yet unscheduled (schedule-free) binary implementation as recurrence equations. This allows a bit-level dependency analysis yielding a bit-parallel array. The method is demonstrated on the example of the matrix-vector product, and discussed.
Index Terms:
digital circuits; schedule-free operators; affine recurrence equations; digital circuits synthesis; parallelism; bit-level; arithmetic operators; binary implementation; bit-level dependency analysis; bit-parallel array; matrix-vector product
Citation:
F. de Dinechin, "Libraries of schedule-free operators in Alpha," asap, pp.239, 1997 IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP'97), 1997