buku abel.pdf

Upload: sonny-putu

Post on 03-Jun-2018

232 views

Category:

Documents


0 download

TRANSCRIPT

  • 8/12/2019 buku abel.pdf

    1/14

    4.6

    The

    ABELHardware escription

    anguage

    hardwm

    descriprionoEuage

    HDL)

    tblr

    $as .venied

    o allos

    specilylogicuncrionsor

    re"lizaiionn PLDS. n ABEL

    proer.m

    conraininseleral lenenc:

    Se. ron

    6 TheABELHard iares . r i p i i onanquaq

    ABEL

    s a

    .

    .

    Doclncntaiio..

    ncludine

    fogrifr

    naoe

    andconnens.

    .

    Dechrari.ns

    hat denril the nputs

    ndotrQu8ol $e logic unctionso

    .

    SntemenN

    atspecrlr he

    o i. aunctionso be

    pedomed

    .

    Usul l l l

    add lsnr ion l rhe type lPLDororherrd l c tddev i .e

    n

    which

    lhe speufied

    ogi. fun.tioD\areb be

    pennrmed

    .

    U\uall\.

    rcj veckr. rhmspecifj

    rbc . ic funcriont e\pecred utpu6

    ABEL

    ( slpponcd y m.1aEl l,nsldsslrr

    z]vr {hrch

    $e'll

    simplrellrn

    /atl

    .,,?i/.,. Thecompile.\tob

    n Io h0nre dreABEL reri file nb a iuse

    pdrren $d cm bedolvnLord.d

    nto

    pbtsical

    PLD. Even hough on PLDS

    .an be

    ph)sicallrpro-lrnminednlr

    qith

    ple.s

    conespondinso sun oi

    produc(

    e*presions. BEL dllows

    PLD functions o be expressed

    i$

    mdi

    tables r ncied IF natemenrsa\

    ellr\ b) r algebraic.xpressiotr

    omar.

    The..npiler mripuLlts

    (hese

    omuls

    andminimizcs heEnrlling equarions

    Io ir iiponibl.. inro he \trLlable

    LD nndute.

    we

    ll hll, aboulPLD {ru.tur.s.

    luse

    paterns.

    md relal.d opics

    ,ter 1n

    Secrion .1. Dd$e ll \hd\ how . rafger BEL pmgrams. specitic LDS.

    Ihe

    me n me.

    e

    ll\hos ho{'ABEL

    canbeused , speclfJ"

    ombinalonal ogrc

    lu i c rons \dhournecessan l )a \ lng dec la rehe rsereddcv lce trp . .

    a te r .

    in

    Secrn T Ll.

    ue

    ll do rhe lric

    ror\eque.tial ogL.luncrNns

    4.6.1 ABELProgram tructure

    Table+-10

    ho*s the

    qpicnl

    srruclrre.l

    d ABEL

    progran.

    and

    Trble.l

    ll

    show:

    an cMlprogranrexhibuingde

    ollosing aneuagee{ures:

    .

    /r'.,rf.ri

    mu$ begi.

    rith a eter or unde*coE.nay

    contain p to ll

    lene^.

    drglB. nd

    undeNores. ndarecrsesennrve

    .

    A

    proeram

    ile begins

    wnh a ,ddu]e v.teheni

    Bhich asocrares n

    identiner

    A1@ crr.lit)

    wnh the

    program

    nodule.

    Ldee

    pro8rans

    cao

    haEnuhple

    m.dules. rch

    ith

    its oun lo.altitle,

    declarations.nd

    equtrons.Note hat elwords

    uchas Dodule ar. nolcase

    ensitrve.

    ABEL

    (Advanc.d

    Booled Equatidn

    nguag.) n a hdemsk of

    Data o

    CorDomrioo

    Redmond.

    A 930?3).

    LEGALNONCE

  • 8/12/2019 buku abel.pdf

    2/14

    combinarrdnalLogic

    esiqn rnc

    p

    es

    Th. tit.le

    sorementpsofies

    tile ning rhat

    will

    be nsene,l nro hc

    documentation

    les

    harare re edby rhc$npiler

    A r,rfid is r

    series l.hancrA ci.l.\rd h \i'gle quors

    Theoprionllderice declaroriorncldes J deyicedenrifie.AlAitlcn]

    uda i r i ngrhar, l enoresrhed.v rcer peL 'F16v3c,

    i r r roALL6vS) he

    compileruses

    edeyi.e denhirerin

    henrmes ldocumerturiotriles hd

    irSener tes.

    nd t tr\es

    hedevlce

    ype

    oderrminc hutnr. hc.ie ic..rtr

    Edl]

    pednm

    the ogic utulions5pecified

    n heprosnm.

    c,,,nc,6

    beginwlrh

    a double

    uore

    ndend

    snh

    mode. double

    uore

    or

    |heendofthe

    ine.

    which.vercofrer

    u

    Pu.Acldra,i,nr

    tellthc.onpiler

    abour

    rmbolic

    names $.ciated

    ,th

    rhedcvice

    extenalpinr.

    f thesi-snd ane is

    preceded ith

    dreNOT

    pre f i x ( l ) . t hen 'necomplem.n toa t

    l i ncds ignr lw i l l r p0erodthep in .

    P i rd r . h u o n r ' . , r : \ n J . i o . p , n d t r b d . . 0 1 . r . , r , n .

    rheconplleraslsns

    hembrsed n

    dc.rpdbrli.ie\ofde o.ge.ed

    evice.

    The r.l,pekelBord precedcs

    li

    ofdn or oore

    popenies.

    eparaed

    by comm8 This

    ells hcc frp,ler

    he rpe oi ourput isnal. he con'

    keywordndicares

    combimtionrl Dtput fno istype

    keyword

    given.

    thecompildsenenllt

    a$Ddes

    hat hesignal su input nlesst appe$

    on rhe

    efdand ide

    ofm equarion. which.sc it ries ro lgureout he

    outpufs

    openies

    romde conrer.

    For

    yourown rocciion.

    '5besrjusr

    ro use he

    styp keywo.dbr

    U oupursl

    Ottur declardtions

    aro*

    tl,e desisner o detine constanrs d expressions

    to naove program dabili.t andtosinpliiy logicdesien

    The eq,attols

    $arenent .{ji..res

    thlr losic equlrions erining flput

    sgnals

    6 functions

    iinput siCn,lswill foilow.

    Equations

    m wnrcD

    lilc asignnent

    shieoenrs

    . a co.ventiolal

    pDglfflng

    lansuage. rch

    equation

    s

    teminared y

    r

    seoicolon.

    ABEL

    useshe ollowrig

    synboh or logical psdio.s:

  • 8/12/2019 buku abel.pdf

    3/14

    se.lion46 TneABEL adwacD$n on Language

    2

    E

    rabr

    4-1r An

    ABEL

    ,ogm

    or

    he

    atarm

    sysie4s

    E si ee.i4

    ', 00ft'cAfucE]

    1 1 ,

    1 t r

    . x ' ' ' x

    ,

    ' x ' ,

    j (

    ]

    . x ,

    x . , . x . , . . l

    1 , ' x , , x ' , ' x ' ]

    0l

    t

    & AND

    INOT(usedsrpre ix ) .

    $ XOB.

    $

    XNOR.

    As

    nconventjonal

    rcgd'ming

    eguages, No

    &)

    has

    Ecedence

    ver

    OF (r) in expessions. be o.{rTErx. E dnecdvemalesthe conpiler

    .{ogni-

    fl altemate

    erof symbolsor hese pedions:

    *, +,

    /,

    :

    +:

    ,

    and

    :

    |

    :

    ,

    lesFcrively.

    Thisbookuses hedeiauh

    ynbols

    iJougbout.

    .

    Theopdonjl tdet_

    recrors

    slatefren ndi.areshat rest

    vecrod

    ollo*

    .

    Z,srv.d,^

    asociare

    nputconbinationsithexpecredulpul

    aln.sr

    rhey

    de usedor

    sinulationard rsd.g asexpiainedn Secrion .6.7.

  • 8/12/2019 buku abel.pdf

    4/14

    Chaprer

    Comb'naionar

    oqr0es'gn

    nncDres

    .

    Thecompiler.ecognnerveral pecil].onn 04

    Includidg.,{..rrngLN

    bnwhose

    dlue

    toni care.'

    .

    Tbe ,dnrbmJr dar [ s heJnd

    arhN

    mudul . .

    Equ ions tbr combinutiond utpuB

    use rhe u,.htk t assisntnenl

    ,pdrdr,r,

    =.

    Thc Lenhmdidcotan.qunion nomully

    onridi r signdn me.

    The hghrhod

    siden r

    logic

    erpre\nod.

    or trcc.ssily in rud

    or:producs

    ion. The gnil drne on $e leithand ide oiin equnod

    mry be opnondlly

    precededbr the

    OToperaror

    rh i s i sequrvd le i r tocomplemen ig rhen-s

    bmd ide.

    Thecompileasjobs ro

    genenc

    r fuse

    ren such har he

    ignrL

    oaned nhe leithediide r.rlizes hc ogi. cKpressno.

    the.igirrhand

    de

    4.6.2 ABEL

    Compiler peration

    Tbe

    pmgod

    i.

    Tlblel

    ll rellize\ rhe

    lr.d irndon thd

    tre

    de\..ibed

    otr

    paee

    li. Thc sisnrl ddnedENABLE x \ beercoded \ 9IjABLEA

    e.ruse

    ENAaLEsa

    re\drved

    ord

    in ABEL

    Nolice hd not llofthe equdiorr ppcrunderihe quaticnsn.refrenl

    An inrerned ia te .qudf . r Jn idendt i. r s : cu iE4peaAel r ie lTh , equn.on

    n nrrely

    I definitionhd asocitrrern e\pressri

    'nh Ir. 'deitirierSEclrRE

    The ABEL cornpiler bnnu[s rbn .\p..iLotr tbr he idenntier

    ECURE

    n

    cvery lace

    har EcuRI pperr iter nsJeinitun

    lnFigLrc L9.npageI l i i \ r . .er lLzedthenLr rmcmu{dnedl t ronthe

    SECUREnd ALARM

    :pressions.singmulliple

    etel\ ol loSi Thc

    ABEL

    conpile

    doesn use xpre$ionso inrerc.nned

    rr

    i. ths

    sry.

    R {ner

    r

    ''crunchej

    rheelpre\ioi\roobfuinumidrmdLnvo-ldel\umrn

    roducEerun

    apptupmre

    or realizarionn r PLD.ThuJ.

    whs' rodpiled.T$le

    1 ll rhould

    yield

    aresuftequlvrlenro rheAND-OF.ncDitharwe\hosedn Figure

    -10otr

    page

    16, which

    hrppenso beminimxl.

    In fact, rdoes.Tabl.l-ll shori rhe ynth.sized

    qu&ionsile seared

    l

    theABEI compil.L

    Nohcs hni

    rhs ojirp,ler eatesequdi.n\

    only tor

    the

    ,\1,{R

    gial. de onlt ourpurThe SECUREgnxldocs.ot

    ppearanywh.re

    Thecompilerdnds minimd

    um

    olprcducls iprenior

    orboth,ILAF]I

    andns complement.

    AL-aRt4.

    \

    nenrioned

    revioNly.

    manyPLDS

    .ve

    he

    rb,liry

    selecrilel) o nvenor nor o inven heirAND-OR

    trtpur hc_retese

    po ld i r yequar ion

    nTrbic . l - l2 isr \um-olpoduc6rer l i .$onol , {LAMdnd

    wouldbeusedlourpur

    nveaion

    were

    ele.ted.

    In lhh example.he Gvese

    poldt

    equa'ion N

    one es

    prcdncted

    thu $e nomal-polriiy equation fof AI"AF]]{,o rhecomFil.r will seleci 'hN

    equationithe tarCetedevice ls selechble utputnve6ion.

    user m

    also

    iorce he conpiler

    to

    use ei$er nom.l or revers

    polanry or a s ignar

    Dv

    including he

    keyword

    bDffr'

    or

    "inved,

    ftspectilel). n the

    signlr's

    istype

    pDperty

    ist.

    Wilhsome

    ABEL compileb- eywords

    pos and

    69

    cd beusd for his

    puQose.

    urseeSection 6.6.l

  • 8/12/2019 buku abel.pdf

    5/14

    I

    lab le 4-12

    Synhes

    d

    Tabte .11

    Secton

    6 TheAaELHailwarc escnptui

    anguage

    253

    equal

    ns

    ileproducdbyABELior

    rcgram

    rirla,

    r.

    Va 6 1',

    xi.,o

    Sy3rsos

    P-Tees

    Fu-b

    Fe dtt

    Typ.

    Averase

    ren/otriput:

    3

    Revers6-potaritr

    EquatioN

    :

    ,{LrR],

    oprNrc vrNDolt

    D00i&

    caMcE

    * ]PAxlc& u1A I,'I)

    4,6.3

    WHEN

    Statements

    nd Equa{on

    Btocks

    In addition

    o equarioos,

    BEL pmvides

    he rrn,

    rturn,,r asdotner m.ans

    to

    specify

    conbinarional

    ogic

    tunctioN

    n thc

    e@i,a

    sclon ol an AI3EL

    Program.

    able

    4-13

    shows he

    sereral

    sEuctuE

    f a rrEx starenenr. ibild

    o

    dn

    F

    nJ'en.ni

    rr

    convpntior{ roCrffrng

    tmgrdE

    T}e EISE

    .au*

    is

    o0rronJl.

    eE

    '3r.Exp'tu.,n.\ q0

    erpRsc.on

    nrch

    FrutrsmJ

    rajre

    orwe

    I

    r

    o' lal e

    0

    Ei ier

    &p

    /

    4rdxaror FaLpFql,rba

    F

    ..e(cured..

    .leFnd:0s

  • 8/12/2019 buku abel.pdf

    6/14

    sclion4.6

    I

    Tabre

    4.1r

    E&od$ or

    ur{Er{

    ralemenrs.

    Th6

    ASELHadM@ De*riplion Languaqa

    2ss

    , i i [ { a r s ) TIEN 1

    -cr

    D;

    x 1 = r * B ) l ( c e D ) :

    , I J E X

    A

    A B ) f t w 1 2 - C r D :

    x 2 a - ( a & B ) r ( c d D )

    r 1 l r r s ) & ( E * F ) i

    ELSEllr

    (B)

    Tn x3

    =

    E:

    ISE 'HEII

    (CJ

    rcX

    rc

    -

    F:

    ,

    r (aJ &

    G) &

    (E)

    c

    r ( a )

    e G )

    &

    l c )

    ( F ) :

    trHEn

    (B)

    nEx

    x4

    ,

    Di )

    lifid

    {a & B) TlrEr xs

    =

    0:

    ELSEHT

    (A

    * C)

    THEN 6

    =

    E;

    EISE L1IEX

    B

    '

    C) THEMX7

    =

    Fi

    ril iEN

    (B)

    Tr{Er{X3

    =

    ri ELSE

    xS

    =

    D; i10

    =

    E;}

    L1lrN

    (D)

    TlllN 19

    =

    lj

    ]

  • 8/12/2019 buku abel.pdf

    7/14

    chaptr

    combnaionaroqcoesign

    rncipLes

    Iab le 4 -15

    Synhes 'zedqua lon5

    produ(ed

    y ABEL

    or

    pro m in Table

    l4

    'JHEII

    stat.b.nr

    tudp1.s

    P.Te3Fu- i F&.ou t ] y eNee

    :

    ir

  • 8/12/2019 buku abel.pdf

    8/14

    tn.h table

    (tp-in,

    >

    4rpd riv)

    sc[onrb The

    BE-

    a

    @a'e

    oesrplo-

    Lanolaq

    257

    I

    Table4.17

    anaBt .

    proab-

    or

    .e

    o ' . re-n,To.

    eteco '

    A BEL providesnemoe say tospecit conb,nalonalogic unclons-

    rhe &.,i /drlc.

    with

    the

    eenedl

    bm.i shosn n Table+16

    The ket*ord

    irut,-table intodrcer

    a Nth table. he

    pullir. d ollPd

    ri9

    glre

    'ne

    nrme\oi rhe nput i-qnrh d tneoupua $ar theydf4 Erh

    of $es.

    lis6 rs

    eithera single ignal

    lme or. rz4 sets

    e descnbdully in

    s.cdonl6s

    Following he

    orh uble nroduction E a senes l{rEmen$.

    edch

    lvhich

    spec i l i esa . inpurva luDand .equ iedouQdva lueus ins the-_>

    perator

    or

    e0nple.Ihc

    ldlh lable or r inveireris ho*i belo{

    tnth .abie

    (x

    >

    {orx)

    The ino l i npur

    a luesdo.snotneedtobecomplerd :on lv theoneto l the

    furction

    needs o be specified nles don roare

    pocesin-

    n

    ei$led

    rsee

    Seruon

    .6.6).

    Tabh r 17 shoss ho\v thc

    pnme

    numb.r

    dere.tor unclon

    described

    d

    page

    li .an be specified ring

    i ABEL

    poeran. For conve

    nidice.

    he denririer lrir s defineJN a s nonym or

    rheserof ou inpur

    bns

    lN3,N2,Nl ,o l . a l lowing.1b i t nput

    d lu. o

    be

    wnt renade. ima l

    n teger

  • 8/12/2019 buku abel.pdf

    9/14

    2sg

    Chapter.l

    Combinal

    .at

    Loqic esiln

    r

    nc

    ptes

    Borh

    nth hbies dnd equarions

    e be usedwi$in Lt \dhd

    ABEL

    pDg(m.

    Theequations

    keyrord aodu.e\ r *quen

    olequatiors.

    white

    rhe nrh_iabre

    kerwordnroducej

    inlle tru$ tabte.

    I

    I

    4.6,5Fanges,

    ers, nd

    Fetations

    tlost dignal

    y$ens

    include uses,cgineB- nd

    orher

    n dits hrr hudle

    a

    group

    ol two

    or more ignalsn m idendcrl

    ishion.ABEL

    povides

    seleral

    shoncuA,irconvenientlyefiningnd using uch ignah.

    The

    irn shoncur

    s fornanine im1h.nudberd

    \iFals

    Ar

    rho*.

    in rhe

    p'n

    definnions

    Table.1-18.

    ra,sr

    orsigndlnumesan defined , narins

    rhe i6t

    and as nMes

    in ine rmge.epmcd by

    _..

    For

    eranple.

    wdriig

    ''N3..{0

    is

    rle same s wriri.g-l{3,N2,N1,:t0

    \orice n de tab le ha hc

    r&ge

    can

    be6cending rde*ending

    Nerl. we

    need

    tucihy lof writing qudionsmoft conpr.rlv {hcn

    d

    -grctrp

    t

    jenah

    re all hmdled demicdllv.

    n order o reducehechlnceof

    etu6andinconsisrenciei

    nABELr.,issimplyrdein.dco llecrionof igmh

    fJr ' .

    1 'n l r J

    J " .

    \ l

    r ' r , l , t rc '

    operJ .o l

    . . r

    - .

    a \D.

    OR.o

    assignnenr

    sappli.d oo \er. r sappLiedo.rch cldmenro,thc.r

    Eachset

    6 defined r rhe bcsjnnin

    of lhe

    pro8nm

    by $socilnng I

    setnane

    q'lnr

    brrck.t.d isr

    of lhe serelemeDb

    e,g.

    -llr3,N2,lr1,Nol

    n

    Tab le l8 ) .Th . re re l cment

    isrmr ] useshoi .u r iohr iDn

    your=ty1. .y4t r .

    but he

    el.mei'

    nrmes eed otbe frrla.orhrre

    my corespondence

    irh

    de

    setname

    cor{,=tsq,calr.

    SerelenDnb

    n al\o beconnmrs

    cr=i0,1l

    ).

    In

    anl

    cas. the

    numberd orderoidletoens

    n ser re sigrificmr.

    se

    lLsee.

    Most

    ofAAEL

    J opembs.canbe rpplied o \eh Whenan operaiions

    applied

    o rqoo.oore

    sers. Iolthe ser dust

    hrve he ame umbc oiele

    menu.

    ard rheopenrion

    applied

    ndividuruyo setclemenG

    n

    ike

    posnions.

    regddli\

    ol theirmfres

    or numbeA. lrur.rhe

    equdion

    YO -r

    &

    M' is

    equivalenio fourequd ons:

    wben

    m

    operationncludes oth

    set and nonsetmriables.he nonset

    vridbles

    mcombined

    ndividLallywithretelemenr

    . erch

    osition.

    hus-he

    equanon

    Zottt

    = (sEL&N)

    (

    SEL&D is.quivdenoiourcquanonsofrhe

    rorn

    "2i

    =

    (sEL

    Ni) *

    (

    sELe

    ui),,tnr equal0 3.

    Ano$er

    nponant

    eaores ABEL\ abihy o

    convenelarionl

    inro

    lo8'cerpressions.reldrnnG a pairolopemndsombinedirhoneof the

    tutati.nat

    opemtorsisred rnbb

    ,1,19.

    heconpilerconverta relaion nro

    losic

    expe$ion

    thar s I if

    rnd only f tne ehtion s

    r e.

    Ihe op@ds n a relation

    e rearedasDnsiened

    ftesels. d eilhd

    opei

    and

    may

    . d integerraser.Ifde

    op.nnd sa *r, ii

    is exted

    sanu.signed

  • 8/12/2019 buku abel.pdf

    10/14

    s6c10nr.6

    l\e aBFL rad@,d Dfprion

    _onqLaqe 25S

    t

    I ab le

    4 .18

    Erdnp

    r orABCLa-q"s .seE

    ndretar ron. .

    t i i r se topera t .ooEbp]4 '

    IrPut dd

    ourplt

    PiDs

    EO,CE,GTR, TT,UXLOflY

    coMP

    tEa,cEl

    zou"r

    (sEL

    &

    )

    *

    (!sE!

    [ r{)]

    UNLUK'

    0r

    ==

    13) *

    ({ --

    -br)

    D'nry

    'ntegefwirh

    he efinos t ariable

    epresenting

    dr ' . r l r .0Lmber .

    n \BcL

    prc l idm,

    e a \ ,Lmed

    ok b6e. lo .HexJd.c_mat

    cLcu".

    umDers

    n ABbL pmgrams

    e assuned

    o b

    and

    b'iary

    nuhbes

    de denoted

    y I

    prefrx

    of.-h..or

    5hoen

    n hr

    anequ

    on n

    Tabtet8.

    A

    BEL

    se ' )

    nd rc ld r ion \

    low. lo ro f rLn .uonJ l { v

    o

    be. ,pE$ed, r

    very

    req

    li1.\ol!ode

    for etJnDie.

    heequ1lo1.

    Tabte

    t8

    senerare

    rdniz.d

    e'tuarions

    irh

    69

    producrttrs,

    sshown n the

    summalrn Table 20,

    inAeEL.

  • 8/12/2019 buku abel.pdf

    11/14

    CombinalioMlogicoesiqn

    PrincPes

    I

    rabre 4-20

    synrhesizedequarons

    byABELlor.rogam

    ;

    '4.6,6

    Don i-Care Inpuls

    SoneveBions f de ABELcodpilerhdve

    imitedbiliry

    to hrndle

    o. l_care

    inputs.

    s denioned

    pr.viousll.

    ABEL equrions

    peciry

    nputcomb'nanons

    thatbelone o rneonjet of logi.

    tuncion:de rcmtining

    onbin.iions

    e

    ssumed o belo.g o theofirer. If some

    np smbin

    ionscan

    n$eadbe

    asignedo thed{ei. hen he

    pogfumm,y be$le o

    usethesedon

    cde inPUB

    to doabenerjob

    fmininizrtion.

    The ABEL language

    eines tso mechmisns

    or

    rsiSnlng

    'nput

    conbinarions thed{et.In order

    o use ithermehdnism.

    ou

    nus

    inclnde

    dreconpiter

    dnecive

    ODCSETn

    yourprogran incllde'dc

    in the

    Etv?

    popefty

    istofde outpu6

    or which

    ou

    want on\-cdes

    o beconsideed.

    'the

    6ut mcchanism the d,r't core

    un.lo*ed a$isnnent

    oPetutor,

    ?=

    Thisoperators used

    nsDxd f= in equdions

    o nd ic e that

    npuicombina

    tions matching fte dshthand side

    rhould be

    put into the d{et

    instead of

    de

    on-st. Alrhoueh rhis operatorh docunenred

    n thc

    ABEL conPile(

    rhat I use

    u.fonnnlrly

    ir s.ens

    to

    be

    bloken. so m nor

    going

    o ri& about

    n dv

    mot

    Th secondnecbanism is the hrh labl.vanendo. t-c@ Pmessrg s

    c.abled,

    any nput

    onbinario.s thar arenot explicidy

    isted n

    themd t$le

    @

    put

    nto rhdael. Thus, he

    prin BCD-dign deEctor

    described n

    page

    232

    cd

    besFcified n ABEL asshopn n Table

    -21.A don't{@

    volues

    mplied

    ot

    i.pDtconbinations

    O l5

    becauseheseombindions

    onotapPuin

    hemd

    rablcand be oDcsET iEcriv

    is in etrect.

  • 8/12/2019 buku abel.pdf

    12/14

    ccdo l r6

    1a .a rL

    a ruwae

    esc

    prnLarq .dgb

    25

    lirle

    oonr

    c&e E:&pr6

    '

    rnpr and

    outlur pins

    . ri_iable

    (a,Bl->y)

    L0 ,o l

    >01

    t0 , l l ->x ;

    t1,0t

    >x ;

    t 1 , 1 1 - > 1 i

    1r\

    also

    o$ibletospr.irydo.\

    conbinadonsxplicnly,s [ownn

    thesecondrtuthble As firduced t rhe ery eginningf Lbn eclio( BEL

    recognizes

    L

    asa special@

    bir con$dt wnose dueh

    .don\-c{e.

    ln

    Table4-21,

    he

    de.dne.

    " hd been quded

    o rhis onslai jusro oare

    r

    e6ir

    to

    rypedonr cdes

    D nedth

    rable.TIE nininized equarionscsutrins

    lrom

    4ole

    -,:l

    t

    .nos0

    'ro.e.l 22.Notice n he Mo.;rduon, orFd;

    not

    equalr he

    conpili

    has letd ditreEnrvaiues

    o. rhedon,r,c@s,

    fu'Ise.PoldityEquatioagI

  • 8/12/2019 buku abel.pdf

    13/14

    Comb'naDorutLog'c

    eEqn

    ,

    ^r

    ptos

    resr,v"crars

    (art

    t^t

    >rdPi

    ti a

    ABEIprogmms rr.ontdinop onul { vecros.s -c rhowedn Trble 11

    on

    Page

    5l. The genenl

    bmar

    ol

    ren vecroB

    s v.ry riDitu ro

    d ttuihhbte

    tud

    r shown

    n Tdble

    -ll. The

    keywofd est

    rable.

    he

    rpkr /dr

    md,!,r'!r/dr give

    he

    names flhe input ignals nd

    de

    ourpuB

    hat hev

    ite.r.

    Ea.horrhese

    k$ k enher

    singte i-qnatnrmera st.

    Followi.g

    he

    er vector

    nrDducrion

    re

    ! senes fjaemenrs. x .h ot whjch

    speciriesu

    npu! xluc

    nd m.rpe.redourpur alu.

    usin!$e

    -->

    ope.Jror

    ABEL re$v.cus

    hrve w.

    mainus rnd

    puQo\is:

    I

    Afterrhc

    A EL .ompile.

    rdnnfts

    rh.

    ptugrm

    ino lu\epr

    ern tbrr

    puncul!r

    derice.

    Iimulrks

    theoperdriod

    irhe tnll

    progrmmed

    ]eyice

    by applyinghe ei-vec!.r npurs r roarwarr .det of rhederice0nd

    conp{ng

    rl\ outplr\ *id

    thc c.tre\pording

    .n-vecror.dpu6.

    The

    desgner

    mnr, pecit_v

    sdries fre$

    vecroA i.nlerro

    Joubte,che.[ir i

    device ill

    bchrve

    erprced

    br nrne

    o. dtinput combijutiotrs

    2.

    Aiterr

    PLD

    s

    phy\icllly

    pro-!funoed.

    he

    progdnming

    nn rpptier

    de

    reslvec$

    inpu$

    o rhe

    physicrllevicc

    nrtrompares

    hedevice urpurs

    wff

    the codesponding

    n,eecror

    urpu$.This !s done ro check

    br

    corccrdev'ce

    roenmming

    ndopentior.

    Unlortunately.

    BEL Est vsro6

    seldofrLjo vefr good.job

    r

    enher

    neot

    heseIas*s.

    swe

    l explain.

    The es vectoclioin

    Tabte-| ae

    repelred! Trbte.1

    -t. exc.pr hdr or

    readabihy

    we've

    used

    he dcdificr

    X whi.h *dr

    equatedo rhedorl-c e

    constmt

    X.,

    a.d se !e

    tdedconnenr\

    ro numbsde res

    v$r!A.

    Table

    -2l

    actually ppem

    o bed prer, goodserofrsr

    vecro6.

    rod rhe

    deslgners oinr

    of vw'

    $esevecrod

    uly cover he

    expecredperario. frhe

    alam

    ciEuit.as

    renized ecbFbv-veclo.

    elow:

    l

    If PANICs

    1. her ne

    aldmoutplr

    F)

    should eon egddtes

    ofrhe

    obernput

    values

    he emai.rigecros

    ovc.cses hee

    PANICs0.

    2.

    Ifthe

    al'n n

    notenabled.

    henheoutpui

    holtd eofi.

    3 U Llealarn senableduiweteexnin-s,henie output hould eoff

    a_6

    r the

    alrn is

    enabld d

    wetenotexiring_

    hen houtpur houide

    o.

    ifany

    of tbe ensorignals

    rNDos.

    oo& rctiacE s

    O.

    7.

    rthe

    ahm

    h enabled.ete

    norexidnS,nd

    ltoithe sen$!sisnals

    ae L.

    he. he

    ourpurhould

    eoe

  • 8/12/2019 buku abel.pdf

    14/14

    TheABELHardwareDe{rp ionL inquaqe

    61

    L ]

    ;i

    1l

    0l

    i

    Th

    Problem

    sthar

    ABEL

    doesnl

    handle

    on\_crres

    n r'st

    veclorLopos

    rhe

    uv dat it

    \hould For

    *mpl.

    bv all

    rishE

    test

    veclor

    should

    ert

    12

    dinind

    inDUt ombinrtions

    orresponding

    o dl

    l:

    Po$ihlc

    ombrnloons

    I

    i"i.;,.i"r"o

    u"*..o.*t.rNc

    {Ir'IDo1i

    ooR

    'dcAi'{cE

    ut

    rd'esn

    i; thisntudion.

    he

    AsELcompilerimeareG

    don'r'r"

    as

    heuserdoe\n

    cN

    whar ,ntut

    due u* . d i

    i t ju$Nis i \Otodl l

    don

    scuDinpu6

    n rcsr

    vcd.r lnlhi\e( mpLe.youcoul.lhaveinc'treclllnttcnrheouttutequahonds

    _r

    =r,tNrc

    *

    lrir,rsL

    *E ,tgtEn&

    .

    -ilhe

    rc$

    vcctors

    ould

    $ili

    pn$ 'ven

    h n r _ D J r r . o r '

    ' o u d ^

    r N

    l / " I t h r '

    " t r I

    J ' r b l J

    r * . - . n o - . r .

    ' ' . . o ,

    I

    p l J

    ' r r r ' n

    D h

    ' l

    a.t"""

    l"'r"el. G"i..'

    *"

    b. ddeded

    dlrn-q

    he tlrrz

    tr'r

    d

    r"lr

    Dorldr'

    which

    s$n;s

    that

    xny

    phvlcll detect

    s

    equirdeni

    b

    havitre

    nngre

    _erG

    ' ; , " ; ; ' ; ; a ;

    ' . . i , r o g . o

    r ' , ' i , o u

    '

    o s + " ' ' "

    t

    , : , ; ; , ; - ; , . " . , , " . ' . . ' ;

    .

    n ,

    u, .10 '

    r

    p. - r '

    n iun '

    s ' r 'd

    r"ili

    , il, a"","

    '

    g*-* 'r'ar rr

    in-gle

    uck-at

    aurs

    m be

    erccted

    hc

    ren

    vecos have o be

    chosen

    o rhd

    .lery

    posnblenu'k

    n tNlt

    cruses

    n

    in"rnecr utue r trre ircunotput

    brsom'

    test-vector

    nptrtconbioriion'

    T,ble 1_15 hows

    conpl;te

    r't

    ol te{

    ve'tos ioriheJm

    circuit*hen

    " t',Ji.;

    ", "i;" ;;i*;.f

    products

    trcuir

    he nri

    rour

    ectos

    heck

    ro.s,u"r."r r""rts

    trt.Oa

    gate- d the

    $t dree

    heck

    or

    $u'k''t

    0 tdults

    .",rt. elO

    g"".,lt *.t *,;rtai

    this

    s suiucientb

    elcct

    lt single

    tuck

    t

    r.r". t ou-foq

    'om'mr1J ood

    J'

    I

    e uoq

    d rn

    q"n''lre

    F

    aroF

    f o . n r r l r . u i ' o r \ ' r d ' . I d r d rn r a

    * r m p e r ' o u

    r o ' r d e n ' r e ^

    ' e r u m

    nated hid

    ptrq;oh ro

    qexk

    high

    qualiq

    e$

    vectors

    rthet PLD

    desiss'

    (

    IP,{

    TC,ENABLEi,EXITINC,IIINDO

    DooR,cArncEl

    >

    lalNl)

    i ,

    ; ,

    1 l

    1 l

    1 l

    0l