7/30/2019 Self Checking Design | - 5

1/103

:

Ehmeiiei Pspyehp IepcoaPedb @ge`lcao Iepcoa

70(25:

7/30/2019 Self Checking Design | - 5

2/103

=

Cay}fiu`ycfa [}ercfupds we gjre `fapcie}ei yge {}fmdehp jppf`cjyei

wcyg ieye`ycfa fb bjudyp ms fmpe}rjycfa fb }ep{fapep yfyepyp

Afw we wcdd `fapcie} pfhe iepcoa {}f`eiu}ep ygjypch{dcbs bjudy icjoafpcp f} ieye`ycfa> p{e`cbc`jdds iepcoa fbpedb(`ge`lcaopspyehp ca wgc`g bjudyp `ja mejuyfhjyc`jdds ieye`yei ms j pum(`c}`ucy `jddei j `ge`le}

Pu`g c}`ucyp ch{ds yge upe fb `fiei ca{uyp

Jbye} j m}ceb cay}fiu`ycfa yf j bew buaijheayjd `fa`e{ypfb `ficao ygef}s$ p{e`cbc` lcaip fb `fiep$ ca`duicao {j}cys(

`ge`l `fiep$ Me}oe} `fiep$ jai }epciue `fiep$ j}eie}crei$ jai pedb(`ge`lcao iepcoap fb `ge`le}p bf} ygepe`fiep j}e {}epeayei

7/30/2019 Self Checking Design | - 5

3/103

0

Mjpc` @fa`e{yp

Ca pfhe `jpep cy hjs me {fppcmde yfieye}hcae b}fh yge fuy{uyp fb j `c}`ucy @wgeyge} j `e}yjca bjudy becpyp wcygca yge`c}`ucy wcygfuy lafwcao yge rjdue fb yge

e{e`yei }ep{fape

Ygcp ys{e fb yepycao$ wgc`g `ja me{e}bf}hei -fa(dcae- cp mjpei fa `ge`lcao

pfhe carj}cjay {}f{e}ycep fb yge }ep{fape

7/30/2019 Self Checking Design | - 5

4/103

9

Mjpc` @fa`e{yp

Ca ygcp `jpe$ cy cp uaae`eppj}s yf yepy e{dc`cyds bf}

b$ jai yge `c}`ucy cp pjci yf me pedb(`ge`lcao bf} b

Jafyge} `c}`ucy$ `jddei j `ge`le}$ `ja me

iepcoaei yf oeae}jye ja e}}f} pcoajd wgeaere}

yge fuy{uyp fb @ caic`jye yge {}epea`e fb j bjudywcygca @

Cy cp iepc}jmde yf iepcoa `c}`ucyp$ ca`duicao`ge`le}p$ yf me pedb(`ge`lcao yf jp o}ejy ja

eyeay jp {fppcmde 'c!e!$ bf} jp hjas bjudyp jp{fppcmde#

7/30/2019 Self Checking Design | - 5

5/103

5

Mjpc` @fa`e{yp

Bf} ja j}mcy}j}s `fhmcajycfajd `c}`ucy wcyg {ca{uyp jai zfuy{uyp$ jdd ={ca{uy`fhmcajycfap `ja f``u}$ jp `ja jdd =z{fppcmde fuy{uy `fhmcajycfap

Cb jdd {fppcmde fuy{uy `fhmcajycfap `jaf``u}$ cy cp ch{fppcmde yf ieye}hcae wgeyge}j bjudy cp {}epeay ms nupy fmpe}rcao yge

fuy{uyp fb yge `c}`ucy$ jppuhcao aflafwdeioe fb yge `f}}ep{faicao ca{uyp

7/30/2019 Self Checking Design | - 5

6/103

2

Mjpc` @fa`e{yp

Gfwere}$ cb fads l4 =

z

fuy{uy `fabcou}jycfap`ja f``u} iu}cao af}hjd f{e}jycfa$ ygef``u}}ea`e fb jas fb yge =z( lfyge}`fabcou}jycfap caic`jyep j hjdbua`ycfa

'}eoj}idepp fb yge `f}}ep{faicao ca{uy#

Ygup$ bjudyp ygjy }epudy ca pu`g j ja -cddeojd-fuy{uy `ja me ieye`yei ms j gj}iwj}e

`ge`le}

7/30/2019 Self Checking Design | - 5

7/103

?

Mjpc` @fa`e{yp

Ejh{de > @fapcie} j `c}`ucy ygjy }ejdc~ep yge`fhmcajycfajd bua`ycfap b:':$=#jaib='W:$=#iep`}cmei ms yge y}uyg yjmde fbbcou}e 'j#

Afye ygjy yge fuy{uy `fabcou}jycfa b:8b=8 :aere} f``u}p

7/30/2019 Self Checking Design | - 5

8/103

7

Mjpc` @fa`e{yp

Jas bjudy ygjy dejip yf ygcp `fabcou}jycfa `jame juyfhjyc`jdds ieye`yei ms yge `ge`le}pgfwa ca Bcou}e 'm#$ wgc`g oeae}jyep j :(fuy{uy$ caic`jycao ja e}}f}$ cb jai fads cb b:8

b=8 :

Afye ygjy ygcp `ge`le} wcdd bjcd yf ieye`y bjudypygjy `jupe ja ca`f}}e`y muy -deojd- fuy{uy

`fabcou}jycfa

7/30/2019 Self Checking Design | - 5

9/103

3

Mjpc` @fa`e{yp

Ca j c}`ucy ygjy gjp fuy{uy `fabcou}jycfap ygjy if

afy f``u} iu}cao bjudy(b}ee 'c!e!$ af}hjd# f{e}jycfa$yge fuy{uyp ygjy if f``u} j}e `jddei 'rjdci# `fiewf}ip

Yge afaf``u}}cao fabcou}jycfap j}e jddei carjdci$f} afa`fie wf}ip

_e wcdd p{ejl fb mfyg ca{uy `fiep jai fuy{uy `fiepca ygcp hjaae}

@fapcie}jmde wf}l gjp meea ifae fa p{e`cbscao`fiep ygjy j}e upebud bf} ieye`ycao jai `f}}e`ycaoe}}f}p

7/30/2019 Self Checking Design | - 5

10/103

:;

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(@f}}e`ycao @fiep

@fiep j}e fhhfads `djppcbcei ca ye}hp fb ygec}jmcdcys yf ieye`y f} `f}}e`y `djppep fb e}}f}p ygjyjbbe`y pfhe bcei auhme} fb mcyp ca j wf}i

Ygup j fie cp e(e}}f} ieye`ycaocb cy `ja ieye`yjas e}}f} jbbe`ycao jy hfpy emcyp

Ygcp ch{dcep ygjy jas pu`g e}}f} ifep afy y}japbf}hfae `fie wf}i cayf jafyge} `fie wf}i

Pchcdj}ds j `fie cp e(e}}f} f}}e`ycaocb cy `ja`f}}e`y jas e}}f} jbbe`ycao jy hfpy emcyp

Ygcp ch{dcep ygjy jas ywf pu`g e}}f}p e:$ e=$jbbe`ycao wf}ip w: jai w=$}ep{e`ycreds$ if afy}epudy ca yge pjhe wf}i

7/30/2019 Self Checking Design | - 5

11/103

::

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(@f}}e`ycao @fiep

Yge Gjhhcaoicpyja`eifb j `fie cp ygehcachuh auhme} fb mcyp ca wgc`g jas ywf`fie wf}ip icbbe}

Yge e}}f}(ieye`ycao jai e}}f}(`f}}e`ycao`j{jmcdcys fb j `fie `ja me e{}eppei caye}hp fb ijp pgfwa ca yge yjmde fb aey pdcie'Yge {}ffb fb ygepe }epudyp `ja me bfuai carc}yujdds jas mffl fa `ficao ygef}s#

7/30/2019 Self Checking Design | - 5

12/103

:=

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(@f}}e`ycao @fiep

7/30/2019 Self Checking Design | - 5

13/103

:0

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(@f}}e`ycao @fiep

Ca oeae}jd$ jiicycfajd fuy{uyp$ `jddei `ge`lmcyp$ hupy me oeae}jyei ms j `c}`ucy ca f}ie}ygjy cyp fuy{uy wf}i `fapycyuye j `fie wcygupebud e}}f} `j{jmcdcycep

Yge {j}cys(`ge`l`fiecp yge pch{depy pu`g`fie

Bf} ygcp `fie$ i8=$ jai yge auhme} fb `ge`lmcyp cp fae 'caie{eaieay fb yge auhme} fbfuy{uy mcyp ca yge f}cocajd `c}`ucy#

7/30/2019 Self Checking Design | - 5

14/103

:9

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(@f}}e`ycao @fiep

Yge}e j}e ywf ys{ep fb {j}cys(`ge`l `fie$erea jai fii

Bf} ja erea `fie yge `ge`l mcy cp iebcaei pf

ygjy yge yfyjd auhme} fb :(mcyp cp jdwjsp erea Bf} ja fii `fie$ yge auhme} cp jdwjsp fii

