ALGEN

ALGORITMOS GENÉTICOS

Síntese de Circuitos Digitais

com Algoritmos Genéticos

Cecília Reis
email: cmr@isep.ipp.pt
 Programa
„ Síntese de Circuitos Combinatórios com Algoritmos
Genéticos
{ Introdução
{ Algoritmo Genético
{ Resultados da Simulação
{ Comparação dos Resultados
{ Análise da Escalabilidade

MEEC - MESTRADO EM ENG.ª ELECTROTÉCNICA E DE COMPUTADORES ALGEN 2009/2010 2

 Introdução (1)

„ Os Circuitos são especificados pela respectiva

Tabela de Verdade
„ Podem ter Várias Entradas e Várias Saídas
„ O Objectivo é gerar um Circuito Funcional com o
menor grau de Complexidade

MEEC - MESTRADO EM ENG.ª ELECTROTÉCNICA E DE COMPUTADORES ALGEN 2009/2010 3

 Introdução (2)

„ Definição do Problema

„ Para cada gate set o AG procura o espaço de

soluções através da simulação de evolução,
utilizando a técnica da sobrevivência do mais apto
MEEC - MESTRADO EM ENG.ª ELECTROTÉCNICA E DE COMPUTADORES ALGEN 2009/2010 4
 Algoritmo Genético (1)

„ Codificação do Circuito

cromossoma

„ Os circuitos são codificados como uma matriz

rectângular (row × column = r × c) de células
lógicas
MEEC - MESTRADO EM ENG.ª ELECTROTÉCNICA E DE COMPUTADORES ALGEN 2009/2010 5
 Algoritmo Genético (2)

„ Os Operadores Genéticos
{ População Inicial: P = 3000
{ Taxa de Cruzamento: CR = 95%
{ Taxa de Mutação: MR = 5%

„ Foi implementado um Algoritmo Elitista

MEEC - MESTRADO EM ENG.ª ELECTROTÉCNICA E DE COMPUTADORES ALGEN 2009/2010 6

 Algoritmo Genético (3)

„ A função de Aptidão (fitness function) F

f10 = 2ni × no
f2 = f2 + 1 if gate type = wire

⎧ f1 , F < f10
F =⎨
⎩ f1 + f 2 , F ≥ f10

MEEC - MESTRADO EM ENG.ª ELECTROTÉCNICA E DE COMPUTADORES ALGEN 2009/2010 7

 Resultados da Simulação (1)

„ 2-to-1 Multiplexer
13
Gset 6 Gset 4 Gset 3 Gset 2

12
Fitness Function ( F )

11

10
GA generated 2-to-1 Multiplexer circuit

9
10 100

Number of Generations (N )

MEEC - MESTRADO EM ENG.ª ELECTROTÉCNICA E DE COMPUTADORES ALGEN 2009/2010 8

 Resultados da Simulação (2)

„ One-bit Full Adder

20
Gset 6 Gset 4 Gset 3 Gset 2
Fitness Function ( F )

19

18

GA generated One-bit Full Adder circuit

17
10 100

Number of Generations (N )

MEEC - MESTRADO EM ENG.ª ELECTROTÉCNICA E DE COMPUTADORES ALGEN 2009/2010 9

 Resultados da Simulação (3)

„ Four-bit Parity Checker

26
Gset 6 Gset 4 Gset 3 Gset 2
25
Fitness Function ( F )

24

23

22
GA generated Four-bit Parity Checker circuit
21

20
10 100

Number of Generations (N )

MEEC - MESTRADO EM ENG.ª ELECTROTÉCNICA E DE COMPUTADORES ALGEN 2009/2010 10

 Resultados da Simulação (4)

„ Two-bit Multiplier
73

Gset 6 Gset 4 Gset 3 Gset 2

72
Fitness Function ( F )

71

70

69

68
100 1000 10000 GA generated Two-bit Multiplier circuit
Number of Generations (N )

MEEC - MESTRADO EM ENG.ª ELECTROTÉCNICA E DE COMPUTADORES ALGEN 2009/2010 11

 Comparação dos Resultados (1)

„ Para os quatro casos estudados:

{ em termos da Média do número de gerações necessárias
para obter a solução Nav
{ em termos da Média da função de Aptidão resultante Fav
100.00

Average Fitness function (Fav)

10000.00
Average Number of Generations

2-to-1 multiplexer
1000.00
One-bit adder
(Nav)

100.00
Four-bit parity
checker
10.00
T wo-bit multiplier

1.00 10.00
Gset 6 Gset 4 Gset 3 Gset 2 Gset 6 Gset 4 Gset 3 Gset 2
Gate Sets Gate Sets

MEEC - MESTRADO EM ENG.ª ELECTROTÉCNICA E DE COMPUTADORES ALGEN 2009/2010 12

 Análise da Escalabilidade (1)

„ Um problema sério que existe na Síntese de

Circuitos com Computação Evolutiva é o problema
de escala
„ Este problema tem a ver com o rápido crescimento
do número de portas lógicas à medida que o
número de entradas do circuito aumenta

MEEC - MESTRADO EM ENG.ª ELECTROTÉCNICA E DE COMPUTADORES ALGEN 2009/2010 13

 Análise da Escalabilidade (2)

„ Parity Checker Circuits

100 100

Nav Fav
10 10

6-bit
6-bit
4-bit
4-bit
1
2-bit 1
Gset 6 Gset 4 2-bit
Gset 3 Gset 2 Gset 6 Gset 4
Gset 3 Gset 2

MEEC - MESTRADO EM ENG.ª ELECTROTÉCNICA E DE COMPUTADORES ALGEN 2009/2010 14

 Análise da Escalabilidade (3)

„ Full-adder Circuits

10000
100
1000
Nav
100 Fav
10
10

1 2-bit
1-bit
Gset 6 Gset 4 1
2-bit
Gset 3 Gset 2 1-bit
Gset 6 Gset 4 Gset 3 Gset 2

MEEC - MESTRADO EM ENG.ª ELECTROTÉCNICA E DE COMPUTADORES ALGEN 2009/2010 15

 Bibliografia

„ John H. Holland, Adaptation in Natural and Artificial Systems.

Ann Arbor: University of Michigan Press, 1975.
„ Goldberg, D. E., Genetic Algorithms in Search Optimization and
Machine Learning, Addison-Wesley , 1989.
„ Lawrence Davis, Handbook of Genetic Algorithms, Van Nostrand
Reinhold, 1991;
„ Zebulum, R. S., Pacheco, M. A. and Vellasco, M. M.,
Evolutionary Electronics: Automatic Design of Electronic Circuits
and Systems by Genetic Algorithms, CRC Press, 2001.
„ The Genetic Algorithms Archive:
http://www.aic.nrl.navy.mil/galist/
„ Illinois Genetic Algorithms Laboratory:
http://www-illigal.ge.uiuc.edu/
MEEC - MESTRADO EM ENG.ª ELECTROTÉCNICA E DE COMPUTADORES ALGEN 2009/2010 16
 Programa (2)
„ Síntese de Circuitos Combinatórios com Algoritmos
Meméticos
{ Introdução
{ Algoritmo Memético
{ Algoritmo Genético
{ Algoritmo de Procura Local
{ Resultados Obtidos

MEEC - MESTRADO EM ENG.ª ELECTROTÉCNICA E DE COMPUTADORES ALGEN 2009/2010 17