`Better than Human' TSC 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 input and 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'.

Benchmark Name (click for diagram) Discovered Overhead Eval Effort Σ Effort Comments
Two bit Multiplier (7 gates)[Hand Designed] 25    
Two bit Multiplier (7 gates)BabbageAug 2003810Adapted from Babbage ni old Hall of Fame. 
C17 (6 gates)[Hand Designed] 12    
C17 (6 gates)OdoMay 201873,8722,698,972,913,354,432 
CM138A (16 gates)[Hand Designed] 58    
CM138A (16 gates)ImotephAug 2003900Adapted from Imoteph in old Hall of Fame. 
B1 (6 gates)[Hand Designed] 23    
B1 (6 gates)HenmaniacAug 2003300Adapted from HENMANIAC in old Hall of Fame. 
CM42A (18 gates)[Hand Designed] 72    
CM42A (18 gates)LucyMay 2018813,456547,566,163,278,336 
Locked CM42A (18 gates)[Hand Designed] 72    
Locked CM42A (18 gates)The Blue OneFeb 20041210Adapted from The Blue One in old Hall of Fame. 
Decod (26 gates)[Hand Designed] 116    
Decod (26 gates)bwhite2Aug 20031600Adapted from bwhite2 in old Hall of Fame. 
Locked Decod (26 gates)[Hand Designed] 116    
Locked Decod (26 gates)Skratz 3dAug 20032000Adapted from Skratz 3d. in old Hall of Fame. 
Locked CM138A (16 gates)[Hand Designed] 58    
Locked CM138A (16 gates)BembelAug 20031000Adapted from Bembel in old Hall of Fame. 
GA Benchmark cm82a Series2 Standard Run19[Hand Designed] 22    
GA Benchmark cm82a Series2 Standard Run19MerckxMay 201949,2480 
DC1 (29 gates)[Hand Designed] 65    
DC1 (29 gates)Kitten ISep 200412119,558,232,053 
DC1 (29 gates) Locked OFG[Hand Designed] 65    
DC1 (29 gates) Locked OFGcompalexJul 20192930,9762,706,171,245,027,712 
RD53 (23 gates)[Hand Designed] 35    
RD53 (23 gates)BestiaPopSep 2004-121,602,011,676Optimised functional circuit beyond Sis. OH=-1. 
WIM (25 gates)[Hand Designed] 58    
WIM (25 gates)WimpySep 2004819,342,935,155 
WIM (22 gates) Locked OFG[Hand Designed] 58    
WIM (22 gates) Locked OFGBadabingJul 20193718,4964,821,122,328,781,760 
DC1 (29 gates)[Hand Designed] 65    
DC1 (29 gates)Bart ISep 200417119,558,232,053 
B1 (6 gates) Locked[Hand Designed] 23    
B1 (6 gates) LockedCameron ISep 2004300 
C17 (6 gates) Locked[Hand Designed] 12    
C17 (6 gates) LockedElizabeth IINov 2004900 
RD73 (49 gates)[Hand Designed] 61    
RD73 (49 gates)StudyNov 20040328,477,500,798 
CM82A (14 gates) Locked[Hand Designed] 22    
CM82A (14 gates) LockedBoothmonstaNov 2004911,465,900,379 
M1 (64 gates) Bigger genotype[Hand Designed] 130    
M1 (64 gates) Bigger genotypeG5May 201852577,600961,692,777,705,632,000 
Misex1 (47 gates)[Hand Designed] 83    
Misex1 (47 gates)GenepiJun 2018691,290,4963,659,694,746,276,399,104 
BW (139 gates) from DWC[Hand Designed] 301    
BW (139 gates) from DWCTuduryMar 20191041,450,000669,331,588,620,400,000 
F51M (59 gates) TSC from DWC[Hand Designed] 145    
F51M (59 gates) TSC from DWCNeoGenApr 2019-171,854,1761,063,252,320,674,940,928Optimised function circuit beyond both ABC and Sis 
X2(37 gates) TSC from DWC[Hand Designed] 73    
X2(37 gates) TSC from DWCwhizbangApr 2019292,211,2641,748,615,088,206,675,968 
ALU2 (293 gates) from DWC[Hand Designed] 323    
ALU2 (293 gates) from DWCWindsor0719May 201913712,674,1762,556,355,716,188,407,296 

`Better than Human' Fault-Secure Hall of Fame

Benchmark Name (click for diagram) Discovered Overhead Eval Effort Σ Effort Comments
P82 (81 gates) from DWC[Hand Designed] 159    
P82 (81 gates) from DWCLIWIsLandFeb 20192046,080576,429,400,124,328,960 
BW (139 gates) FS only from DWC[Hand Designed] 301    
BW (139 gates) FS only from DWCChipsMar 2019271,330,0003,189,307,246,983,759,872 
CLIP (193 gates) FS only from DWC[Hand Designed] 217    
CLIP (193 gates) FS only from DWCXtremiaApr 2019-4110,000,0001,000,568,444,950,000,000Optimised functional circuit beyond Sis. 
X2(37 gates) FS only from DWC[Hand Designed] 73    
X2(37 gates) FS only from DWCstephWM-1.Apr 2019202,011,264837,577,530,949,514,624 
F51M (59 gates) FS only from DWC[Hand Designed] 145    
F51M (59 gates) FS only from DWCBalaamApr 2019-17554,176638,070,509,015,746,688 
ALU2 (293 gates) FS only from DWC[Hand Designed] 323    
ALU2 (293 gates) FS only from DWCthalasyusApr 20196612,674,176667,083,362,147,612,800 
ALU4 (123 gates) FS only from DWC[Hand Designed] 165    
ALU4 (123 gates) FS only from DWCMrPhilixJun 201922519,110,65681,071,507,540,901,888