Deriving Structural RT-Implementations from Algorithmic Descriptions by means of Logical Transformations


This paper presents a formal synthesis approach where the mapping of an al-gorithmic description towards its structural implementation at the RT-level is performed by means of basic logical transformations in a higher order logic theorem prover. The approach goes beyond pure basic blocks and allows representing and synthesizing arbitrary computable programs… (More)


1 Figure or Table

Slides referencing similar topics