TAILIEUCHUNG - Models in Hardware Testing- P7

Models in Hardware Testing- P7:Model based testing is one of the most powerful techniques for testing hardware and software moving forward to nanoscaled CMOS circuits, we observe a plethora of new defect mechanisms, which require increasing efforts in systematic fault modeling and appropriate algorithms for test generation, fault simulation and diagnosis. | 172 S. Di Carlo and P. Prinetto 2-Coupling Static Faults 2-coupling static FFMs are faults described by FPs involving two f-cells f 2 and sensitized by the application of at most a single memory operation m 1 . In this condition one of the two f-cells usually denoted by the generic address v is the victim cell where the effect of the faulty behavior manifests while the second cell usually denoted by the generic address a is the aggressor cell responsible with the victim for producing the faulty behavior. With this distinction three classes of SOSs can be generated 1. No cell accessed the state of the cells sensitizes the fault. 2. Only the aggressor cell is accessed. 3. Only the victim cell is accessed the aggressor contributes to the fault simply with its initial state. Starting with this classification it is possible to enumerate the space of 2-coupling FPs of Table composed of 36 different FPs. Only those combinations of operations that actually represent a faulty behavior have been considered. As for the single-cell static FFMs this set of FPs can be grouped to define a set of seven well established and characterized FFMs 1. State Coupling Fault CFst the victim cell is forced into a given logic state when the aggressor cell is in a given state without performing any operation. As for the state fault this FFM is special as no operation is required to sensitize the fault. Four types of state coupling faults exist defined as xayv yv - g where x y 2 0 1 g. This covers FP1 FP2 FP3 andFP4. Table 2-coupling FP space FP FP 1 0a0v 1v - 19 0a0v w1 0v - 2 0a 1 v 0v 20 1a0v w1 0v - 3 1 a0v 1v - 21 0a1v w0 17- 4 1 a 1 v 0v 22 1a1v w0 17- 5 0a0v 1v - 23 0a1v w1 0v - 6 0a 1 v W- 0v 24 1a1v wg 0v - 7 0a0v W 1v - 25 0a0v r0 0v 1v 8 0a1v w 0v - 26 1a0v r0v 0v 1v 9 1a0v w 1 27 0a0v r0v 1v 0v 10 1a 1v W 28 1a0v r0v 1v 0v 11 1a0v w 1v - 29 0a0v r0v 1v 1v 12 1a1v w 0v - 30 1a0v r0v 1v 1v 13 0a0v r 1v - 31 0a1v rJ70v 0v 14 0a1v r0a 0v - 32 1a1v 0 70 15 1a0v r

• Quản trị mạng
• Hành trình mạng không dây
• mạng WiFi
• khắc phục sự cố mạng
• chia subnet
• giáo trình mạng máy tính
• Nhiễu kỹ thuật
• kết nối mạng không dây
• mạng không dây
• Các kỹ thuật kết nối mạng không dây
• công nghệ thông tin
• hệ điều hành
• kỹ thuật lập trình
• quản trị mạng
• WiFi
• WiMax
• Lập trình web Internet
• mạng máy tính
• tài liệu mạng máy tính
• chuyên ngành mạng máy tính
• câu hỏi về mạng máy tính
• giáo trình mạng cisco