Table Of ContentLDHV ROF ,NOITALUMIS SISEHTNYS
DNA LAMROF SFOORP FO ERAWDRAH
EHT REWULK LANOITANRETNI SEIRES
NI GNIREENIGNE DNA RETUPMOC ECNEICS
VHDL FOR SIMULATION,
SYNTHESIS AND
FORMAL PROOFS OF HARDWARE
edited by
Jean Mermet
Institut Mediterraneen de Technologie
SPRINGER SCIENCE+BUSINESS MEDIA, B.V.
Library of Congress Cataloging-in-PubJication Data
VHOL for simulat ion, synthesis, and formal proofs of hardware I edited
by Jean Mermet.
p. cm •. -- (Kluwer international series in engineering and
computer science ; SECS 1831
ISBN 978-1-4613-6582-2 ISBN 978-1-4615-3562-1 (eBook)
DOI 10.1007/978-1-4615-3562-1
1. VHOL (Computer hardware descr1pt1on languagel r. Mermet, Jean
P. II. Series.
TK7885.7V48 1992 92-16266
621.39'2--dc20
ISBN 978-1-4613-6582-2
AII Rights Reserved
© 1992 Springer Science+Business Media Dordrecht
Originally published by Kluwer Academic Publishers in 1992
Softcover reprint ofthe hardcover Ist edition 1992
No part of the material protected by this copyright notice may be reproduced or
utilized in any form or by any means, electronic or mechanical,
including photocopying, recording or by any information storage and
retrieval system, without written permission from the copyright owner.
2 nd Printing 1995.
elbaT fo stnetnoC
iiv
noitcudortnI
yranoitulovE sessecorP ni ,egaugnaL ,erawtfoS
dna metsyS ngiseD
.F .E renhcsraM
M1 noitalumiS
gnimiT tniartsnoC skcehC ni LDHV -a evitarapmoc yduts 71
.F uiL dna .A kalwaP
gnisU dezilamroF gnimiT smargaiD ni LDHV noitalumiS 33
.M ,enserfuD .K codrohK dna .E ynreC
leveL-hctiwS sledoM ni leveL-itluM LDHV snoitalumiS 34
.K ,codrohK .M uaeltoiB dna .E ynreC
lanoitceriD-iB sehctiwS ni LDHV gnisu eht 64 eulaV metsyS 36
.A ucselucnatS
smetsyS laeR emiT sisylanA htiw LDHV detareneG morf 37
lacihparG -AS LDHV
.M ,alopiS .P-.J ,neninioS dna .J aleviK
yaleD noitaluclaC dna kcaB noitatonnA ni LDHV gnisserddA 78
eht i'tnemeriuqeR fo CISA ngiseD
.P ,ronnoC .S ,kayaN .J .ye/arK dna .V nonneB
sisehtnyS
A nevirD-LDHV sisehtnyS tnemnorivnE 01
.H kunoK dna .E.F renhcsraM
LDHV cificepS seui'-sI ni hgiH leveL sisehtnyS 11
.A alutsoP
CISA ngiseD gnisU nociliS 6701 331
.A.R llerttoC
gnitareneG LDHV rof noitalumiS dna sisehtnyS morf 741
a leveL-hgiH PSD ngiseD looT
.L grebdnuL
stcepsA of noitazimitpO dna ycaruccA rof LDHV sisehtnyS 161
.1 ttoillE dna .P repraH
part III lamroF verifications dna scitnameS
cilobmyS noitatupmoC of lacihcrareiH dna 771
detcennocretnI SMSF
.A .lierbeD .C ,rehneB .A ayarreJ
lamroF scitnameS of LDHV gnimiT stcurtsnoC 391
.A melaS dna .D enoirroB
larutcurtS noitamrofnI ledoM of LDHV 502
R.AJ. llahsraM dna .J.H nhaK
lamroF noitacifireV of LDHV snoitpircseD ni :erooM-reyoB 522
tsriF stluseR
.D .enoirroB .L .erreiP dna .A melaS
gnipoleveD a lamroF citnameS noitinifeD of LDHV 342
.A.P yesliW
part VI metsyS leyeL ngiseD dna gnilledoM
gnihcaorppA metsyS leveL ngiseD 752
.J.F gimmaR
latnemercnI ngiseD - noitacilppA of a desaB-erawtfoS 572
dohteM rof leveL-hgiH erawdraH ngiseD htiw LDHV
.A lhoH
gnicudortnI EDACSAC lortnoc shparg ni LDHV 982
.C eL uoaF dna .J remreM
Preface
ehT sseccus of LDHV ecnis ti sah neeb detollab ni 7891 sa na EEEI dradnats yam
kool elbisneherpmocni ot eht egral noitalupop of erawdrah ,srengised ohw dah reven
deraeh of erawdraH noitpircseD segaugnaL erofeb rof( ta tsael %09 of ,)meht sa llew
sa ot eht wef sderdnuh of stsilaiceps ohw dah neeb gnikrow no eseht segaugnal rof a
gnol emit 52( sraey rof emos of .)meht
litnU ,8891 ylno a yrev llams tesbus of ,srengised ni a wef egral ,seinapmoc erew
desu ot ebircsed rieht sngised gnisu a yrateirporp ,LDH ro semitemos a LDH detirehni
morf a ytisrevinU nehw emos erawtfos tnemnorivne deneppah ot eb deppoleved
dnuora ,ti gniwolla ytilibasu yb driht .seitrap
A rebmun of stifeneb erew yletinifed dezingocer ot siht ,ecitcarp hcus sa lanoitcnuf
noitacifirev of a noitacificeps hguorht ,noitalumis tsrif ecnamrofrep noitaulave of a
evitatnet ,ngised dna semitemos citamotua margorporcim noitareneg ro neve
citamotua hgih level .sisehtnys
sA ereht saw yltnerappa on tekram rof ,s'LDH eht DACE srodnev did ton erac tuoba
,meht pu-trats seinapmoc erew modles elba ot evivrus ni siht ,aera dna egral sresu of
yrateirporp sloot erew gnidneps erom dna erom elpoep dna yenom just ot niatniam
rieht lanretni .metsys
nI eht ytinummoc of erawdraH noitpircseD egaugnaL ,srengised hcihw I gnoleb ,ot
elpoep wenk tuoba lareves snezod of erom ro ssel lufsseccus ,s'LDH emos of hcihw
deraeppa ni eht ylrae :seitxis A" lamrof egaugnal gnibircsed enihcam cigOL gnimiT
dna gnicneuqeS ")SITOL( yb ,ippealhcS ,MBI ni ;4691 "ERUCIPE" ni na rotsecna
ynapmoc of LLUB ni ;5691 nA" ekil-loglA retupmoC ngiseD :egaugnaL "LOC yb
,uhC ytisrevinU of ,dnalyraM ni ;5691 ,LOGRAH" a detneiro-erawdrah loglA
"egaugnal yb eseiG ta ytisrevinU of ;negahnepoC SAC" ERDNAS "egaugnal yb
flesym ta ytisrevinU of ,elbonerG ;8691 A" latigiD metsys ngiseD :egaugnaL "LOD
yb yeluD dna reyemteiD ta ytisrevinU of ,nisnocsiW 9691 cte ...
emoS of eseht segaugnal dah a ,relipmoc a rotalumis dna semitemos a sisehtnys
noitavired hcus sa :TRELA" a margorp ot ecudorp cigol ngised rof yranimilerp
enihcam "snoitpircsed yb namdeirF ,MBI( )6691 gnisu .LPA
gniruD eht .seitneves hguohtla napaJ saw rehtar tnesba of siht ,emag s'LDH
detarefilorp ni eporuE dna ni .ASU eroM naht 002 deneppah ot eb denoitnem ni a
!yevrus ehT ecnerefnoC no erawdraH noitpircseD segaugnaL dna rieht snoitacilppA
dediced ot hsilbatse emos redro ni sillt rewot" of ,"lebaB dna detadnam a puorg of xis
,stsilaiceps .R ,ytoliP .M ,iccabraB .D ,enoirroB .D ,reyemteiD .F lliH dna .P yllekS
iiv
iiiv
ot etaerc a susnesnoc" :"egaugnal .NALNOC detratS ni ,6791 siht krow saw eht tsrIf
lanoitanretni noitazidradnats troffe ni siht .niamod ehT srepap dna stroper deussi ni
,0891 ,2891 3891 devres sa a sisab rof eht tnempoleved of driht" "noitareneg s'LDH
desab no ,NALNOC hcus sa EDACSAC ni 5891 ro .NALGER It saw osla a ecruos
of noitaripsni rof eht DoD ot eussi a llac rof slasoporp rof ,LDHV sa llew sa rof eht
ylrae LDHV .srengised NALNOC si osla eht tsrif tpmetta ot edivorp a etelpmoc
citnames noitinifed of a .LDH
nehT emac ,LDHV dna ylneddus a ediwdlrow noitanimessid ni evif sraey of eht
stpecnoc gniog gnola htiw ,s'LOH tsom fo hcihw nwonk rof ytnewt .sraey erehT era
ynam .snoitanalpxe tuB eht tsrif ,eno ni ym ,noinipo si eht rewop of eht DoD ot
ecnanif eht tsrif stnempoleved ta eht reporp level dna ot esopmi sti nwo sdradnats ot
eht .S.U yrtsudni erehw( %09 fo eht DACE sloot srodnev nac eb .)dnuof yletaidemmI
retfa semoc cht tncgru dna( rehtar )wen deen of srengised ot egnahcxe ngiscd
snoitpircsed nccwteb ,sresu metsys srerutclilunam dna ,srodnev eht deen osla ot retsam
eht ytixelpmoc dna eht ezis fo yadot s' sngised taht suoiverp sdohtem dluoc on regnol
.eveihca ,nehT eht ytinummoc fo LDH srengised saw ydaer ot tpecca eht aedi taht na
gnitsixe dradnats saw relleb naht on dradnats ta ,lla neve erom sa LDHV si a.osla
doog .LDH
ehT EEEI ssecorp fo noitazidradnats-er gnirrucco yreve evif sraey sah nevig ot siht
ytinummoc eht syaw ot yevnoc ot 29'LDHV trap fo rieht snoitatcepxe dna emos of
eht doog serutaef yeht dah detnemelpmi lli rieht nwo .s'LDH
ehT noitautis saw erutam rof eht ecnegreme fo a ediwdlrow ,dradnats hcihw seod ton
naem ,taht ni eht ,erutuf a wef rchto s'LDH lliw ton crahs siht noitisop htiw .LDHV
esuaceB fo sti noitanimessid ,dna yallI .eb esuaceb ti si ton os ,elpmis LDHV lliw
etacude srcngised ot eht >'Lpccnoc fo s'LDH hcihw deniamer eht ytreporp of a rehtar
llams ytinummoc gnirud 03 .sraey ytrihT ,sracy siht si cht htgncl of a ygolonhcet
,noitareneg ni yna niamod fo .ygolonhcet
ehT LDHV-oruE ,secnerefnoc hcihw I detrats ni elliesraM ni rebmetpeS ,0991 tem
yletaidemmi a tnacifingis ,sseccus gnihcaer eht level fo eht gnidnopserroc naciremA
.sgniteem ehT srohtua of siht koob evah neeb detanimon sa eht gnidnatstuo
srotubirtnoc ot -oruE 09'LDHV dna -oruE 19'LDHV .)mlohkcotS( I ma erus taht rieht
snoitubirtnoc ot ,noitlhumis ,sisehtnys lamrof sfoorp of ,erawdrah dna metsys level
ngised lliw etutitsnoc na ylemertxe elbaulav muidem rof lla esoht ohw tnaw ot
nepeed rieht egdelwonk fo ,LDHV rehtehw yeht tnaw ot hcaet ,ti ot esu ti ni ,ngised
ot etapicitna erutuf sniamod fo noitacilppa fo ,LDHV ro neve ot poleved wen ngised
>'Lnemnorivne dnuora .LDHV
naeJ temreM
,elliesraM 51 hcraM 2991
:stnemegdelwonkcA
I tnaw ot knaht ylmraw znarF ,gimmaR celA .ucselucnatS demhA ,ayarreJ xelA
ucserifmaZ ohw evah depleh gnitide siht ,koob madA alutsoP ohw saw eht tnellecxe
rezinagro of ,19'LDHV-oruE eht .C.E.C ohw sah neeb eht niam rotubirtnoc ot eht
DACE noitazidradnats seitivitca ni ,eporuE hguorht eht TIRPSE tcejorp ,2PICE dna
TMI erehw I evah dnuof eht tseb snoitidnoc ot krow ni eseht .srettam
xi
yranoitulovE sessecorP ni ,egaugnaL ,erawtfoS dna
metsyS ngiseD
.F hcirE renhcsraM
,tnediserP ISLC
roF almost a decade now, a vision fo better tools rof electronic
systems design sah been becoming a reality. morF the minds fo a
small group of people who tsrif tem ni ,1891 eht concept fo a standard
language rof the design and description fo electronic systems has
blossomed into a language definition - EEEI Standard ,7891-6701 the
CISHV Hardware Description Language )LDHV( - and an ever
growing set of sloot and methodologies rof that language.
The evolution fo that vision and concept into a language and
applications has involved many people and many .saedi ehT process
yb which this evolution has occurred si a classic example fo the
leveraged growth that si eht hallmark fo eht engineering .ssecorp eW
continually learn morf ,ecneirepxe ni eht process developing a better
understanding of the principles underlying a given technique or
phenomenon, and eventually applying that increased understanding
ot eht development fo new ,seiroeht new techniques, and new systems
that evig us desaercni seitilibapac ot evresbo or tceffa our .dlrow esehT
new capabilities ni turn give rise ot new experiences, and so the
bootstrapping ssecorp continues, taking us ot ever-increasing heights
of understanding.
A lacitcarp application fo siht ssecorp si the development of tools
,taht when completed, allow us ot build better .sloot A doog example
fo this si eht development fo compiler ygolonhcet over the tsal several
.sedaced nI eht ylrae days fo computer ,esu programming saw done yb
hand at the machine code ;level later, symbolic assembly languages
and processors were created that made it elbissop ot generate enihcam
code .retsaf Still later, high-level programming languages were
developed that made possible the generation fo assembly language
more quickly and more accurately. Today, every computer-literate
person understands the role fo a compiler ni the development of
computer programs, but wef would consider the compilation process
as more than a primitive operation.
.J lemreM .).lte( rofLDHV ,lloital"miS sise"'"YS d"a lamroF sfoorP of .erawdraH .31-1
@ 2991 reMliK cimedacA .srellsilb"P
