Use of a Theorem Prover for Transformational Synthesis

Abstract

Transformational synthesis is the process of generating a hardware implementation from an initial behavioural description, by repeatedly applying transformations to the behavioural descriptions until a satisfactory implementation can be generated. It is essential to verify the correctness of the applied transformations if the final implementation is to… (More)

Topics

12 Figures and Tables

Slides referencing similar topics