Synthesizing VHDL Programs from Tensor Product Formulas

摘要

In this paper, we present a system to translate tensor product formulas to VHSIC Hardware Description Language (VHDL) programs. Tensor product formulas are used to represent block recursive algorithms. Operations of tensor product formulas can be mapped to programming language constructs. We use VHDL as our target programming language for program synthesis. VHDL contains high-level programming language constructs as well as low-level constructs for describing hardware components. Hence, VHDL is suitable for VLSI circuit design. In our system, a tensor product formula is written in a LISP-like form and translated into VHDL code containing bit-level objects and operations. We use the parallel prefix problem as an example to illustrate program synthesis.