The paper deals with architectural and schematic design of concurrently (on-line) self-checking Micro Program Control Units. The checking is organised by using a special check keys added to each ...