This document describes a genetic algorithm approach to synthesizing synchronous sequential logic circuits from partial input/output sequences. The input to the synthesizer is a partial sequence of inputs and corresponding outputs, rather than a complete state table or diagram. The genetic algorithm searches for circuits that represent the desired state transition function. It was able to successfully synthesize various simple sequential circuits like counters, adders, frequency dividers, and more. The analysis also looked at how the length of the input/output sequence affects the efficiency of the synthesizer.

1. 6QWKHVLV RI 6QFKURQRXV 6HTXHQWLDO /RJLF &LUFXLWV
IURP 3DUWLDO ,QSXW2XWSXW 6HTXHQFHV
KDLDVLW 0DQRYLW KDWFKDZLW $SRUQWHZDQ DQG 3UDEKDV KRQJVWLWYDWDQD
'HSDUWPHQW RI RPSXWHU (QJLQHHULQJ )DFXOW RI (QJLQHHULQJ KXODORQJNRUQ 8QLYHUVLW
%DQJNRN 7KDLODQG
SUDEKDV#FKXODDFWK
$EVWUDFW 7KLV ZRUN WDNHV D GLIIHUHQW DSSURDFK WR VQWKHVL]H D VQFKURQRXV
VHTXHQWLDO ORJLF FLUFXLW 7KH LQSXW RI WKH VQWKHVL]HU LV D SDUWLDO LQSXWRXWSXW
VHTXHQFH 7KLV WSH RI VSHFLILFDWLRQ LV QRW VXLWDEOH IRU FRQYHQWLRQDO VQWKHVLV
PHWKRGV *HQHWLF $OJRULWKP *$

2. ZDV DSSOLHG WR VQWKHVL]H WKH GHVLUHG FLUFXLW
WKDW SHUIRUPV DFFRUGLQJ WR WKH LQSXWRXWSXW VHTXHQFHV *$ VHDUFKHV IRU FLUFXLWV
WKDW UHSUHVHQW WKH GHVLUHG VWDWH WUDQVLWLRQ IXQFWLRQ $GGLWLRQDO FRPELQDWLRQ
FLUFXLWV WKDW PDS VWDWHV WR WKH FRUUHVSRQGLQJ RXWSXWV DUH VQWKHVL]HG E
FRQYHQWLRQDO PHWKRGV 7KH WDUJHW RI RXU VQWKHVLV LV D WSH RI UHJLVWHUHG
3URJUDPPDEOH $UUD /RJLF ZKLFK LV FRPPHUFLDOO DYDLODEOH DV *$/ :H DUH
DEOH WR VQWKHVL]H YDULRXV WSHV RI VQFKURQRXV VHTXHQWLDO ORJLF FLUFXLW VXFK DV
FRXQWHU VHULDO DGGHU IUHTXHQF GLYLGHU PRGXOR GHWHFWRU DQG SDULW FKHFNHU
,QWURGXFWLRQ
7KH FRQYHQWLRQDO PHWKRG WR VQWKHVL]H D VHTXHQWLDO ORJLF FLUFXLW UHTXLUHV NQRZOHGJH
RI WKH FLUFXLW¶V EHKDYLRU LQ WKH IRUP RI D VWDWH GLDJUDP $ VHTXHQWLDO QHWZRUN LV D
FRPPRQ VWDUWLQJ SRLQW IRU VHTXHQWLDO VQWKHVLV VVWHP VXFK DV %HUNHOH 6QWKHVLV
6VWHP 6,6 @ :H DLP WR UHDOL]H DQ HYROYDEOH KDUGZDUH WKDW FDQ PLPLF RWKHU
VHTXHQWLDO FLUFXLW E REVHUYLQJ LWV SDUWLDO LQSXWRXWSXW VHTXHQFHV ,Q WKLV FDVH FLUFXLW
VSHFLILFDWLRQV DUH LQ WKH IRUP RI SDUWLDO LQSXWRXWSXW VHTXHQFHV ZKLFK DUH QRW VXLWDEOH
WR VQWKHVL]H D FLUFXLW E WKH FRQYHQWLRQDO PHWKRG *HQHWLF $OJRULWKP *$

3. @ LV
XVHG WR VHDUFK IRU FLUFXLWV WKDW UHSUHVHQW WKH GHVLUHG VWDWH WUDQVLWLRQ IXQFWLRQ
$GGLWLRQDO FRPELQDWLRQ FLUFXLWV WKDW PDS VWDWHV WR WKH FRUUHVSRQGLQJ RXWSXWV DUH
VQWKHVL]HG E FRQYHQWLRQDO PHWKRGV 7KH VLPXODWHG HYROXWLRQ KDV EHHQ XVHG WR
VQWKHVL]H D ILQLWH VWDWH PDFKLQH )60