@fapezueayds jas e}}f} jbbe`ycao j pcaode mcy

`jupep yge fuy{uy wf}i yf gjre ja ca`f}}e`yauhme} fb :(mcyp jai gea`e `ja me ieye`yei

7/30/2019 Self Checking Design | - 5

15/103

:5

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(@f}}e`ycao @fiep

Afye ygjy ca ja j}mcy}j}s `c}`ucy j pcaode bjudyhjs `jupe ja e}}f} ca hf}e ygja fae fuy{uymcy iue yf yge {}epea`e fb bjafuy

Gea`e `j}e hupy me yjlea ca iepcoacao j`c}`ucy ca wgc`g ieye`ycfa fb e}}f}p cp mjpeifa j `fie wcyg dchcyei e}}f}(ieye`ycao`j{jmcdcycep

7/30/2019 Self Checking Design | - 5

16/103

:2

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(@f}}e`ycao @fiep

Bf} yge bua`ycfap b:$ b=fb {}ercfup ejh{de$yge `ge`l mcy sebf} ja erea {j}cys(`ge`l`fie cp iebcaei pf ygjy bf} jas ca{uy yge yfyjdauhme} fb :(fuy{uy mcyp jhfao b

:$ b

=$ jai s

e

cp erea 'pee bcou}e#

7/30/2019 Self Checking Design | - 5

17/103

:?

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(@f}}e`ycao @fiep

Ygup cb w: 8 ;$ w=8 :$ pca`e b: 8 : jai b=8 ;$ygea sehupy gjre rjdue : pf ygjy yge yfyjdauhme} fb :(mcyp jhfao b:$ b=$ jai sewcdd meerea

Bf} ja fii {j}cys(`ge`l `fie$ yge `ge`l mcysfwfudi me jp pgfwa ca yge bcou}e

Afye ygjy sejai sfj}e jdwjsp `fh{deheayp

fb ej`g fyge}

7/30/2019 Self Checking Design | - 5

18/103

:7

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(@f}}e`ycao @fiep

Yge `ge`l mcyp }ezuc}ei ca j `fie `ja meygfuogy fb jp `fapycyuycao }eiuaija`s$ pca`eyges j}e fads }ezuc}ei bf} e}}f} ieye`ycfa

Yge fyge} mcyp j}e jddei cabf}hjycfa mcyp J oeae}jdc~ei `djpp fb {j}cys(`ge`l `fiep

ygjy gjre o}ejye} e}}f}(ieye`ycao jai&f}e}}f}(`f}}e`ycao `j{jmcdcys `ja me iebcaei

7/30/2019 Self Checking Design | - 5

19/103

:3

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(@f}}e`ycao @fiep

J pcaode(e}}f}(`f}}e`ycao `fie bf} zcabf}hjycfa mcyp }ezuc}ep ``ge`l mcyp wge}e=` z, `, :

Yge rjdue fb `bf} rj}cfup rjduep fb zcppgfwa ca aey bcou}e

7/30/2019 Self Checking Design | - 5

20/103

=;

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(@f}}e`ycao @fiep

Yge ``ge`l mcyp jai zcabf}hjycfa mcyp bf}h j wf}iwcyg ' ,z# mcyp$ m,zm=m:

Ca yge fareaycfajd Gjhhcao fie yge `ge`l mcypf``u} ca mcyp $ ; c `(:

Yge rjduep fb ygepe `ge`l mcyp j}e iebcaei ms `{j}cys(`ge`l ezujycfap

Dey {nme yge pey fb cayeoe}p wgfpe mcaj}s}e{}epeayjycfa gjp j :(rjdue ca {fpcycfa mn $

'c!e!$ $ wge}e mn'a# ieafyep yge rjdue fbygen(yg mcy 'b}fh yge }cogy# fb j mcaj}s cayeoe} a

cm=

| x:#'t 88 CmC{ nn

7/30/2019 Self Checking Design | - 5

21/103

=:

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(@f}}e`ycao @fiep

Ygea yge rjduep fb yge `ge`l mcyp j}e iebcaei ms yge`{j}cys(`ge`l ezujycfap fb yge bf}h

wge}e yge puh cp hfiudf =

Ja e}}f} ca mcy mnwcdd }epudy ca ca`f}}e`y {j}cys bf}ej`yds ygfpe ezujycfap bf} wgc`gncp ca {n

Ygup yge e}}faefup mcy `ja me `fh{uyei b}fh ygepe`{j}cys(`ge`l ezujycfap

7/30/2019 Self Checking Design | - 5

22/103

==

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(@f}}e`ycao @fiep

Ejh{de>Dey z8 9 Ygea =` z, `, : 8 5 , `$ jai gea`e `80

Yge pcaode(e}}f}(`f}}e`ycao `fie iebcaep j ?(mcy wf}i

wcyg `ge`l mcyp m:$ m=$ jai m9 Yge rjdue fb yge `ge`l mcyp bf} jas ocrea rjdue fb yge

cabf}hjycfa mcyp `ja me `fh{uyei b}fh yge yg}ee{j}cys(`ge`l ezujycfap

7/30/2019 Self Checking Design | - 5

23/103

=0

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(@f}}e`ycao @fiep

Ygup cb yge cabf}hjycfa mcyp gjre yge rjduep m08 :$ m58;$ m28;$ jai m?8 :$ ygea yge `ge`l mcyp wcdd gjreyge rjduep m: 8; 'iebcaei ms pumpycyuycfa ca ezujycfa: jmfre#$ m=8; 'b}fh ezujycfa =# jai m98 : 'b}fh

ezujycfa 0#$ jai ygup yge ea`fiei wf}i cp: ; ; : : ; ;

Cb ja e}}f} f``u}p ca mcy {fpcycfa m9$ yge wf}ime`fhep : ; ; ; : ; ;

7/30/2019 Self Checking Design | - 5

24/103

=9

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(@f}}e`ycao @fiep

Cb we }e`fh{uye yge yg}ee {j}cys(`ge`l ezujycfapb}fh ygcp wf}i$ we ie}cre yge rjduep : ; ; b}fhezujycfap 0$ =$ jai : }ep{e`ycreds

Yge mcaj}s auhme} bf}hei b}fh ygepe yg}eeezujycfap cp :;; 'mcaj}s 9# ygup caic`jycao ja e}}f} camcy m9

Ygup yge pcaode(mcy e}}f} `ja me `f}}e`yei

7/30/2019 Self Checking Design | - 5

25/103

=5

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(@f}}e`ycao @fiep

Yge upe fb `fiep eajmdep gj}iwj}e yf me iepcoaeipf ygjy `e}yjca `djppep fb e}}f}p ca yge `c}`ucy `ja mejuyfhjyc`jdds ieye`yei f} `f}}e`yei yg}fuog yge upefb j gj}iwj}e `ge`le}$ jp pgfwa ca yge bcou}e fb

aey pdcie

Afye ygjy e}}f}p ca yge `ge`le} hjs afy me ieye`yei

7/30/2019 Self Checking Design | - 5

26/103

=2

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(@f}}e`ycao @fiep

7/30/2019 Self Checking Design | - 5

27/103

=?

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(@f}}e`ycao @fiep

Hjas `fiep gjre meea ieredf{ei ygjy `ja me upeica yge iepcoa fb pu`g pedb(`ge`lcao `c}`ucyp

Yge ys{e fb fie yf me upei hjs rj}s ie{eaicao fayge ys{e fb `c}`ucy

Bf} ijyj(y}japhcppcfa muppep$ j {j}cys(`ge`l fiehjs me jiezujye

Bf} fyge} ys{ep fb bua`ycfap$ gfwere}$ we hjs wcpg

yf upe j `fie bf} wgc`g yge `ge`l mcyp fb yge }epudy`ja me ieye}hcaei b}fh yge `ge`l mcyp fb ygef{e}jaip

7/30/2019 Self Checking Design | - 5

28/103

=7

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(@f}}e`ycao @fiep

@fapcie} yge iepcoa fb ja j}cygheyc` jiie} upcao jaerea {j}cys(`ge`l `fie

Bf} yge ywf jiicycfap cddupy}jyei ca bcou}e fb aeypdcie$ ca mfyg `jpep yge f{e}jai `ge`l mcyp j}e ; jai

: }ep{e`ycreds$ muy yge `ge`l mcy fb yge puh J , M: cp; jai yge `ge`l mcy fb yge puh J , M= cp :

Yge}ebf}e cy wfudi me ae`eppj}s yf }e`fh{uye yge

rjdue fb yge `ge`l mcy jbye} ej`g jiicycfa$ jai e}}f}pca yge jiicycfa cypedb wfudi afy me ieye`yei

J dc c b E I c i E

7/30/2019 Self Checking Design | - 5

29/103

=3

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(@f}}e`ycao @fiep

J dc yc b E I y yc i E

7/30/2019 Self Checking Design | - 5

30/103

0;

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(@f}}e`ycao @fiep

Jafyge} `djpp fb fiep$ jddei }epciue `fiep$ gjpyge iepc}jmde {}f{e}ys ygjy bf} yge j}cygheyc`f{e}jycfap fb jiicycfa$ pumy}j`ycfa$ jaihudyc{dc`jycfa$ yge `ge`l mcyp fb yge }epudy `ja me

ieye}hcaei ic}e`yds b}fh yge `ge`l mcyp fb ygef{e}jaip

