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

Figure 8

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