| publication name | Deadlock Detection in Conditional Asynchronous Circuits Under Mismatched Branch Selection |
|---|---|
| Authors | Eslam Yahya, Hatem Zakaria, and Yehea I. Ismail |
| year | 2015 |
| keywords | Deadlock, and Asynchronous Circuits |
| journal | IEEE International Conference on Electronics, Circuits, and Systems (ICECS) |
| volume | Not Available |
| issue | Not Available |
| pages | pp. 596 - 600 |
| publisher | IEEE Xplore |
| Local/International | International |
| Paper Link | http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=7440387&url=http%3A%2F%2Fieeexplore.ieee.org%2Fxpls%2Fabs_all.jsp%3Farnumber%3D7440387 |
| Full paper | download |
| Supplementary materials | Not Available |
Abstract
In this paper we introduce an algorithm that detects the deadlock in conditional asynchronous circuits when the selection controls are not matched. By knowing the slack in each branch and the detailed selection pattern for each Split and Merge, the algorithm detects the deadlock, specifies the branch at which the deadlock occurs, and determines how much slack is needed to free the deadlock. The proposed algorithm is implemented and tested against Verilog simulation.