Title: | Verification of hazard, race and deadlock in GALS-circuit |
Author: | Nguyen, Quy Thuong |
Abstract: | It is not easy to point out Hazards and Deadlock in a circuit with a complex structure. Determination methods for Hazard, Race, Deadlock in [1-3] cannot be applied to this case. With complex circuit structure, specific solution must be offered for each circuit type such as solution of synchonization for asynchronous circuits [4]. GALS circuit is a complex circuit system; thus, the above-mentioned solution is also applied to this circuit |
URI: | http://tainguyenso.vnu.edu.vn/jspui/handle/123456789/12348 |
Date: | 2010 |
Files | Size | Format | View |
---|---|---|---|
8.pdf | 95.75Kb |
View/ |