“…To build O in , the observable condition O out , for the gated FF output, can be used with extra signals (z i , pending i , f ailed i and accept i ), en old and en new as shown in Figure 5 After constructing all signals required by Formula 5.1, the algorithm proposed in [10] is used to verify the observability clock-gating condition. For further details, please refer to the reference cited.…”