Automatic synthesis and optimization of partially specified asynchronous systems
Document typeConference report
PublisherAssociation for Computing Machinery (ACM)
Rights accessOpen Access
A method for automating the synthesis of asynchronous control circuits from high level (CSP-like) and/or partial STG (involving only functionally critical events) specifications is presented. The method solves two key subtasks in this new, more flexible, design flow: handshake expansion, i.e. inserting reset events with maximum concurrency, and event reshuffling under interface and concurrency constraints, by means of concurrency reduction. In doing so, the algorithm optimizes the circuit both for size and performance. Experimental results show a significant increase in the solution space explored when compared to existing CSP-based or STG-based synthesis tools.
CitationKondratyev, A. [et al.]. Automatic synthesis and optimization of partially specified asynchronous systems. A: Design Automation Conference. "36th Design Automation Conference: Ernest N. Morial Convention Center, New Orleans, LA, June 21-25, 1999: proceedings". New York: Association for Computing Machinery (ACM), 1999, p. 110-115.