Table Of ContentAdvanceRde searcihn V LSI
ProceedionfPg rse viso uConefnecres
ProceedionfgC sa tle cCho nferenocnVe e ryL argSec alIen tegration,
1979C,h arleLs. S eitzE,d itorC,o mputeSrc iencDee partment,
California IonfTs etcihtnuotleo 2g5y6,- 8P0a,s adenCaA, 9 1125.
ProceediongfSs e condC altecCho nferenocne V ery LargeS cale
Integrat1i9o8n1,C, h arleLs.S eitEzd,i toCro,m puteSrc iencDee
partmenCta,l ifornia IonfTs etcihtnuotleo 2g5y6,- 8P0a,s adenCaA,
91125.
Proceedings, CoonnfA edrveanncceeR de searicnhV LSIM,I TJ,a n
uary 198P2a,u Ple nfielJdr,.E ,d itoArr,t ecHho useI,n c.6,1 0W ash
ingtoSnt .D,e dhamM,A 02026.
ThirCda ltecCho nferenocne V ery LargeS calIen tegrat1i9o8n3,,
RandaBlr yanEtd,i toCro,m puteSrc ienPcree sIsn,c .1,8 0R3e search
BoulevaRrodc,k vilMlDe ,2 0850.
Proceegdsi,nC onferenocnAe d vanceRde searicnhV LSI1 984P,a ul
PenfielJdr,. E,d itoArr,et chH ouseI,n c.6,1 0W ashingtSotn.D ,e d
ham,M A 02026.
198C5h apeHli lClo nferenocnVe e ryL argSec ale IntegHreantriyo n,
FuchsE,d itoCro,m puter SciPernescIse,n c.1,8 0R3 esearBcohu le
vardR,o ckvilMlDe ,2 0850.
AdvanceRde searcihnV LSI:P roceedionfgt sh e4 thM IT Confer
enceC,h arleLse isersEodni,t oMrI,T Press5,5 H aywardS treet,
CambridgMeA, 0 2142.
AdvancReeds earicnhV LSI:P roceedionftg sh e1 98S7t anford
ConferenPcaeu,Ll o slebeEnd,i toTrh;e MI T Press5,5 H aywarSdt .,
CambridgMeA, 02142.
Allo f tahbeo vveo lumeasr ea vailadbilree cftrloym t hep ublishers.
AdvanceRde searcihn V LSI
Proceedionfthg es F iftMhIT C onferencMea,r ch1 988
editbeyd
JonathaAnl leann d
F.Th omsonL eighton
TheM IT Press
Cambridge,M assachusetts
LondonE,n gland
PUBLISHER'SN OTE
Thifso nnati si ntendteord e dutcheec osotf p ublishcinegr tawionr kisn b ookf orma ndto
shorteng atpbh eet ween editoriala npdfir nealpp arautibolni catDieotainl.e de ditinagn d
compositihoanv bee eanv oidbeydp hotograpthhei tenxgto fth isb ookd irecfrtloym the
authoprrse'p arceodp y.
© 198T8h eM assachusIentstsi toufTt eec hnology
Allr ighrtess ervNeod p.a rotf th isb ookm ayb er eproduinc aendy f ormb ya ny
electronoircm echanicmale ans( inclupdhiontgo copyriecnogr,d ionrgi ,n formation
storaangde r etrievawli)th oupte nnissiionwn r itinfgr omth ep ublisher.
Thiboso kw asp rintaendd bo undi nth e UnitedS tateosf A merica
Libraoryf C ongreCsast aloging-in-PuDbaltiac ation
AdvanceRde searicnhVL SI.
Papeprrses enatteth de FifthM IT Conference on
AdvanRceesde airnVcL hSI ,o rganibzyet dh e
MicrosystReemsse arCcehn tero ft heM assachusetts
InstitoufTt eec hnol,o hgye lidn C ambridgeM,a ss.,
Mar. 1988.
Includbeisb liograpahniidesn dex.
1. Inetgratedc ircuits-olVaerrygs ec alien tegra
tion--CongrIe.sAl sleens, .J onatha1n9,3 4-.
II.L eightoFnr,an kTh omson. IIIM.a ssachusetts
InstitoufTt eec hnoloMgyi.c rosysteRmess earCcehn ter.
IV. MITC onfereonncA ed vancReesde arcihn V LSI( 5th:
1988C:a mbridgeM,a ss.)
TK7874.A33521 9886 21.395 88-621
ISBN0- 262·01100·X
ISBN0 -262-511(5p3a-p3 erback)
Contents
Preface ix
PrograCmo mmittee x
A Pulse-WiMdotdhu latDieosni gAnp proaancdh Path-
ProgrammaLbolgei fco Arr tifiNceiuarlalN etworks 1
NeiEl. C otteKre,n tS mitha,n dM artiGna spar
Automatic DeteromfOi pntiamtaliC olno ckinPgar ameteirns
SynchronMoOuSs V LSIC ircuits 19
MicheRl.D agenaainsd N icholCa.sR umin
Syntax-dirTercatnesdl aotfiC oonn currPernotg ramisn to
Self-tiCmierdc uits 35
StevMe.nB urnasn dA laiJn.M artin
TracTeh eorfyo rA utomatHiice rarchViecrali ficatoifo n
Speed-IndepCeinrdceunitt s 51
DaviLd .D ill
InvitTeadl kTh:e Memory-RefPrreosbhl em 69
NicholPaisp penger
TheF lueAnbts tracMta chine 71
AbhiraGm. R anadeS,a ndeeNp.B hatatn,d
S.Le nnaJroth nsson
TheD esigann dT estinogfM IPS-X 95
PaulC howa ndM arkH orowitz
InvitTeadl kF:r omF irsSti lictooFn i rSsalte s:T heO ther
Half tohfeD e sigCny cle 117
Patrick Bosshart
InvitTeadl kT:h eA pplicaotfiW oanf er-ScTaelceh nology
toN euromorphic Systems 121
JackI .Ra ffel
An EvaluatoifRo enc onfiguraAtligoonr itihnmF sa ult
ToleraPnrto cesAsrroary s 131
GrahaEm .F arra ndH eikSoc hroder
vi
ParallTeels tionfgP arametriFca ulitnsa DRAM 149
PinaMkaiz umdearn dJ anaHk. P atel
Meshewsi tRhe configurable Buses 163
RussM illeVr.,K .P rasanna-KuDmiaorn,i sRieoiss is,
andQ uentFin.S tout
EmbeddLiarnggeT reMe achiinnetsSom alOln es 179
AjayK. Guptaan dS usannE.eH ambrusch
InvitTeadl kA:l gorithfmosrM ulti-lLeovgeilSc y nthesis 201
RoberKt.B rayton
A GlobaAlp proatcohC ircuSiitzR ee duction 203
LeonarBde rmaann dL ouisTer evillyan
DeptFhi rSseta rcahn dD ynamiPrco gramminAgl gorithms
foErf ficiCeMnOtS CelGle neration 215
ReuvaBna r-YehudJaa,c kA .F eldmanR,o nY .P inter,
andS hmueWli mer
InvitTeadl kS:t ructiunPr area llel ProAcrreasysso r 231
ArnolLd.R osenberg
InvitTeadl kA:r tificNieaulr aNle tworks 235
JohnH opfield
A DynamicaClolnyf igurAarbclhei tecftouPrrr eo totyping
AnaloCgi rcuits 237
MassimAo. S ivilotti
A Two-DimensiVoinsaulTa rla ckiArnrga y 259
StephPe.nD eWeertahn dC arverA .M ead
Towarad M athematTihceaolr oyfS ingle-LWaiyreeRr o utgi n 277
F.M illeMra ley
A FastCeorm pactAilogno rithwmi tAhu tomatJiocgI nsertion 297
KurMte hlhoarnnd S tefNaiinh er
LayouPte rmutatPrioobnl emasn dW ell-Partially-Ordere3d1 5S ets
MichaRe.lF ellowasn dM ichaAe.lL angston
InvitTeadl kL:a rgSec alIen tegratCierdc ufiotrEs l ectronic
Imaging 331
TimothJy.T redwell
vii
Verifyai Sntga tRiAc MD esigbny L ogiSci mulation 335
RandaEl. B ryant
IntegraStcihnegm ataincdsP rografmosrD esigCna pture 351
RichaBradr tBhe,r tranSde rlaentd,P radeeSpi ndhu
InvitTeadl kD:e sigRne presentaantdiD oens igMna nagement
forE lectronSiycs tems 369
A.R icharNde wton
AuthoIrn dex 371
Preface
Asth e sizaned complexoiftVL yS I circuhiatsis n creaosveedtr h el asdte cade,
the emphasaimso ngt hem anyV LSId isciplhiansce hsan gefdro mi tisn tiaflo cus
onc ircuiantsd technolotgoay g rowicnogn cewrni tdhe siigsns ueAsd.d itional
leveolfsa bstractihoanv een couracgoemdp utsecri enttiocs otnstri buitnea
complemenwtaayrw yi tehl ectriecnagli neeWhrisl.e c omputsecri entwiesrtse
concernwedi thl ogiacr,c hitectanudr ceo,m plexiistsyu eesl,e ctriecnagli neers
addressteedc hnolaongdcy i rcuiists ueEsa.rl yi nth e decadteh,e rwea sa
tendenfcoythr e twod iscipltiopn roedsu cdee signisnd ifferreepnrte sentational
domainTsh.e m eetignrogu ndw asa tt hea rtwrokl evewlh,e rebo th groupssh ared
a concefrno rth e detaiofll sa yoanudt interconneInc trieocney.ne ta rsh,o wever,
there hasb eeinn creasiendt egraatsli oocnalo ptimizawtiithointhnse indivild ua
representatdioomnaailwn esr ere cognizaesid n adequiantt eenn so fp rovidtihneg
besotv eraslly stemP.e rfonnancef osrpe cifiacp plicaitiosan csk nowledagse d
the keym otivataonrdi, th asn ecessiat garetaetde arw areneosft sh ei nteractions
ofv arioudse siregpnre sentatisouncsah,s l ayoucti,r cuanidt ,a rchitecture.
Inthi s conferetnhcebe ro,a dr angeo fi mportantc ontributitoont sh ed esign
ofh igh-perfonnanccier cu(iotfste tna rgeatten do vealp plicatiiso ns)
demonstraNteewda .r chitecatiumreeadst i mprovseyds tepme rformancaere
discusseadn,dt heu seo fn ovealn alocgi rcuiincts o nnectioanricshti tecitsu res
describedG.i vethne importanocfse peedi,ti sn ots urprisitnogfi nds everal
papeornsc locdke simgenth odologianeds t,h eu seo fs elf-tciimrecdu iFtsa.u lt
toleranrceec,o nfiguratitoens,t ianngd,v erificaartieo tno piocfsg rowing
concedrnu eto theh ugec omplexoifet xyi stcihnigpa sn ds ystewmhisc hr equire
fresahp proachteods e siagnnd CAD toolDse.s igonp timizaticoonn tintuobe esa
majotrh emef,o cusionnlg o gicci,r csuiizte a,n ds peed.Th e specificatoifo n
l,rlgh-performanlcaey o(ubotth int heoanryd practiciesal) s oa ddresseadn,dt he
integraotfti hoens dee sitgono lisn teoa sy-toa-nudes xet endaCbAlDe s ystems
dealwsi tht hen eetdo c oherenly interrelate protgorm amasn yfo ariceentotsef d
theo veradlle sigWne. b elietvheib sr oarda ngoefi nterest iltlhuevs ittraalteist y
inal la specotfcs o ntemporaVrLyS Ire search.
We gratefualclkyn owlethdeg set rocnogn tributoifoth nso seo nt hepr ogram
committeweh,o c ollectianvde lcya refuyl reladth e eighstyu bmittpeadp era,n d
selecntiende teferno amn o utstanfideilndgTh. e desitroea voipda ralsleesls ions,
andth e neetdo c ovear s ubstantrianagleo ft opicpsr,e venutsef dro m accepting
manye xcellpeanpetr sW.e alsoth ank thea uthorosft heni neteceonntri buted
paperasn,d th e ninien vitsepeda kersw,h oseex perticshea ractetrihzeoe nsgo ing
progreisnsth e many diversaes pecotfs VLaSsIw ella sR oberLtu ckwyh oi st he
Conferebnacneq usepeta kerT.h anktsoB ernarCdh ernan d Robert Graftono fth e
National Science fFootruh nedsiaurtp ipoorontf th e conferencBea.r baLroar y,
BarbaTrial soann,d t hes taoffft heM ITM icrosystReemsse arCcehn tehra ve
contributtoea dlla spectosfth e Conferenocreg'ansi zatainodpn l anning. Paul
Penfielids th egu idinhga ndw hoh ass ethte standafrdo thirs continuing series of
MIT conferenCcaervse.r Meanadd C hucSke itszt artethdes eu niversity-based
conferenciens1 979a,n dM ITi sp leasteocd a rroynt het radidtuirionntg h e
even-numbeyreeadrs W.e hope youe njothye se papeandrs thevi ew tphreoyv ide
oft odayV'LsS Ir esearch.
JonathaAlnl en
F.T homsoLeni ghton
ProgramC ommittee
JonathAalnl enC,o -chairmMaInT,
RobertB ratyon, UniversoifCt ayl ifoartnB ierak eley
WilliaJm.D allyM,I T
StephWe.nD irector, CarnegUinei-vMeerlsliotny
HenrFyu chsU,n iversoifNt oyr tChar olina
AndreLaa PaughP,r inceUtnoinv ersity
F.T homsoLne ighton, Co-cMIhTa irman,
ThomaLse ngaueUrn,i versoifPt ayd erboWrne,s tG ermany
GordoDn. R obinsoGne,n RadI,n c.
AlberLt.oS angiovaVninnic-enteUllin,i versoifCt ayl ifoarntiB ae rkeley
ThomaGs .S zymanskAiT,& T BelLla boratories
JeffrDe.Uy l lmanS,t anfoUrndi versity
AdvanceRde searcihn V LSI
