A derivation of a serial-parallel multiplier

A serial-parallel multiplier is developed systematically from functional specification to circuit implementation. First, a functional program is derived and, second, a parallel program for a systolic computation is constructed. The parallel program is derived from the functional program. Both synchronous and asynchronous circuit implementations for the parallel program are discussed. The latter implementation has a pipeline structure with bounded response time