TAILIEUCHUNG - Báo cáo nghiên cứu khoa học: " Verification of hazard, race and deadlock in GALS-circuit"

Nó không phải là dễ dàng chỉ ra mối nguy hiểm và bế tắc trong một mạch với một cấu trúc phức tạp. Phương pháp xác định mối nguy, Chủng tộc, bế tắc trong [1-3] không thể được áp dụng cho trường hợp này. | 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

• Báo cáo khoa học
• trình bày báo cáo
• tài liệu báo cáo nghiện cứu khoa học
• cách trình bày báo cáo
• báo cáo ngành văn học
• báo cáo tiếng anh
• PHƯƠNG PHÁP TRÌNH BÀY BÁO CÁO
• KĨ NĂNG TRÌNH BÀY BÁO CÁO
• MẸO TRÌNH BÁY BÁO CÁO
• TRÌNH BÀY BÁO CÁO KHOA HỌC
• TRÌNH BÀY LUẬN VĂN BÁO CÁO
• Hình thức báo cáo thực tập
• Báo cáo thực tập tốt nghiệp
• Báo cáo thực tập
• Trình bày báo cáo thực tập
• Hướng dẫn trình bày báo cáo
• Hướng dẫn viết báo cáo
• Mẫu báo cáo
• Cách trình bày luận văn
• Cách trình bày khóa luận
• Thể thức của báo cáo
• trình bày luận văn
• tài liệu báo cáo khoa học
• báo cáo nông nghiệp
• báo cáo y dược
• báo cáo sinh học
• chăn nuôi lợn
• Kỹ năng trình bày báo cáo
• Kỹ năng thuyết trình
• Thiết kế slide
• Định dạng văn bản
• Nội dung trình bày báo cáo
• Thời gian thuyết trình
• Thực tập chuyên ngành
• Hướng dẫn viết tiểu luận
• Cấu trúc báo cáo
• Cách thể hiện báo cáo
• Nội dung báo cáo
• cách trình bày báo cáo khoa học
• báo cáo khoa học sinh học
• báo cáo khoa học toán học
• báo cáo khoa học
• thơ lục bát
• chăn nuôi
• báo cáo ngành kỹ thuật
• báo cáo ngành nông nghiệp
• báo cáo ngành ngoại ngữ
• báo cáo kinh tế
• báo cáo ngành tin học
• tài liệu báo cáo nghiên cứu khoa học
• báo cáo ngành y học
• trình bày thông tin tài sản thiếu trong báo cáo tài chính
• trình bày thông tin tài sản
• trình bày thông tin tài sản trong báo cáo tài chính doanh nghiệp
• phân tích tài chính
• tài chính doanh nghiệp
• phân tích tài chính doanh nghiệp
• báo cáo tài chính
• Tài liệu về trình bày đồ án
• Trình bày đồ án tốt nghiệp
• Quy định trình bày báo cáo cáo chuyên đề
• Quy định trình bày bài tập lớn
• Viện Đại học Mở Hà Nội
• mẫu báo cáo thực tập tốt nghiệp
• trình bày luận án
• cách viết báo cáo tốt nghiệp
• báo cáo tốt nghiệp
• Báo cáo phân tích ngành hàng hải
• báo cáo khoa học kinh tế
• báo cáo kỹ thuật