self-checking synchronous sequential computer