Dhep - Distributed Hardware Evolution Project, Поиск более экономичных и надежных аналогов нынешних електросхем Налаштування

[nikelong]

Проект "Dhep - Distributed Hardware Evolution Project"

----------------------------------------------------------------------------------------------------------

• Официальный сайт
• Статистика по команде "Ukraine"

----------------------------------------------------------------------------------------------------------
Дата основания команды - 02.2005 Капитан - Death
----------------------------------------------------------------------------------------------------------

Death в гордом одиночестве привел команду к финишу на 269-м месте, а сам обосновался на 1600-м месте по проекту с 1440 набраными очками.

Цели:

1. поиск значительно более экономичных и надежных аналогов применяющихся сейчас электронных схем;
2. изучение таких схем для разработки общих методов проектирования более эффективных цифровых устройств.

Современные эволюционные алгоритмы позволяют создавать чрезвычайно любопытные устройства, параметры которых с точки зрения традиционного проектирования выглядят абсолютно фантастическими. Реально ли достичь подобных результатов традиционными методами? Зачастую вообще не понятно, как именно работает та или иная схема - большинство высокоэффективных схем, полученных с помощью генетических алгоритмов, все еще остаются для ученых "черными ящиками". Понимание принципов их работы позволило бы заметно улучшить характеристики всех окружающих нас электронных устройств: снизить стоимость, сократить энергопотребление или увеличить надежность, не теряя при этом в производительности.

Нплохое описание проекта расположено здесь.

Результаты:
Вот что выложено на странице "Результаты" официального сайта:

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:

* Self-Testing: For every fault, there is an input word which will cause Z_0=Z_1.
* Fault-Secure: For every fault and input word, circuit output is either correct or Z_0=Z_1.

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

* Self-Testing: For every fault, there is an input word and state combination which will cause Z_0=Z_1.
* Fault-Secure: For every fault, input word and state, circuit output is either correct or Z_0=Z_1.

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)    Babbage    Aug 2003    8    Adapted from Babbage ni old Hall of Fame.
C17 (6 gates)    [Hand Designed]         12    
C17 (6 gates)    Dharken    Jul 2003    8    Adapted from Dharken in old Hall of Fame
CM138A (16 gates)    [Hand Designed]         58    
CM138A (16 gates)    Imoteph    Aug 2003    9    Adapted from Imoteph in old Hall of Fame.
B1 (6 gates)    [Hand Designed]         23    
B1 (6 gates)    Henmaniac    Aug 2003    3    Adapted from HENMANIAC in old Hall of Fame.
CM42A (18 gates)    [Hand Designed]         26    
CM42A (18 gates)    HotBrain    Jun 2004    10    
Locked CM42A (18 gates)    [Hand Designed]         26    
Locked CM42A (18 gates)    The Blue One    Feb 2004    12    Adapted from The Blue One in old Hall of Fame.
Decod (26 gates)    [Hand Designed]         116    
Decod (26 gates)    bwhite2    Aug 2003    16    Adapted from bwhite2 in old Hall of Fame.
Locked Decod (26 gates)    [Hand Designed]         116    
Locked Decod (26 gates)    Skratz 3d    Aug 2003    20    Adapted from Skratz 3d. in old Hall of Fame.
Locked CM138A (16 gates)    [Hand Designed]         58    
Locked CM138A (16 gates)    Bembel    Aug 2003    10    Adapted from Bembel in old Hall of Fame.
CM82 (14 gates)    [Hand Designed]         22    
CM82 (14 gates)    Rocio    May 2004    8    
DC1 (29 gates)    [Hand Designed]         65    
DC1 (29 gates)    Kitten I    Sep 2004    12    
RD53 (23 gates)    [Hand Designed]         35    
RD53 (23 gates)    BestiaPop    Sep 2004    0    Optimised functional circuit beyond Sis. OH=-1.
WIM (25 gates)    [Hand Designed]         58    
WIM (25 gates)    Wimpy    Sep 2004    8    
DC1 (29 gates)    [Hand Designed]         65    
DC1 (29 gates)    Bart I    Sep 2004    17    
B1 (6 gates) Locked    [Hand Designed]         23    
B1 (6 gates) Locked    Cameron I    Sep 2004    3    
C17 (6 gates) Locked    [Hand Designed]         12    
C17 (6 gates) Locked    Elizabeth II    Nov 2004    9    
RD73 (49 gates)    [Hand Designed]         61    
RD73 (49 gates)    Study    Nov 2004    0    
CM82A (14 gates) Locked    [Hand Designed]         0    
CM82A (14 gates) Locked    Boothmonsta    Nov 2004    9    

Project Info

* Year of conclusion: 2005
* Number of teams: 369
* Number of participants: 3,076
* Running platforms: Windows, Linux, MacOS X

http://www.free-dc.org/forum/forumdisplay.php?&forumid=56

Це повідомлення відредагував nikelong: Aug 30 2010, 00:14