Ygcp {}f{e}ys cp jddei caie{eaieay ge`lcao

Pere}jd icbbe}eay ys{ep fb }epciue fie gjre meeabf}hudjyei

J dc yc b E I y yc i E

7/30/2019 Self Checking Design | - 5

31/103

0:

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(@f}}e`ycao @fiep

_e wcdd `fapcie} fads fae pu`g `djpp Ca ygcp `fie yge }cogyhfpy {mcyp j}e yge `ge`l mcyp

Yge `ge`l mcyp iebcae j mcaj}s auhme} @$ jai ygecabf}hjycfa mcyp iebcae jafyge} auhme} A

Yge rjduep fb yge ge`l mcyp j}e iebcaei pf ygjy@8'A# hfiudf h$ wge}e hcp j {j}jheye} `jddeiyge }epciuefb yge `fie$ jai yge auhme} fb `ge`l

mcyp cp h{=dfo

8

J dc yc b E I y yc i E

7/30/2019 Self Checking Design | - 5

32/103

0=

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(@f}}e`ycao @fiep

Ejh{de> @fapcie} yge ie}crjycfa fb yge `ge`l mcypbf} j }epciue `fie wcyg yg}ee cabf}hjycfa mcyp C=$ C:$ C;jai h80

Pca`e$ $ `ge`l mcyp @: jai @; j}e

}ezuc}ei

Ygec} rjduep j}e iebcaei pf ygjy yge mcaj}s auhme}@8@:@; 8 'A# hfiudf 0$ wge}e Acp yge mcaj}s

auhme} C=C:C; $ jp pgfwa ca aey bcou}e

=dfo = 8h

J{{dc`jycfa fb E}}f} Ieye`ycao jai E}}f}

7/30/2019 Self Checking Design | - 5

33/103

00

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(@f}}e`ycao @fiep

_e wcdd afw {}fre ygjy bf} ygcp ys{e fb }epciue fie$ yge

`ge`l mcyp fb yge puh '{}fiu`y# fb j pey fb f{e}jaip cp ezujdyf yge puh '{}fiu`y# fb yge `ge`l mcyp fb yge f{e}jaip

J{{dc`jycfa fb E}}f} Ieye`ycao jai E}}f}

7/30/2019 Self Checking Design | - 5

34/103

09

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(@f}}e`ycao @fiep

Ygef}eh :> Dey |jcx me j pey fb f{e}jaip Yge ge`l mcyp fb yge puh j}e ocrea ms ' jc#hfi h$

jai yge `ge`l mcyp fb yge {}fiu`y ms ' jc#hfi h

Ygea

j! Yge `ge`l mcyp fb yge puh j}e ezujd yf yge puh fb yge ge`lmcyp fb yge f{e}jaip hfiudf h

m! Yge `ge`l mcyp fb yge {}fiu`y j}e ezujd yf yge {}fiu`y fb yge

`ge`l mcyp fb yge f{e}jaip hfiudf h

J{{dc`jycfa fb E}}f} Ieye`ycao jai E}}f}

7/30/2019 Self Checking Design | - 5

35/103

05

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(@f}}e`ycao @fiep

[}ffb j! Dey jc8lc:h, lc=wge}e ; lc=4 h

Ygea ' jc#hfi h8 ' 'lc:h, lc=## hfi h8' l

c=

# hfi h8 ''jc

#hfi h# hfi h'pca`e lc=

cp yge}epciue fb jc#

m! Yge {}ffb fb {j}y m cp pchcdj} yf {j}y j jai cp deby jpja ee}`cpe

J{{dc`jycfa fb E}}f} Ieye`ycao jai E}}f}

7/30/2019 Self Checking Design | - 5

36/103

02

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(@f}}e`ycao @fiep

Ejh{dej! @fapcie} yge jiicycfa pgfwa ca bcou}e 'j# upcao }epciue

`fiep wcyg h8 0

Yge cabf}hjycfa mcyp fb yge puh }e{}epeay yge auhme} 2

jai '2# hfi 0 8 ;

J{{dc`jycfa fb E}}f} Ieye`ycao jai E}}f}

7/30/2019 Self Checking Design | - 5

37/103

0?

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(@f}}e`ycao @fiep

Ejh{deYge puh fb yge `ge`l mcyp hfi 0 cp jdpf ;

Ygup yge puh fb yge `ge`l mcyp hfiudf hcp ezujd yf yge`ge`l mcyp fb yge puh

m! @fapcie} yge hudyc{dc`jycfa pgfwa ca Bcou}e 'm# upcao}epciue `fiep wcyg h8 0

Yge {}fiu`y fb yge `ge`l mcyp hfiudf hcp ezujd yf =

Yge cabf}hjycfa mcyp fb yge {}fiu`y }e{}epeay yge auhme}7$ jai '7# hfi 0 8 =

Ygup yge {}fiu`y fb yge `ge`l mcyp hfiudf hcp ezujd yfyge `ge`l mcyp fb yge {}fiu`y

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(

7/30/2019 Self Checking Design | - 5

38/103

07

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(@f}}e`ycao @fiep

Yge upe fb }epciue `fiep yf `ge`l jiicycfa cpcddupy}jyei ms yge pspyeh fb aey bcou}e

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(

7/30/2019 Self Checking Design | - 5

39/103

03

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(@f}}e`ycao @fiep

Cy fh{uyep yge `ge`l mcyp$ @'J,M#$ fb yge puh J , Mjai `fh{j}ep yge }epudy wcyg yge hfiudf hpuh fbyge `ge`l mcyp$ '@'J#,@'M## hfi h

Ygcp `c}`ucy wcdd ieye`y ja e}}f} ygjy `jupep ygepe ywf

`fh{uyjycfap yf me uaezujd

Dey up afw `fapcie} yge `djpp fb e}}f}p ygjy ja meieye`yei ms ygcp `djpp fb }epciue `fiep

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(

7/30/2019 Self Checking Design | - 5

40/103

9;

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(@f}}e`ycao @fiep

Cb j }epciue fie iebcaep fie wf}ip wcyg p8{, zmcyp$ ygea ja e}}f} {jyye}a E`ja me iebcaei jp ja p(mcy mcaj}s re`yf} ca wgc`g ec8: cb mcy ccp ca e}}f} jai ec8; cb mcy ccp `f}}e`y

Bf} j auhme} Awcyg `ge`l mcyp @wge}e @8'A# hfih$ pu`g ja e}}f} hjs `gjaoe Ayf A/jai&f} @yf @

Pu`g ja e}}f} wcdd me ieye`yei$ {}frciei @/ A/hfih

Dey up bc}py `fapcie} pcaode(mcy e}}f}p

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(

7/30/2019 Self Checking Design | - 5

41/103

9:

J{{dc`jycfa fb E}}f} Ieye`ycao jai E}}f}@f}}e`ycao @fiep

Ygef}eh> Ca j }epciue `fie wcyg hfii$ jdd pcaode(mcy e}}f}pj}e ieye`yei

[}ffb> J pcaode(mcy e}}f} `ja jbbe`y ecyge} yge rjdue fb @ f} A

muy afy mfyg

_e yge}ebf}e `fapcie} ywf `jpep @jpe:> Jppuhe yge pcaode e}}faefup mcy cp ja cabf}hjycfa mcy

Cb mcy cfb yge cabf}hjycfa peoheay cp ca e}}f}$ ygea A/8 A=cjai @/ 8 @

Ygea A hfi h 8 'A=c

# hfi h8 Ahfi h '=c

# hfi h8@ '=c# hfi h

Bf} hfii$ '=c# hfi h ; jai gea`e yge e}}f} cp ieye`yei

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(

7/30/2019 Self Checking Design | - 5

42/103

9=

J{{dc`jycfa fb E}}f} Ieye`ycao jai E}}f}@f}}e`ycao @fiep

@jpe=> Jppuhe yge pcaode e}}faefup mcy cp j `ge`lmcy

Cb mcy cfb yge `ge`l peoheay cp ca e}}f}$ ygea@/ 8 '@ =c# hfi h @ bf}hfii

Gea`e jdd pcaode(mcy e}}f}p j}e ieye`yei

Cb hcp fii$ pfhe pcaode(mcy e}}f}p hjs mecaicpycaoucpgjmde

Cb hcp erea$ pfhe pcaode(mcy e}}f}p hjs afy erea meieye`yei

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(

7/30/2019 Self Checking Design | - 5

43/103

90

J{{dc`jycfa fb E}}f} Ieye`ycao jai E}}f}@f}}e`ycao @fiep

Ejh{de j! Dey h80

@fapcie} yge `fie wf}i ::;;; ca wgc`g yge}cogyhfpy ywf mcyp j}e

`ge`l mcyp Bf} yge pcaode(mcy e}}f} jbbe`ycao mcy 9 'b}fh yge }cogy#$

yge e}}faefup

