Synthesis of concurrent system interface modules with automatic protocol conversion generation

-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex concurrent control flow, logical and arithmetic computations, abstract communiand 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.

• Type: Conference
• Year: 1994
• Where: ICCAD
• Authors: Bill Lin, Steven Vercauteren
• Keywords: Hardware, ICCAD 1994, Interface Modules, Necessary Protocol Conversion, Protocol Conversion Behaviors