The logic of the system is fine, but it fails to take into account real components that fail in ways the abstraction doesn’t. For example, a flip-flop doesn’t necessarily fail in an 1/0 state ...

4] Logisim. Logisim is a portable logic gate simulator software for Windows 10. Hence, you need not install it on your PC. All the components required to build a circuit are available on the left ...