Vladimir Frantisek Berka

• Fault detection in sequential circuits