Báo cáo nghiên cứu khoa học: " Verification of hazard, race and deadlock in GALS-circuit"
lượt xem 1
download
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.
Bình luận(0) Đăng nhập để gửi bình luận!
Nội dung Text: Báo cáo nghiên cứu khoa học: " Verification of hazard, race and deadlock in GALS-circuit"
- 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@yahoo.com.vn 55
- 56 N.Q. 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]. 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 will be included in circuit design. Wrapper will be restructured and verification for substitution. 2. Removal of hazard, race and deadlocks from GALS - circuit Petrinets describe a display mean for race of different signals and be popular formalismus for modellizing asynchronous circuits. There are two different starting points: modelling of level and impulse flank. In impulse flank use, special properties of a asynchronous circuit are described as Signal Transition Graph, STG. STGs is a special type of Petrinets and their transitionen is described by impulse flank. Circuit of a transition is modelled in suitability with effect of a impulse flank in a asynchronous circuit. This model requires strictness for changes of transitions of a signal. In level based use, a binary signal is modelled by 2 positions (Signallevel 0 and 1). A mark is in correspondence with a level of signal. Circuit of a transition describes a change of a signal. On the contrary, a symbol in use based on impulse flank is not modelled following level but following change of a impulse flank of a signal as well as change of signal level. Using following impulse flank is more
- 57 N.Q. Thuong / VNU Journal of Science, Mathematics - Physics 26 (2010) 55-58 suitable than other models to simulate circuit elements like XOR, or Mueler – C while level model is used to simulate AND and OR gates. In order to analyze properties of Deadlock and Hazard in Petrinets of wrappers, for each gate type, there will be a petrinetsample. This type ensures all necessary information for detecting a hazard in the circuit. After all transitions of a closed petrinetsample, from its distribution place, more than one mark will be created to suit level change of two input signals. This level occurs in a very short period. If it occurs at a gate, two input signals will simultaneously changes their values and corresponding gate in circuit can create hazards [2]. Joint wrapper model is created from an constitution of a petrinetsample which suits list of gattnet. After having a mark, a model check set by LoLA (Low Level Analyse) can be used. LoLA checks an available model as a petrinet with temporary properties, in which, this transition system is organized and analysed. In here, LoLA uses the technique of reducing big capacity to avoid explosion. Therefore, status space which needs to be surveyed can be limited. For each gate of circuit, hazards at output points shall be determined if they are available or not. Of course, this reducing technique which is applied in case of models is not enough to limit the status space. Thus, we may use the method of abstraction. The aim of this method is to make the transition system small but not lose properties which need to be controlled. Wrapper model is divided into n elements. Each element will combines with an abstracted area (abstraction of all n different - 1 element) to create a model. The concept is to only survey hazards at all gates in a element. This element is available as a concrete petrinetsample in a abstract adjacent area. Abstact adjacent area comprises of abstraction following step by step method which is describe by imitative relation between concrete model and abstract model. Imitation is a relation which is described by mathematics, presenting the relation of concrete system an abstract system. With more carefully survey, LoLA can determine routes with fault in the transition system. This route is considered as a set to translate preceding data into corresponding rows of signals. In wrapper circuit, this row of signals will be checked. If there is actually any hazard, selected structures of circuit must be found out. Based on analysis results, the circuit will be newly structured to create proper time ties. Logical connection of gates will be restructured until the circuit is suitable with desired relations. After that, models are continuously surveyed by LoLA. These processes will be repeated until there is no fault in working mode of the circuit. Following this method, hazard, signal race and deadlock in wrapper can be wiped out. If our assumptions are correct, there will be no fault in the circuit. 3. Conclusion Depend on Petrinets combine with a model check set by LoLA, status space hazard, race, deadlock which needs to be surveyed can be limited, to say this method is to make the transition system small but not lose properties which need to be controlled. This time Wrapper model is divided into n small elements. Each element will combines with an abstracted area . This combine which is describe by imitative relation between concrete model and abstract model. From here we have determine routes with fault in the transition system. These processes will be repeated until there is no fault in working mode of the circuit. Obvious to verification hazard, race, deadlock in GALS then can not use this methods Karnaugh map, circuit and Booleal algebra, matrix methode.
- 58 N.Q. Thuong / VNU Journal of Science, Mathematics - Physics 26 (2010) 55-58 References [1] John Knight, Glitches and Hazards in Digital Circuits, Electronics Department, Carleton University April 1, 2006. [2] Nguyen Quy Thuong, Hazard Essence – Process, Vietnam University Publishing House, Hanoi (in Vietnamese) 2009, 180 [3] E.C. Tan, M.H. Ho, Matrix method to detect logic Hazard in combinational cicuits with EX –OR gates, Nanyang Tachnological University, Singapore. [4] Nguyen Quy Thuong, Hazard removal solution by synchronization, VNU Journal of Science, Vol.25, 2009. [5] Frank Winker, Entwurf und VHDL – Modellierung von mesochronen GALS – Schaltungen, Humboldt universitaet zu Berlin, 2006
CÓ THỂ BẠN MUỐN DOWNLOAD
-
Báo cáo nghiên cứu khoa học: "NGHIÊN CỨU CHẤT LƯỢNG NƯỚC VÀ TÔM TỰ NHIÊN TRONG CÁC MÔ HÌNH TÔM RỪNG Ở CÀ MAU"
12 p | 1361 | 120
-
Báo cáo nghiên cứu khoa học: "NGHIÊN CỨU PHỐI TRỘN CHI TOSAN – GELATI N LÀM MÀNG BAO THỰC PHẨM BAO GÓI BẢO QUẢN PHI LÊ CÁ NGỪ ĐẠI DƯƠNG"
7 p | 514 | 45
-
Báo cáo nghiên cứu khoa học: "NGHIÊN CỨU THỰC NGHIỆM ẢNH HƯỞNG CỦA MƯA AXÍT LÊN TÔM SÚ (PENAEUS MONODON)"
5 p | 453 | 44
-
Báo cáo nghiên cứu khoa học: "Cái tôi trữ tình trong thơ Nguyễn Quang Thiều."
10 p | 609 | 43
-
Báo cáo nghiên cứu khoa học: "NGHIÊN CỨU ĐẶC ĐIỂM SINH HỌC DINH DƯỠNG VÀ SINH SẢN CỦA LƯƠN ĐỒNG (Monopterus albus)"
12 p | 300 | 43
-
Báo cáo nghiên cứu khoa học: "Giọng điệu thơ trào phúng Tú Mỡ trong “Dòng nước ngược”"
8 p | 319 | 43
-
Báo cáo nghiên cứu khoa học: "TÌNH HÌNH SỬ DỤNG THỨC ĂN TRONG NUÔI CÁ TRA VÀ BASA KHU VỰC ĐỒNG BẰNG SÔNG CỬU LONG"
8 p | 221 | 38
-
Báo cáo nghiên cứu khoa học: "ỨNG DỤNG PHƯƠNG PHÁP PCR-GENOTYPI NG (ORF94) TRONG NGHIÊN CỨU VI RÚT GÂY BỆNH ĐỐM TRẮNG TRÊN TÔM SÚ (Penaeus monodon)"
7 p | 378 | 35
-
Báo cáo nghiên cứu khoa học: "NGHIÊN CỨU CẢI TIẾN HỆ THỐNG NUÔI KẾT HỢP LUÂN TRÙNG (Brachionus plicatilis) VỚI BỂ NƯỚC XANH"
11 p | 383 | 29
-
Báo cáo nghiên cứu khoa học: "Vai trò của toán tử tình thái trong tác phẩm của Nguyễn Công Hoan (Qua phân tích truyện ngắn Mất cái ví)"
8 p | 267 | 24
-
Báo cáo nghiên cứu khoa học: "Quan hệ giữa cấu trúc và ngữ nghĩa câu văn trong tập truyện ngắn “Đêm tái sinh” của tác giả Trần Thuỳ Mai"
10 p | 426 | 23
-
Báo cáo nghiên cứu khoa học: " NGHIÊN CỨU TẠO KHÁNG THỂ ĐƠN DÒNG VI-RÚT GÂY BỆNH HOẠI TỬ CƠ QUAN TẠO MÁU VÀ DƯỚI VỎ (IHHNV) Ở TÔM PENAEID"
6 p | 350 | 23
-
Báo cáo nghiên cứu khoa học: "NGHIÊN CỨU DÙNG ARTEMIA ĐỂ HẠN CHẾ SỰ PHÁT TRIỂN CỦA TIÊM MAO TRÙNG (Ciliophora) TRONG HỆ THỐNG NUÔI LUÂN TRÙNG"
10 p | 366 | 18
-
Báo cáo nghiên cứu khoa học: " NGHIÊN CỨU THIẾT LẬP HỆ THỐNG NUÔI KẾT HỢP LUÂN TRÙNG (Brachionus plicatilis) VỚI BỂ NƯỚC XANH"
10 p | 369 | 16
-
Báo cáo nghiên cứu khoa học: " NGHIÊN CỨU PHÂN VÙNG THỦY VỰC DỰA VÀO QUẦN THỂ ĐỘNG VẬT ĐÁY"
6 p | 347 | 16
-
Báo cáo nghiên cứu khoa học: " NGHIÊN CỨU THAY THẾ THỨC ĂN SELCO BẰNG MEN BÁNH MÌ TRONG NUÔI LUÂN TRÙNG (Brachionus plicatilis) THÂM CANH"
10 p | 344 | 15
-
Báo cáo nghiên cứu khoa học: " CẬP NHẬT VỀ HỆ THỐNG ĐỊNH DANH TÔM BIỂN VÀ NGUỒN LỢI TÔM HỌ PENAEIDAE Ở VÙNG VEN BIỂN ĐỒNG BẰNG SÔNG CỬU LONG"
10 p | 192 | 14
-
Báo cáo nghiên cứu khoa học công nghệ: Kết quả nghiên cứu lúa lai viện cây lương thực và cây thực phẩm giai đoạn 2006 - 2010
7 p | 186 | 13
Chịu trách nhiệm nội dung:
Nguyễn Công Hà - Giám đốc Công ty TNHH TÀI LIỆU TRỰC TUYẾN VI NA
LIÊN HỆ
Địa chỉ: P402, 54A Nơ Trang Long, Phường 14, Q.Bình Thạnh, TP.HCM
Hotline: 093 303 0098
Email: support@tailieu.vn