A Discrete Event System Approach to Online Testing of Speed Independent Circuits

Figure 7

STG level model of stuck-at-0 fault in Line 2.