wf}i cp :;;;;$ wgc`g cp afy j `fie wf}i$ pca`e A8

9$ @ 8 ;$ jai Ahfi 0 8 : ; Yge}ebf}e ygcp e}}f} wcdd me ieye`yei

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(

7/30/2019 Self Checking Design | - 5

44/103

99

J{{dc`jycfa fb E}}f} Ieye`ycao jai E}}f}@f}}e`ycao @fiep

Gfwere}$ yge pjhe e}}faefup wf}i `fudi }epudy b}fh yge `fie wf}i ;;;;; iue yf j

pcaode(mcy e}}f} {jyye}a jbbe`ycao mcy 5 'b}fh yge }cogy#

Ygup ygcp `fie ja afy icpycaoucpg ygepe ywf pcaode(mcy e}}f}p jai gea`e yge `fie cp afy pcaode(e}}f}`f}}e`ycao

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(

7/30/2019 Self Checking Design | - 5

45/103

95

J{{dc`jycfa fb E}}f} Ieye`ycao jai E}}f}@f}}e`ycao @fiep

m! Dey h8 = @fapcie} yge fie wf}i ::;; wcyg yge }cogyhfpy mcy

jp yge fads `ge`l mcy

J pcaode(mcy e}}f} jbbe`ycao mcy 0 }epudyp ca yge wf}i:;;;

Pca`e d/ 8 9 jai @/ 8 ; jai d/ hfi = 8 ; 8 @/$ ygcp cp jrjdci `fie wf}i$ jai yge pcaode(mcy e}}f} cp afy

ieye`yei

J{{dc`jycfa fb E}}f}(Ieye`ycao jai E}}f}(

7/30/2019 Self Checking Design | - 5

46/103

92

{{ o@f}}e`ycao @fiep

Ygup yge {j}jheye} hhupy me fii bf} yge `fie yfieye`y pcaode e}}f}p

Jp hca`}ejpep$ yge auhme} fb `ge`l mcyp }ezuc}eica`}ejpep$ jai yge e}}f}(ieye`ycao jai e}}f}(

`f}}e`ycao `j{jmcdcycep fb yge `fie rj}s wcyg ygep{e`cbc` rjdue fb hca j `fh{de hjaae} ygjy wcdd afyme `fapcie}ei ge}eca

Hudyc{de Mcy E}}f}p

7/30/2019 Self Checking Design | - 5

47/103

9?

Hudyc{de(Mcy E}}f}p

Yge e}}f}(ieye`ycao `j{jmcdcycep fb `fiep wcyg }ep{e`y yfhudyc{de(mcy e}}f}p j}e jdpf fb caye}epy

Bf} j {j}cys(`ge`l `fie$ jdd e}}f}p ygjy jbbe`y ja fii auhme}fb mcyp wcdd me ieye`yei$ wge}ejp erea mcy e}}f}p wcdd afy me

Cy pgfudi me afyei$ gfwere}$ ygjy ca hjas ye`gafdfocep yge

hfpy {}fmjmde hudyc{de(mcy e}}f}p j}e afy }jaifh muy gjrepfhe p{e`cjd {}f{e}ycep jppf`cjyei wcyg ygeh

Pu`g jp uacic}e`ycfajd e}}f}p'jdd e}}faefup mcyp gjre ygepjhe rjdue# jai jinj`eay(mcy e}}f}p'jdd mcyp jbbe`yei ms jae}}f} j}e `faycoufup#

Pfhe `fhhfa `fiep j}e upebud bf} ieye`ycao pu`g hudyc{de(mcy e}}f}p

Hudyc{de Mcy E}}f}p

7/30/2019 Self Checking Design | - 5

48/103

97

Hudyc{de(Mcy E}}f}p

Yge l&a 'l(fuy(fb(a# `fie `fapcpyp fb a(mcywf}ip ca wgc`gej`g `fie wf}i gjp ej`yds l:(mcyp

Ygepe `fiep wcdd ieye`y jdd uacic}e`ycfajd e}}f}p$ pca`e j

uacic}e`ycfajd e}}f} wcdd ecyge} }epudy ca ja ca`}ejpe f} jie`}ejpe ca yge auhme} fb :(mcyp ca j wf}i

Ygcp fie cp j afape{j}jmde `fie$ ca wgc`g cy cp afy

{fppcmde yf `djppcbs mcyp jp `ge`l mcyp f} cabf}hjycfa mcyp

_gea pu`g `fiep j}e upei$ yge c}`ucy}s carfdrei hupy{e}bf}h `fh{uyjycfap fa yge eayc}e wf}i }jyge} ygja nupy yge

cabf}hjycfa mcyp fb j wf}i

Hudyc{de Mcy E}}f}p

7/30/2019 Self Checking Design | - 5

49/103

93

Hudyc{de(Mcy E}}f}p

Yge Me}oe} `fiepj}e pe{j}jmde `fiep Bf} Ccabf}hjycfa mcyp$ yge auhme} fb `ge`l mcyp }ezuc}ei cp @

8 dfo='d, :#$ bf}hcao j wf}i fb a8 C, @ mcyp

Yge @ ge`l mcyp iebcae j mcaj}s auhme} `f}}ep{faicao yf

yge Mffdeja `fh{deheay fb yge auhme} fb cabf}hjycfa mcypwcyg rjdue :

Ygup wcyg yg}ee cabf}hjycfa mcyp$ ywf `ge`l mcyp j}e }ezuc}ei

Cb yge cabf}hjycfa mcyp j}e ::;$ yge `ge`l mcyp iebcae yge

Mffdeja `fh{deheay fb = 'pca`e yge}e j}e ywf cabf}hjycfamcyp wcyg rjdue :# jai gea`e yge `ge`l mcyp j}e ;:

Hudyc{de Mcy E}}f}p

7/30/2019 Self Checking Design | - 5

50/103

5;

Hudyc{de(Mcy E}}f}p

Bf} C8 0 jai @ 8 =$ yge `fh{deye `fie cp pgfwa caaey bcou}e

Hudyc{de Mcy E}}f}p

7/30/2019 Self Checking Design | - 5

51/103

5:

Hudyc{de(Mcy E}}f}p

Me}oe} `fiep ieye`y jdd uacic}e`ycfajd e}}f}p Jhfao pe{j}jmde `fiep ygjy ieye`y jdd uacic}e`ycfajd

e}}f}p$ Me}oe} `fiep j}e f{ychjd ca }ezuc}cao bewe}`ge`l mcyp bf} Ccabf}hjycfa mcyp

Bf} dj}oe rjduep fb }$ gfwere}$ h(fuy(fb(a`fiep}ezuc}e bewe} mcyp yf j`gcere }rjdci `fie wf}ip

Hudyc{de(Mcy E}}f}p

7/30/2019 Self Checking Design | - 5

52/103

5=

Hudyc{de(Mcy E}}f}p

Ca yge hficbcei }epciue `fie$ h( : `ge`l mcyp j}eiebcaei pf ygjy yge yfyjd auhme} fb :(mcyp ca j `fiewf}i cp j hudyc{de fb yge {j}jheye} h

Ygcp `fie$ wgc`g cp j oeae}jdc~jycfa fb yge {j}cys(

`ge`l `fie$ ieye`yp jdd uacic}e`ycfajd e}}f}p jbbe`ycaobewe} ygja hmcyp

Bf} h80$ cb yge cabf}hjycfa mcyp gjre yge rjdue ::;$yge `ge`l mcyp gjre yge rjdue ;: f} :;

Hudyc{de(Mcy E}}f}p

7/30/2019 Self Checking Design | - 5

53/103

50

Hudyc{de(Mcy E}}f}p

Ocrea j pey fb lamcyp j}}jaoei jp la(mcy wf}ip$jiicao j {j}cys(`ge`l mcy yf ej`g wf}i }epudyp cal 'a, C#(mcy wf}ip

Ca wgc`g jas pcaode(mcy e}}f} `ja me ieye`yei jp wedd

jp jas hudyc{de(mcy e}}f} pf dfao jp af wf}i gjphf}e ygja fae e}}faefup mcy

Jdye}ajycreds$ we `ja iebcae fae a(mcy `ge`l wf}i @$wge}e bf} jdd c$ : 4 c4 a$ yge c(ygmcy fb @cp j {j}cys`ge`l fre} yge c(ygmcy fb jdd lwf}ip

Hudyc{de(Mcy E}}f}p

7/30/2019 Self Checking Design | - 5

54/103

59

Hudyc{de(Mcy E}}f}p

Ygcp }epudyp ca 'l, :# a(mcy wf}ip ca wgc`g jdd pcaode(mcy e}}f}p j}e ieye`yei$ jdd hudyc{de(mcy e}}f}p wcygcafae wf}i j}e ieye`yei$ jai jdd hudyc{de(mcy e}}f}pjbbe`ycao icbbe}eay mcyp fb icbbe}eay wf}ip j}e ieye`yei

Ygcp ye`gaczue ja jdpf me upei wcyg e}}f}(`f}}e`ycao `fiep yf fmyjca hudyc{de(mcy e}}f}`f}}e`ycfa

