`Better than Human' Hall Of Fame

All results are free for anyone to use.

The circuits on this page have more stringent self-checking requirements than those found in the Old `Better than Human' Hall Of Fame. These requirements are the following:

All circuits listed below are Totally Self-Checking Networks with respect to single stuck-at faults at gate outputs. Errors are signalled by two-rail output Z_0, Z_1. During normal operation Z_0≠Z_1 and when signalling a fault Z_0=Z_1. So all these circuits fulfill the following properties:

Sequential circuits listed here are also Totally Self-Checking under the definitions:

Hand designed equivalents are mentioned for overhead comparison. They use duplication with inverted outputs at the same cost as duplication. They also use the required amount of two-rail checkers to collate error signals to a single two-rail output, each checker composed of 6 gates.

Some circuits have been evolved so that evolution was not allowed to alter the original synthesised benchmark circuit, it was only allowed to add logic around it. These circuits will be referred to as `Locked'.

Some circuits meet the Totally Self-Checking Goal - ie. circuit output will not be incorrect before an error is signalled - under multiple faults without the assumption that all input vectors are provided between fault arrivals. These circuits will be referred to as Absolutely Fault Secure and use Oscillation to signal errors.

Benchmark Name (click for diagram) Discovered Overhead Comments
Two bit Multiplier (7 gates)[Hand Designed] 25 
Two bit Multiplier (7 gates)BabbageAug 20038Adapted from Babbage ni old Hall of Fame. 
C17 (6 gates)[Hand Designed] 12 
C17 (6 gates)OdoMay 20187 
CM138A (16 gates)[Hand Designed] 58 
CM138A (16 gates)ImotephAug 20039Adapted from Imoteph in old Hall of Fame. 
B1 (6 gates)[Hand Designed] 23 
B1 (6 gates)HenmaniacAug 20033Adapted from HENMANIAC in old Hall of Fame. 
CM42A (18 gates)[Hand Designed] 72 
CM42A (18 gates)LucyMay 20188 
Locked CM42A (18 gates)[Hand Designed] 72 
Locked CM42A (18 gates)The Blue OneFeb 200412Adapted from The Blue One in old Hall of Fame. 
Decod (26 gates)[Hand Designed] 116 
Decod (26 gates)bwhite2Aug 200316Adapted from bwhite2 in old Hall of Fame. 
Locked Decod (26 gates)[Hand Designed] 116 
Locked Decod (26 gates)Skratz 3dAug 200320Adapted from Skratz 3d. in old Hall of Fame. 
Locked CM138A (16 gates)[Hand Designed] 58 
Locked CM138A (16 gates)BembelAug 200310Adapted from Bembel in old Hall of Fame. 
CM82A (14 gates)[Hand Designed] 22 
CM82A (14 gates)MerckxJul 20185 
DC1 (29 gates)[Hand Designed] 65 
DC1 (29 gates)Kitten ISep 200412 
RD53 (23 gates)[Hand Designed] 35 
RD53 (23 gates)BestiaPopSep 20040Optimised functional circuit beyond Sis. OH=-1. 
WIM (25 gates)[Hand Designed] 58 
WIM (25 gates)WimpySep 20048 
DC1 (29 gates)[Hand Designed] 65 
DC1 (29 gates)Bart ISep 200417 
B1 (6 gates) Locked[Hand Designed] 23 
B1 (6 gates) LockedCameron ISep 20043 
C17 (6 gates) Locked[Hand Designed] 12 
C17 (6 gates) LockedElizabeth IINov 20049 
RD73 (49 gates)[Hand Designed] 61 
RD73 (49 gates)StudyNov 20040 
CM82A (14 gates) Locked[Hand Designed] 22 
CM82A (14 gates) LockedBoothmonstaNov 20049 
M1 (64 gates) Bigger genotype[Hand Designed] 130 
M1 (64 gates) Bigger genotypeG5May 201852 
Misex1 (47 gates)[Hand Designed] 83 
Misex1 (47 gates)GenepiJun 201869