A Specification Logic for Reconfigurable Computing

摘要

A common formal basis for representing the semantics of computations on the level close to hardware primitives is presented. This logic is expressive enough for describing, first, the structure of hierarchical configurations and, second, dataflow both on signal and object level. It has been used for synthesizing large configurations (algorithms) from their high-level specifications. A specification language based on this logic is outlined and examples are presented.