Hardware Compilation of the ProCoS Gas Burner Case Study using Logic Programming

A hardware compiler may be speci ed by a description of how each construct of the source language is translated into a netlist of simple digital hardware components such as gates and latches. instructions. It is possible to produce a compiler prototype almost directly from this speci cation in the form of a logic program. This de nes a relation between allowed highlevel program constructs and matching low-level circuits. This document brie y presents such a compiler written in Prolog, together with an example compilation of the ProCoS II gas burner example. Gaps in the process are discussed.