Use of a Theorem Prover for Transformational Synthesis


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)


12 Figures and Tables

Slides referencing similar topics