What is the algorithm to check one gate's output to be stuck-at-1 or stuck-at-0 ? Thanks in advance.