4. LQ @ ZKHUH WKH UHVXOWLQJ )60 FDQ SUHGLFW
WKH RXWSXW VPERO EDVHG RQ WKH VHTXHQFH RI LQSXW VPEROV REVHUYHG ,Q FRQWUDVW WR
UHSUHVHQWLQJ FLUFXLWV DV )60V @ SURSRVHV WKH DXWRPDWHG KDUGZDUH GHVLJQ DW WKH
+DUGZDUH 'HVFULSWLRQ /DQJXDJH OHYHO XVLQJ *$ @ GHVFULEHV WKH HYROXWLRQ RI
KDUGZDUH DW IXQFWLRQOHYHO EDVHG RQ UHFRQILJXUDEOH ORJLF GHYLFHV @ HYROYHG
FLUFXLWV DW WKH ORZHVW OHYHO LQ WKH DFWXDO ORJLF GHYLFHV XVLQJ UHDOWLPH LQSXWRXWSXW
2XU ZRUN LV VLPLODU WR @ LQ WKH XVH RI )60 EXW ZH XVH )60 DV WKH PRGHO RI WKH
GHVLUHG FLUFXLW EHKDYLRU :H DLP WR HYROYH WKH FLUFXLW DW WKH ORJLF GHYLFH OHYHO VLPLODU

5. WR @ 7KH IROORZLQJ VHFWLRQV GHVFULEH RXU VQWKHVLV PHWKRG WKH H[SHULPHQW LQ
VQWKHVL]LQJ YDULRXV VLPSOH VHTXHQWLDO FLUFXLWV DQG WKH DQDOVLV RI WKH UHVXOW 1RWDEO
WKH DQDOVLV DERXW WKH OHQJWK RI WKH LQSXWRXWSXW VHTXHQFH ZKLFK KDV LPSOLFDWLRQ RQ
WKH HIILFLHQF RI WKH VQWKHVL]HU
7KH VQWKHVL]HU
:H XVH 3URJUDPPDEOH /RJLF 'HYLFH 3/'

6. DV RXU WDUJHW VWUXFWXUH )RU VLPSOLFLW ZH
XVHG *$/ VWUXFWXUH ZKLFK LV FRPSRVHG RI URZV RI WZROHYHO VXPRISURGXFW
3URJUDPPDEOH $UUD /RJLF 3$/

7. FRQQHFWHG WR ' IOLSIORSV 7KH LPSOHPHQWHG PRGHO
KDV IRXU ORJLF WHUPV SHU RQH IOLSIORS DQG KDV D WRWDO RI IRXU IOLSIORSV $ FLUFXLW LV
VSHFLILHG E D OLQHDU ELWVWULQJ UHSUHVHQWLQJ DOO FRQQHFWLRQ SRLQWV ZKLFK LV HQWLUHO
ELWV LQ OHQJWK :H DSSOLHG *HQHWLF $OJRULWKP WR VQWKHVL]H VLPSOH FLUFXLWV VXFK
DV FRXQWHU VHULDO DGGHU IUHTXHQF GLYLGHU PRGXOR GHWHFWRU DQG SDULW FKHFNHU 7KH
VSHFLILFDWLRQ RI D GHVLUHG FLUFXLW LV LQ WKH IRUP RI D SDUWLDO LQSXWRXWSXW VHTXHQFH 7KH
FLUFXLW DFTXLUHG IURP WKH HYROXWLRQ SURFHVV ZLOO UHDOL]H RQO WKH VWDWH WUDQVLWLRQ SDUW
7KH RXWOLQH RI WKH VQWKHVL]HU¶V VWHSV LV DV IROORZV
VDPSOH D SDUWLDO LQSXWRXWSXW VHTXHQFH IURP WKH WDUJHW FLUFXLW
XVH WKH VHTXHQFH DV LQSXWV RI WKH VQWKHVL]HU SURJUDP
YHULI WKH UHVXOWLQJ FLUFXLW LI WKH UXQ LHOGV D VROXWLRQ ZLWKLQ JHQHUDWLRQV
EHFDXVH *$ LV D SUREDELOLVWLF DOJRULWKP QRW DOO UXQV DUH VXFFHVVIXO LQ LHOGLQJ
D VROXWLRQ E WKH VSHFLILF JHQHUDWLRQ

8. *HQHWLF 2SHUDWLRQV
(DFK LQGLYLGXDO LV UHSUHVHQWHG E D ELW ELWVWULQJ :H GHILQHG JHQHWLF RSHUDWRUV DV
IROORZV
5HSURGXFWLRQ 7HQ QHZ RIIVSULQJV VXUYLYH LQ WKH QH[W JHQHUDWLRQ E VHOHFWLQJ
WKH ILUVW ILWWHVW LQGLYLGXDOV RUGHUHG E FRPELQHG UDQN PHWKRG @
FDOFXODWHG IURP HDFK LQGLYLGXDO¶V ILWQHVV UDQN DQG LWV GLYHUVLW UDQN