@ge`lcao @c}`ucyp jai Pedb(

7/30/2019 Self Checking Design | - 5

55/103

55

@ge`lcao

Yge upe fb fa(dcae yepycao 'c!e!$ `ge`lcao `c}`ucyp ca`fanua`ycfa wcyg `fiei fuy{uyp# yf ieye`y bjudyp gjpyge bfddfwcao jirjayjoep fre} fbb(dcae yepycao

:! Caye}hcyyeay bjudyp j}e ieye`yei

=! Fuy{uy e}}f}p j}e ieye`yei chheicjyeds u{fa f``u}}ea`e$ygup {}ereaycao {fppcmde `f}}u{ycfa fb ijyj

0! Yge icpy}cmuycfa fb `ge`le}p yg}fuogfuy j icocyjd pspyeh

{}frciep j offi hejpu}e fb yge df`jycfa fb j bjudy ms yge

df`jycfa fb yge `ge`le} jy wgc`g yge e}}f} cp ieye`yei9! Yge pfbywj}e icjoafpyc` {}fo}jh cp edchcajyei 'f} jy dejpy

pch{dcbcei pumpyjaycjdds#

@ge`lcao @c}`ucyp jai Pedb(

7/30/2019 Self Checking Design | - 5

56/103

52

@ge`lcao

@ge`lcao ms hejap fb gj}iwj}e `ja me fhmcaeiwcyg j oeae}jd }edcjmcdcys py}jyeos `jddei }fddmj`l

Ge}e$ yge pyjyup fb j pspyeh cp {e}cfic`jdds pjrei$jai u{fa ieye`ycfa fb ja e}}f} yge pspyeh cp

}e`fabcou}ei yf cyp hfpy }e`eay {}ercfup rjdci pjrei`faicycfa jai yge pumpezueay pezuea`e fb ca{uyp cp}e{ejyei

]e{ejyei bjcdu}ep jupe ja caye}}u{y

'Ygcp py}jyeos cp ebbe`ycre bf} caye}hcyyeay bjcdu}ep fbpgf}y iu}jycfa#

@ge`lcao @c}`ucyp jai Pedb(

7/30/2019 Self Checking Design | - 5

57/103

5?

@ge`lcao

Yge}e j}e jdpf pere}jd icpjirjayjoep jppf`cjyeiwcyg fa(dcae yepycao ms hejap fb gj}iwj}e 'c!e!$`ge`lcao `c}`ucyp#

:! Hf}e gj}iwj}e cp }ezuc}ei$ ca`duicao j gj}iwj}e ge`le}

=! Yge jiicycfajd gj}iwj}e hupy me `ge`lei f} yepyei' ge`lcao yge `ge`le} {}fmdeh#! Caoeae}jd$ pfhe

bjudyp `jaafy me juyfhjyc`jdds ieye`yei

@ge`lcao @c}`ucyp jai Pedb(@

7/30/2019 Self Checking Design | - 5

58/103

57

@ge`lcao

Ygup yge upe fb gj}iwj}e bf} yepycao }jcpep yge{}fmdeh fb gfw yf gjaide bjudyp ca yge `ge`lcao uacy

Ygcp gjp dei yf yge pyuis fb yfyjdds pedb(`ge`lcao`c}`ucyp'jai`ge`le}p#

J c}`ucy cp bjudy pe`u}ebf} j pey fb bjudyp B$ cb bf}jas bjudy ca B$ jai jas rjdci '`fie# ca{uy$ yge fuy{uycp j afa`fie wf}i f} yge `f}}e`y `fie wf}i$ aere}ja carjdci `fie wf}i

@ge`lcao @c}`ucyp jai Pedb(@g lc

7/30/2019 Self Checking Design | - 5

59/103

53

@ge`lcao

J c}`ucy cp pedb(yepycaobf} j pey fb bjudyp Bcb bf} jasbjudy bca B$ yge}e ecpyp ja rjdci '`fie# ca{uy ygjyieye`yp b

J yfyjdds pedb(`ge`lcao c}`ucycp mfyg bjudy pe`u}e

jai pedb(yepycao bf} jdd bjudyp 'ca yge pey fb bjudyp fbcaye}epy#

Bjudy pe`u}eaepp capu}ep ygjy yge c}`ucy cpf{e}jycao {}f{e}ds cb yge fuy{uy cp j `fie wf}i

@ge`lcao @c}`ucyp jai Pedb(@g lc

7/30/2019 Self Checking Design | - 5

60/103

2;

@ge`lcao

Pedb(yepycao capu}ep ygjy cy cp {fppcmde bf} jas bjudy yfme ieye`yei iu}cao af}hjd f{e}jycfa

Gea`e j yfyjdds pedb(`ge`lcao c}`ucy aeei afy gjrej p{e`cjd icjoafpyc` {}fo}jh muy `ja me `fh{deyeds

yepyei ms hejap fb gj}iwj}e. .Cb j c}`ucy cp yfyjdds pedb(yepycao bf} j pey fb bjudyp B$

ygea cy cp {fppcmde bf} jas bjudy ca Byf me ieye`yeiiu}cao af}hjd f{e}jycfa ms gj}iwj}e `ge`lcao

@ge`lcao @c}`ucyp jai Pedb(@g lc

7/30/2019 Self Checking Design | - 5

61/103

2:

@ge`lcao

Fb pcoacbc`ja`e cp yge {}fmjmcdcys ygjy yge bjudy wcddme ieye`yei wcygca yuacyp fb yche b}fh cypf``u}}ea`e

Yge e{e`yei rjdue fb ygjp meea }ebe}}ei yf jp yge

e}}f} djyea`sfb yge `c}`ucy Cb Bcp yge pey fb pcaode pyu`l bjudyp$ gj}iwj}e

ieye`ycfa cp fads upebud cb yge e}}f} djyea`s fb yge`c}`ucy cp hu`g depp ygja yge e{e`yei yche bf} j

pe`fai bjudy yf f``u} pf ygjy j hudyc{de bjudy ifepafy ecpy

@ge`lcao @c}`ucyp jai Pedb(@g lc

7/30/2019 Self Checking Design | - 5

62/103

2=

@ge`lcao

Fae cay}capc` icbbc`udys jppf`cjyei wcyg pu`g jheygfi cp yge {fppcmcdcys fb bjudyp wcygca yge `ge`le}

Bf} yge pspyeh yf me yfyjdds pedb(`ge`lcao$ mfyg yge`c}`ucy jai yge `ge`le} hupy jdpf me pedb(yepycao

jai bjudy pe`u}e Yge {j}y fb yge c}`ucy `fayjcacao bjudyp ygjy jaafy

me ieye`yei ca ygcp hjaae} hupy me yepyei ms fyge}hejap jai cp pfheychep }ebe}}ei yf jp gj}i`f}e

Cy cp iepc}jmde yf iepcoa yge ge`lcao c}`ucy pf ygjyyge gj}i`f}e cp df`jdc~ei jai&f} hcachc~ei

Pedb(@ge`lcao @ge`le}p

7/30/2019 Self Checking Design | - 5

63/103

20

Pedb @ge`lcao @ge`le}p

Hfpy fb yge }epej}`g fb pedb(`ge`lcao gjp meea}edjyei yf yge iepcoa fb pedb(`ge`lcao `ge`le}p

J `ge`le} 'bf} j p{e`cbc` `fie# cp upujdds iebcaei jpj pcaode(fuy{uy `c}`ucy wgc`g jppuhep yge rjdue ;

bf} jas ca{uy `f}}ep{faicao yf j `fie wf}i jaijppuhep yge rjdue : bf} jas ca{uy `f}}ep{faicao yfj afa`fie wf}i

Ygcp fuy{uy cp upei jp ja caic`jycfa fb e}}f}

Pedb(@ge`lcao @ge`le}p

7/30/2019 Self Checking Design | - 5

64/103

29

Pe @ e` o @ e` e p

Pca`e yge fuy{uy cp ; bf} jdd `fie ca{uyp$ j `ge`le}`jaafy me iepcoaei ca ygcp hjaae} pf jp yf me pedb(yepycao bf} j p(j(;bjudy fa cyp fuy{uy$

Ygcp cp me`jupe ygcp bjudy `ja fads me ieye`yei ms

j{{dscao ja ca{uy `f}}ep{faicao yf j afa`fiewf}i$ jai ygcp wcdd aere} f``u} iu}cao af}hjdf{e}jycfa

Pcoajdp ygjy gjre fads fae {fppcmde rjdue iu}cao

af}hjd f{e}jycfa j}e `jddei {jppcre

Pedb(@ge`lcao @ge`le}p

7/30/2019 Self Checking Design | - 5

65/103

25

o

Fae j{{}fj`g yf yge iepcoa fb pedb(`ge`lcao`ge`le}p cp yf }e{dj`e jdd {jppcre pcoajdp ms j {jc}fb pcoajdp ej`g fb wgc`g$ iu}cao af}hjd f{e}jycfa$`fudi jppuhe mfyg dfoc`jd rjduep$ ; jai :

Ygup j `ge`le} `fudi me iepcoaei$ jp pgfwa caaey bcou}e$ wge}e yge ywf fuy{uyp fb @: yjle ygerjduep ';$:# f} ':$;# bf} `fie ca{uyp jai ';$;# f}':$:# bf} afaefie ca{uyp

Pedb(@ge`lcao @ge`le}p

7/30/2019 Self Checking Design | - 5

66/103

22

o

Cb we jppuhe ygjy j pcaode pcoajd cp ae`eppj}s yfcaic`jye e}}f}$ jiicycfajd dfoc` cp }ezuc}ei yfoeae}jye ygcp pcaode pcoajd ~ b}fh yge ywfafa{jppcre pcoajdp

Ca {}ercfup bcou}e yge pum`c}`ucy @=

oeae}jyep ~jpyge e`dupcre(F] fb yge ywf pcoajdp oeae}jyei ms@:

Gfwere}$ pca`e ~cp j {jppcre pcoajd$ @= cp jdwjspafa(pedb(yepycao

Ygup yge gj}i`f}e 'c!e!$ yge dfoc` ygjy cp afy pedb(yepyjmde# gjp j`yujdds afy meea edchcajyei muy gjpmeea df`jdc~ei jai hcachc~ei

Pedb(@ge`lcao @ge`le}p

7/30/2019 Self Checking Design | - 5

67/103

2?

o

Yge `fa`e{y fb }ejdc~cao j {jppcre bua`ycfa jp j{jc} fb afa{jppcre bua`ycfap `ja me bf}hjdc~ei

@fapcie} j mcaj}s bua`ycfa bwcyg rjduep ;$:$ wgc`gj}e hj{{ei cayf ywf mcaj}s bua`ycfap ~:$ ~= ca wgc`g

'~:$~=# 8 ';$;# f} ':$:# `f}}ep{faip yf b8 : jai '~:$~=# 8 ';$:# f} ':$;# `f}}ep{faip yf b8;

Yge pey fb bua`ycfap '~:$~=# cp `jddei j hf}{gc`bua`ycfa`f}}ep{faicao yf b

Cy cp {fppcmde yf iepcoa pfhe hf}{gc` bua`ycfap pfjp yf me yfyjdds pedb(`ge`lcao

[j}cys(@ge`l Bua`ycfa

7/30/2019 Self Checking Design | - 5

68/103

27

s

@fapcie} yge 0(mcy {j}cys(`ge`l bua`ycfa}e{}epeayei ms yge Lj}ajuog hj{ fb aey bcou}e

[j}cys(@ge`l Bua`ycfa

7/30/2019 Self Checking Design | - 5

69/103

23

s

Yge `f}}ep{faicao hf}{gc` bua`ycfa cp pgfwa ca ygebcou}e medfw$ wge}e ej`g jc`ja me ; f} :

[j}cys(@ge`l Bua`ycfa

7/30/2019 Self Checking Design | - 5

70/103

?;

s

Ca oeae}jd bf} ja a(rj}cjmde bua`ycfa yge}e j}e =arj}cjmdep jc

iebcaei ca yge `f}}ep{faicao hf}{gc` bua`ycfa

Yge zuepycfa }ehjcap jp yf wgeyge} ygepe rjduep fb

jc`ja me pede`yei pf ygjy mfyg ~: jai ~= j}e pedb(yepycao

jai gea`e pedb(`ge`lcao

Bf} yge {j}cys(`ge`l bua`ycfa fb bcou}e ca {}ercfup pdcie$ yge`gfc`e jc8;$ c 0$ jc8 :$ c 9 dejip yf yge `c}`ucy pgfwa caaey bcou}e 'j#$ wgc`g `ja me re}cbcei yf me yfyjdds pedb(`ge`lcao$ wge}e yge `fie ca{uyp `f}}ep{fai yf jdd ca{uyp

wcyg ja erea auhme} fb :(mcyp

[j}cys(@ge`l Bua`ycfa

7/30/2019 Self Checking Design | - 5

71/103

?:

[j}cys(@ge`l Bua`ycfa

7/30/2019 Self Checking Design | - 5

72/103

?=

Ygcp ys{e fb }ejdc~jycfa `ja me oeae}jdc~ei bf} ja a(ca{uy{j}cys(`ge`l bua`ycfa

Ca yge yfyjdds pedb(`ge`lcao `c}`ucy$ yge pey fb arj}cjmdep cp {j}ycycfaei cayf ywf icpnfcay peyp Jc$ Mc$

ej`g wcyg jy dejpy fae rj}cjmde$ jai {j}cys(`ge`lbua`ycfap fb ygepe ywf rj}cjmde peyp j}e }ejdc~ei

Yge }epudyjay c}`ucy$ pgfwa ca bcou}e 'm# fb {}ercfuppdcie$ cp yfyjdds pedb(`ge`lcao

'Ja care}ye} fa fae fb yge fuy{uyp cp }ezuc}ei yf{}fiu`e fuy{uyp fb ';$:# f} ':$;# bf} erea {j}cysca{uyp#

[j}cys(@ge`l Bua`ycfa

7/30/2019 Self Checking Design | - 5

73/103

?0

Ygcp hf}{gc` bua`ycfa }ejdc~jycfa `ja me pgfwa yfme j hcaf} hficbc`jycfa fb j af}hjd `ge`le}}ejdc~jycfa pgfwa ca aey bcou}e

[j}cys(@ge`l Bua`ycfa

7/30/2019 Self Checking Design | - 5

74/103

?9

Ygup yge gj}i`f}e fb yge af}hjd `c}`ucy gjp afwmeea {dj`ei wcyg yge ie`cpcfa dfoc` 'wgc`gcaye}{}eyp yge e}}f}(cieaycbc`jycfa pcoajdp ';$;# jai':$:# jai {}fiu`ep j {jppcre e}}f} pcoajd#

Yge gj}i`f}e gjp meea df`jdc~ei}jyge} ygjaedchcajyei

Yfyjdds Pedb(@ge`lcao h&a@fie@ge`le}p

7/30/2019 Self Checking Design | - 5

75/103

?5

@ge`le}p

J yfyjdds pedb(`ge`lcao l&=l`fie `ge`le} `ja jdpfme iepcoaei

Yge ge`le} gjp ywf fuy{uyp$ bjai o

Yge =lca{uyp j}e {j}ycycfaei cayf ywf icpnfcay peyp

fb lca{uyp ej`g$ wJjai wM Yge bua`ycfa bcp iebcaei yf gjre yge rjdue : cb jai

fads cb cf} hf}e fb yge rj}cjmdep ca wJgjre ygerjdue : jai l( cf} hf}e fb yge rj}cjmdep ca wMgjre

yge rjdue :$ bf} cfii

Yfyjdds Pedb(@ge`lcao h&a@fie@ge`le}p

7/30/2019 Self Checking Design | - 5

76/103

?2

@ge`le}p

Pchcdj}ds ocp iebcaei yf gjre yge rjdue : cb cf}hf}e rj}cjmdep ca wJjai l( cf} hf}e rj}cjmdep cawMgjre yge rjdue :$ bf} cerea

Bf} fie ca{uyp 'c!e!$ ej`yds lfb yge =lrj}cjmdep

gjre yge rjdue :# ygea b8 : jai o8; f} o8 : jai b8;$ wgcde bf} afa`fie ca{uyp wcyg bewe} ygja l:(mcyp$ b8; jai o8;$ jai bf} afa`fie ca{uyp wcyghf}e ygja l:(mcyp$ b8o8 :

Yfyjdds Pedb(@ge`lcao h&a@fie@ge`le}p

7/30/2019 Self Checking Design | - 5

77/103

??

@ge`le}p Yge oeae}jd bf}h fb yge `c}`ucy cp jp pgfwa ca bcou}e

ca aey pdcie$ wge}e YJfiigjp fuy{uyp bf} ej`g fiirjdue fb c$ jai yge cyg fuy{uy jppuhep yge rjdue : cbcf} hf}e ca{uyp jppuhe yge rjdue :

Yge pum`c}`ucyp YJerea$ YMfii $ jai YMereaj}epchcdj}ds iebcaei

Cy `ja me pgfwa ygjy ygcp c}`ucy cp mfyg pedb(`ge`lcao jai bjudy pe`u}e$ jai gea`e yfyjdds pedb(`ge`lcao$ bf} jdd pcaode pyu`l bjudyp

Fyge} }ejdc~jycfap fb ygcp `ge`le} gjre j dj}oeauhme} fb bjudyp ygjy `jaafy me yepyei ms `fiewf}i ca{uyp

Yfyjdds Pedb(@ge`lcao h&a@fie@ge`le}p

7/30/2019 Self Checking Design | - 5

78/103

?7

@ge`le}p

Yfyjdds Pedb(@ge`lcao h&a@fie@ge`le}p

7/30/2019 Self Checking Design | - 5

79/103

?3

@ge`le}p

Yge pedb(`ge`lcao ge`le} bf} l&=l`fiep `ja jdpfme upei yf }ejdc~e j oeae}jd l&a`ge`le} wge}ea =l

Yge oeae}jd bf}h fb yge `c}`ucy }ejdc~jycfa cp pgfwa

ca aey bcou}e

Yfyjdds Pedb(@ge`lcao h&a@fie@ge`le}p

7/30/2019 Self Checking Design | - 5

80/103

7;

