Title :
Program transformation of hardware descriptions by means of ILP
Author :
Verkest, D. ; Johannes, P. ; Claesen, L. ; Man, H. De
Author_Institution :
IMEC, Leuven, Belgium
Abstract :
A technique for application of correctness-preserving transformations to designs, described in an existing hardware description language, is presented. A program transformation technique based on integer linear programming (LP) is used to calculate automatically the structure description of the transformed design given the original designs´ description and a transformation description. This technique is used for refining designs towards efficient implementations. It has been applied to the design of a systolic FIR filter and a parameterized multiplier-accumulator module used in the Cathedral-II silicon compilation system
Keywords :
circuit layout CAD; digital filters; integer programming; linear programming; multiplying circuits; specification languages; Cathedral-II silicon compilation system; ILP; correctness-preserving transformations; hardware descriptions; integer linear programming; parameterized multiplier-accumulator module; program transformation; refining; systolic FIR filter; Automatic control; Circuit synthesis; Control system synthesis; Finite impulse response filter; Formal verification; Hardware design languages; Integer linear programming; Microprocessors; Silicon compiler; Specification languages;
Conference_Titel :
Circuits and Systems, 1989., IEEE International Symposium on
Conference_Location :
Portland, OR
DOI :
10.1109/ISCAS.1989.100562
