| Ch. Ykman Couvreur, P. Vanbekbergen, and B. Lin. Assassin: An Asynchronous I/O Interface Synthesis System. Tutorial and reference manual. IMECLab.,October 1993. |
....contains only simple signal transitions, which corresponds to a signal transition graph model [6] that specifies the collective control behavior. The control signal transition graph is then synthesized to hazard free gate level logic using well optimized low level algorithmic synthesis methods [12, 6, 10, 11, 18, 3]. During the controller synthesis phase, internal control signals introduced from the refinement process may be flatten away. Thus, the synthesized solutions need not be constrained by the initial refinement structure. An important aspect of our approach is that we use an algorithmic synthesis ....
....steps for synthesizing the external communication actions and protocol conversion. Section 6 describes in details the application of our compilation method to design examples. 2 Related Work Automated logic synthesis tools have been developed for the synthesis of asynchronous control circuits [3, 6, 10, 11, 12, 18]. They are based on a low level specification at the level of binary signal transitions, e.g. signal transition graphs [6] Though there exist powerful methods for synthesizing optimized hazard free implementations, the specification and synthesis methods are too low level for the problem here. ....
[Article contains additional citation context not shown here]
Ch. Ykman Couvreur, P. Vanbekbergen, and B. Lin. Assassin: An Asynchronous I/O Interface Synthesis System. Tutorial and reference manual. IMECLab.,October 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC