Verification of hazard, race and deadlock in GALS-circuit - Nguyen Quy Thuong.