We describe a new high-level compiler called  Integral  for designing system interface modules. The input is a high-level concurrent algorithmic specification that can model complex concurrent control flow, logical and arithmetic computations, abstract communication, and low-level behavior. For abstract communication between two communicating modules that obey different I/O protocols, the necessary  protocol conversion behaviors  are automatically synthesized using a Petri net theoretic approach. We present a synthesis trajectory that can synthesize the necessary hardware resources, control circuitry, and protocol conversion behaviors for implementing system interface modules.
['Bill Lin', 'Steven Vercauteren']
Synthesis of concurrent system interface modules with automatic protocol conversion generation