Automated synthesis of systems with interacting asynchronous (self-timed) and synchronous components
P. A. Subrahmanyam · 2003
Techniques for the specification and automated synthesis of systems containing a mixture of synchronous and asynchronous (self-timed) subsystems are discussed. The input to the system consists of the behavior and performance specifications for a set of processes that interact by communicating over channels connecting typed ports; a graphical perspective on temporal constraints is provided via a timing diagram editor. Factors that influence the decomposition of the overall system into subprocesses and the choice of implementation styles include external interface constraints, system performance requirements, and system design complexity. Syntax-directed transformations are applied to the initial specification to generate a hierarchical structural description. Existing logic optimization and physical layout tools are then used to produce either standard cell or custom CMOS layouts. Fragments of the design of a processor interface board are used to illustrate various concepts.>