@ge`le}p

Yge JAI j}}js fapcpyp fb j pcaode dered fb l(ca{uyJAI ojyep$ fae bf} ej`g pumpey fb lrj}cjmdep$wgc`g oeae}jye jdd {fppcmde {}fiu`yp fb lfb yge arj}cjmdep

Ygup$ bf} j fie wf}i ca{uy$ yge fuy{uy fb ygcp j}}js wcdd gjre ej`yds fae :(pcoajd$ wgcde bf} afa`fie

ca{uyp wcyg hf}e ygja l:(mcyp$ ywf f} hf}e fb ygefuy{uy pcoajdp wcdd gjre yge rjdue :$ jai bf}

afa`fie ca{uyp wcyg bewe} ygja l:(mcyp$ afae fb ygefuy{uy pcoajdp wcdd gjre yge rjdue :

Yfyjdds Pedb(@ge`lcao h&a@fie@ge`le}p

7/30/2019 Self Checking Design | - 5

81/103

7:

@ e` e p Yge F] j}}js fapcpyp fb j pcaode dered fb F] ojyep$ wgc`g

`fare}yp yge `fie fa yge ~ pcoajdp yf j {&={`fie$

wge}e {hupy pjycpbs yge `fapy}jcay

Yge l&a`ge`le} iepcoa }e{}epeayei ca {}ercfup bcou}e hcogy

me `fapcie}ei caebbc`ceay$ pca`e cy }ezuc}ep j o}ejy jhfuay fbgj}iwj}e jai jddrjdci `fie wf}ip jp yepyp ca f}ie} yf ieye`yjdd pcaode pyu`l bjudyp

l

a&:

{

{

l

a{

==

Yfyjdds Pedb(@ge`lcao h&a@fie@ge`le}p

7/30/2019 Self Checking Design | - 5

82/103

7=

Pumpezueay }epej}`g wjp }edjyei yf jyyeh{yp yfbcaicao ch{}frei }ejdc~jycfap ygjy we}e yfyjdds pedb(`ge`lcao jai }ezuc}ei ecyge} j pch{de} `c}`ucyiepcoa jaidf}bewe} yepyp yf ieye`y jdd pcaode pyu`l

bjudyp J hf}e ebbc`ceay ge`le} ja me iepcoaei$ jp

pgfwa ca aey bcou}e$ `fapcpycao fb yg}ee pum`c}`ucyp$@:$ @=$ jai @0

Yfyjdds Pedb(@ge`lcao h&a@fie@ge`le}p

7/30/2019 Self Checking Design | - 5

83/103

70

Yfyjdds Pedb(@ge`lcao h&a@fie@ge`le}p

7/30/2019 Self Checking Design | - 5

84/103

79

Yge c}`ucy @: gjp aca{uyp jai ^ fuy{uyp wge}e ^ 8 9 bf}

h&'=h,:# `fiep$ ^ 85 bf} =&a`fiep$ jai ^ 82 bf} jas fyge}

h&a`fie

Ca af}hjd f{e}jycfa$ @: }e`ecrep h&a`fie wf}ip jp ca{uypjai {}fiu`ep j :&^`fie fa cyp fuy{uyp

Yge c}`ucy @= y}japdjyep yge :&^ `fie fa cyp ca{uyp yf j =&9`fie fa cyp fuy{uyp$ jai @0 cp j =&9 `fie `ge`le}

Jdd yg}ee fb yge pum`c}`ucyp j}e iepcoaei jp yfyjdds pedb(`ge`lcao `c}`ucyp

Ygcp ys{e fb }ejdc~jycfa `ja me pgfwa ca oeae}jd yf }ezuc}e jhu`g phjdde} pey fb yepyp yf ieye`y jdd pcaode pyu`l bjudyp`fh{j}ei yf yge iepcoa pgfwa {}ercfupds ca pdcie ?7

Yfyjdds Pedb(@ge`lcao Ezujdcys@ge`le}p

Yfyjdds pedb `ge`lcao ezujdcys `ge`le}p gjre jdpf meea

7/30/2019 Self Checking Design | - 5

85/103

75

Yfyjdds pedb(`ge`lcao ezujdcys ge`le}p gjre jdpf meeaiepcoaei

Ygepe `c}`ucyp yepy ywf l(mcy wf}ip yf ieye}hcae cb yges j}ecieayc`jd

Bf} l8=$ yge `c}`ucy fb aey bcou}e cp j yfyjdds pedb(`ge`lcaoezujdcys `ge`le} bf} yge ywf wf}ip 'j:$j=# jai 'm:$m=#

Yfyjdds Pedb(@ge`lcao Ezujdcys@ge`le}p

7/30/2019 Self Checking Design | - 5

86/103

72

Ygcp ja me oeae}jdc~ei bf} j}mcy}j}s rjduep fb l

Pu`g ja ezujdcys `ge`le} `ja me upei jp yge mjpcpbf} `ge`le}p bf} rj}cfup f{e}jycfap jai `fiep jpcddupy}jyei {}ercfupds ca yge iepcoa fb `ge`le}p bf}

jiicycfa upcao }epciue `fiep

Pedb(@ge`lcao Me}oe} @fie @ge`le}p

J oeae}jd py}u`yu}e bf} j yfyjdds pedb(`ge`lcao

7/30/2019 Self Checking Design | - 5

87/103

7?

`ge`le} bf} pe{j}jmde `fiep cp pgfwa ca aey bcou}e

Pedb(@ge`lcao Me}oe} @fie@ge`le}p

7/30/2019 Self Checking Design | - 5

88/103

77

Yge c}`ucy A: oeae}jyep `ge`l mcyp b}fh ygecabf}hjycfa mcyp Yge ezujdcys `ge`le}$ A=$`fh{j}ep yge `ge`l mcyp fb yge ca{uy wf}i wcyg yge`ge`l mcyp oeae}jyei ms A:

Bf} yge Me}oe} fie$ yge oeae}jyf} c}`ucy A: `jame `fapy}u`yei b}fh budd(jiie} hfiudep$ jp pgfwaca bcou}e ca aey pdcie$ bf} yge `jpe C 8?$ @8 0

J pey fb bfu} yepy re`yf}p cp pgfwa

Pedb(@ge`lcao Me}oe} @fie@ge`le}p

7/30/2019 Self Checking Design | - 5

89/103

73

Pedb(@ge`lcao Me}oe} @fie@ge`le}p

7/30/2019 Self Checking Design | - 5

90/103

3;

Ygcp ys{e fb iepcoa cp ejpcds oeae}jdc~ei bf} yge `jpe

wge}e C$ yge auhme} fb cabf}hjycfa mcyp$ cp =l( :

Yge oeae}jyf} c}`ucy$ A: cp ejpcds yepyei wcyg ecogyca{uyp pubbc`ceay yf ieye`y jdd pcaode pyu`l bjudyp wcygca

A: jp wedd jp jdd hudyc{de bjudyp f``u}}cao wcygca jpcaode budd(jiie} hfiude wcygca A:

Pedb(@ge`lcao Me}oe} @fie @ge`le}p

Bf} yge jpe wge}e C 8 =l( :$ jdd fb yge =l{fppcmde

7/30/2019 Self Checking Design | - 5

91/103

3:

`fhmcajycfap fb `ge`l(mcy rjduep f``u} ca pfhe

`fie wf}ip Yge}ebf}e j ywf(dered }ejdc~jycfa fb yge ezujdcys

`ge`le}$ A=$ wcdd me yfyjdds pedb(`ge`lcao

Gfwere}$ pu`g j }ejdc~jycfa cp re}s caebbc`ceay mfyg caye}hp fb yge auhme} fb ojyep }ezuc}ei jai ygeauhme} fb yepyp }ezuc}ei yf ieye`y jdd pcaode pyu`lbjudyp

Pedb(@ge`lcao Me}oe} @fie @ge`le}p

J hu`g hf}e ebbc`ceay }ejdc~jycfa cp j y}ee c}`ucy bf}hei jpc y yc b mcy y i d

7/30/2019 Self Checking Design | - 5

92/103

3=

ja caye}`faae`ycfa fb fae(mcy `fh{j}jyf} hfiudep

Jdygfuog pfhewgjy hf}e `fh{de$ }edjycreds ebbc ceayiepcoap fb mfyg A: jai A= `ja me ie}crei bf} yge `jpepwge}e C =l :

J pcoacbc`jay jhfuay fb }epej}`g gjp meea ic}e`yei yfwj}i

yge ieredf{heay fb hf}e ebbc`ceay yfyjdds pedb(`ge`lcao`c}`ucyp bf} hjas fb yge hf}e `fhhfa `fiep$ pfhe fb wgc`g

gjre meea `fapcie}ei ge}eca$ jp wedd jp yf p{e`cbc`ye`gafdfocep pu`g jp [DJp

Dcyyde gjp meea ifae$ gfwere}$ ca yge wjs fb j oeae}jd ygef}s

bf} yge iepcoa fb yfyjdds pedb(`ge`lcao `c}`ucyp bf} j}mcy}j}s`fhmcajycfajd f} pezueaycjd bua`ycfap

