Consider a functional bug in the logic associated with a down counter which waits for the arrival of an external signal asynchronous signal EXTERNAL_FORCE_COUNT_RESET as shown in figure 1, where the ...