TAILIEUCHUNG - Báo cáo " Verification of hazard, race and deadlock in GALS-circuit "

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. 1. Introduction GALS (Global Asynchronous - Local Synchronous) is a combined system. In order to create GALS, the system is divided into many moduls which are independent in respect. | VNU Journal of Science Mathematics - Physics 26 2010 55-58 Verification of hazard race and deadlock in GALS-circuit Nguyen Quy Thuong VNU 144 Xuan Thuy Cau Giay Hanoi Vietnam Received 9 November 2009 received in revised form 24 November 2009 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. 1. Introduction GALS Global Asynchronous - Local Synchronous is a combined system. In order to create GALS the system is divided into many moduls which are independent in respect of time local -synchro these moduls are included in one wrapper global - asynchrone . Image of a GALS - block is shown in Figure 1 5 E-mail cp4mua@ 55 56 . Thuong VNU Journal of Science Mathematics - Physics 26 2010 55-58 Fig. 1. GALS - Block include by a synchronous module have cover by a asynchronous wrapper. And asynchronous wrappers connect together as show on Figure 2 5 . asynchronous wrapper ATA OUT Locally -Synchronous Module neo A Clock Control Known wrapper components External clock Fig. 2. GALS wrapper with external clocksource. It should be confirmed that circuits of wrappers must suit their special properties and especially during working time not creating hazards which might affect working regime of wrappers. Of course it is impossible to determine all hazards in a circuit by incomplex tests. Checking a circuit can only point out the presence of mistakes but cannot change them. In order to ensure the accurate operation of a system of GALS it is necessary to verification asynchronous circuits during design process and changes of hazards deadlocks and signal race. Achieved results

TỪ KHÓA LIÊN QUAN
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.