Yfwj}i j Oeae}jd Ygef}s fb Pedb(@ge`lcao @fhmcajycfajd @c}`ucyp

b b

7/30/2019 Self Checking Design | - 5

93/103

30

_e wcdd afw `fapcie} yge oeae}jd {}fmdeh fb pedb(

`ge`lcao `c}`ucy iepcoa bf} j}mcy}j}s bua`ycfap Cy cp ejpcds pgfwa ygjy yge ca{uyp fb j pedb(`ge`lcao

`c}`ucy hupy me `fiei ca j icpyja`e i`fie wge}e icp jy dejpy = ca f}ie} bf} yge `c}`ucy yf me bjudy pe`u}e

wcyg }ep{e`y yf pcaode pyu`l ca{uy bjudyp

Yge fuy{uyp hupy me pchcdj}ds fiei yf me bjudype`u}e wcyg }ep{e`y yf pcaode pyu`l fuy{uy bjudyp

Yfwj}i j Oeae}jd Ygef}s fb Pedb(@ge`lcao @fhmcajycfajd @c}`ucyp

Cb c c i g g c b d i g

7/30/2019 Self Checking Design | - 5

94/103

39

Cb cy cp jppuhei ygjy yge}e j}e af ca{uy bjudyp jai yge

ca{uyp j}e ua`fiei$ ygea pedb(yepycao cp juyfhjyc`jddsj`gcerei jai yge `c}`ucy hupy fads me iepcoaei yf mebjudy pe`u}e

Cb yge fuy{uyp fb yge `c}`ucy j}e iebcaei yf me fb erea

{j}cys$ yges iebcae j icpyja`e = `fie

Gfwere}$ cy cp {fppcmde bf} j pcaode bjudy yf jbbe`y ywffuy{uy mcyp$ jp cddupy}jyei ms yge bjudy j p(j(;wcyg

ca{uy 'w:$w=# 8 ';$:# ca yge `c}`ucy fb bcou}e 'm# ca aeypdcie

Yfwj}i j Oeae}jd Ygef}s fb Pedb(@ge`lcao@fhmcajycfajd @c}`ucyp

7/30/2019 Self Checking Design | - 5

95/103

35

Yfwj}i j Oeae}jd Ygef}s fb Pedb(@ge`lcao @fhmcajycfajd @c}`ucyp

C ygc yg c cy c y b dy c yg

7/30/2019 Self Checking Design | - 5

96/103

32

Ca ygcp jpe yge `c}`ucy cp afy bjudy pe`u}e$ pca`e yge

af}hjd fuy{uy 'b:$b=$b0#8 ':$:$;# jai yge bjudys fuy{uy'b:$b=$b0# 8';$;$;# j}e mfyg rjdci {fppcmde `c}`ucyfuy{uyp bf} pfhe ca{uy rjdue

Yge `c}`ucy ja me }eiepcoaei yf {}ereay pu`g ja

e}}f} {jyye}a$ jp pgfwa ca bcou}e '`#$ wge}ecaiu{dc`jyei pcoajdp gjre meea oeae}jyei yf eapu}efii {j}cys e}}f}p

Yfwj}i j Oeae}jd Ygef}s fb Pedb(@ge`lcao @fhmcajycfajd @c}`ucyp

A y yg y g b yg y O i O b bc 'm#

7/30/2019 Self Checking Design | - 5

97/103

3?

Afye ygjy ej`g fb yge ojyep O: jai O= fb bcou}e 'm#

gjre meea }e{dj`ei ms ywf ojyep$ jai cy hupy mebu}yge} jppuhei ygjy af ca{uy bjudy `ja jbbe`y mfyg fbygepe ojyep

Ygup cb af ca{uy bjudyp j}e `fapcie}ei$ cy cp {fppcmde

yf iepcoa bjudy(pe`u}e }ejdc~jycfap fb j}mcy}j}s`fhmcajycfajd bua`ycfap

Yfwj}i j Oeae}jd Ygef}s fb Pedb(@ge`lcao @fhmcajycfajd @c}`ucyp

Jp we gjre peea {}ercfupds cb we jppuhe ygjy j

7/30/2019 Self Checking Design | - 5

98/103

37

Jp we gjre peea {}ercfupds$ cb we jppuhe ygjy j

pcaode {jppcre pcoajd cp }ezuc}ei bf} e}}f} caic`jycfaiepcoa fb yfyjdds pedb(`ge`lcao `c}`ucyp `jaafy`fh{deyeds edchcajye yge gj}i`f}e

]ebe}}cao yf bcou}e ca pdcie 25$ cb @: cp yf me yfyjdds

pedb(`ge`lcao jai @= cp yf }e{}epeay yge gj}i`f}e$yge zuepycfa j}cpep wgeyge} yge dfoc` ca @: `ja mepumpyjaycjdds pch{dcbcei cb @= cp hjie pfhewgjy hf}e`fh{de

Yfwj}i j Oeae}jd Ygef}s fb Pedb(@ge`lcao @fhmcajycfajd @c}`ucyp

Cy j{{ej}p dcleds ygjy j oeae}jd ygef}s fb pedb

7/30/2019 Self Checking Design | - 5

99/103

33

Cy j{{ej}p dcleds ygjy j oeae}jd ygef}s fb pedb(

`ge`lcao `c}`ucyp wfudi afy me }epy}c`yei yf ywf(fuy{uy hf}{gc` bua`ycfap jai wfudi e{dc`cyds}e`foac~e yge y}jie(fbb meyweea yge gj}i`f}e jaiyge ieo}ee fb pedb(`ge`lcao

Ca ygcp faae`ycfa j `djpp fb c}`ucyp ygjy j}e yfyjddsbjudy pe`u}e muy fads {j}ycjdds pedb(yepycao$ jai j`djpp fb `c}`ucyp ygjy j}e yfyjdds pedb(yepycao muy j}efads bjudy pe`u}e bf} j pumpey fb jdd {fppcmde ca{uyphjs me `fapcie}ei

Gfwere}$ af oeae}jd iepcoa {}f`eiu}ep bf} pu`g`c}`ucyp gjre sey meea ieredf{ei

Pedb(@ge`lcao Pezueaycjd @c}`ucyp

Yge upe fb fiep jai yge `fa`e{yp fb pedb(`ge`lcaoi c d dc md g i c b db

7/30/2019 Self Checking Design | - 5

100/103

:;;

iepcoa j}e jdpf j{{dc`jmde yf yge iepcoa fb pedb(

`ge`lcao pezueaycjd `c}`ucyp

@fapcie} yge pezueaycjd(`c}`ucy hfied fb aey bcou}e$ca wgc`g yge fuy{uyp jai pyjye rj}cjmdep j}e `fiei

Pedb(@ge`lcao Pezueaycjd @c}`ucyp

Pedb(`ge`lcao `ja me fmyjcaei ms iepcoacao ygemc yc d d c yg y

7/30/2019 Self Checking Design | - 5

101/103

:;:

`fhmcajycfajd dfoc` pf ygjy

Bf} jas bjudy caye}ajd yf @ 'Cb ca{uy bjudyp j}e jdpf yf me`fapcie}ei$ yge ca{uyp hupy me `fiei# jai bf} jas ca{uy$

ecyge} yge fuy{uy jai yge aey pyjye j}e `f}}e`y f} ygefuy{uy jai&f} yge aey pyjye cp j afa`fie wf}i

Bf} jas pyjye `f}}ep{faicao yf j afa`fie wf}i }epudycaob}fh j bjudy bca @$ jai bf} jas ca{uy$ yge aey pyjyeoeae}jyei ms @wcyg bjudy bcp j afa`fie wf}i jai yge

fuy{uy cp jdpf j afa`fie wf}i

Pedb(@ge`lcao Pezueaycjd @c}`ucyp

Yge aey }epudy b}fh ygepe faicycfap cp ygjy @pe}repg l yg i i y y c md

7/30/2019 Self Checking Design | - 5

102/103

:;=

jp j `ge`le} fa yge `fiei pyjye rj}cjmdep

J `fa`e{yujdds pchcdj} iepcoa {}f`eiu}e cp pgfwa caaey bcou}e

Pedb(@ge`lcao Pezueaycjd @c}`ucyp

Yge fuy{uyp fb yge pezueaycjd `c}`ucy @: j}e ea`fieica j l&a `fie wgc`g cp ca{uy yf j l&a `ge`le}

7/30/2019 Self Checking Design | - 5

103/103

:;0

ca j l&a`fie$ wgc`g cp ca{uy yf j l&a`ge`le}

Yge ge`le} oeae}jyep j pcoajd ]p$ wgc`g cp }ezuc}eibf} yge aey `df`l {udpe 'f} ca yge `jpe fbjpsa`g}fafup `c}`ucyp$ bf} yge aey ca{uy pcoajd# yf meoeae}jyei

Ygup bf} hjas bjudyp yge pspyeh wcdd pyf{ jp pffa jpja e}}faefup fuy{uy cp oeae}jyei

J `fapcie}jmde jhfuay fb }epej}`g gjp meeabf`upei fa yge j{{dc`jycfa fb yge mjpc` `fa`e{yp fb

pedb(`ge`lcao yf yge iepcoa fb hf}e `fh{depspyehp ca`duicao hc`}f{}fo}jhhei `fay}fd uacypjai hc`}f{}f`eppf}p