ModelSim SE Tutorial

Model Sim ® Ad van ced Veri f i c a tion an d D e b u g g in g SE Tu t o r i a l Version 6. 0 b Pub lished : No vemb e r 15, 2 004T-2 Th is d o cu m e n t is f o r in f o r m ati o n an d in str u ct io n p u r p o s es. Men t or Grap hics res e rves the right to make chang e s in sp ecif i catio n s an d o t h e r in f o r m atio n co n t ain e d in th is p u b licatio n with o u t p r io r n o tice, an d th e r ead er s h o u l d , in all cas es, con s u l t Ment or G r aphi cs t o d e t e rmi n e w h et her an y ch anges h a ve bee n mad e . Th e t e r m s an d c o n d i tio n s g o v er n i n g th e sale an d li cen s i n g o f Men t o r Gr ap h i cs p r o d u cts ar e s e t f o r t h i n wr itten ag r eem en ts bet w een Ment or G r aphi cs an d i t s cust o m ers . N o repres ent a t i o n or ot her affi rm at i o n of fact co nt ai ned i n t h i s pub l i cat i o n sh all b e d eem ed t o b e a war r a n t y o r g i v e r i se to an y l i ab i lity o f Men t o r Gr ap h i cs wh ats o ev er . MENTOR G R AP HI C S MAKES NO W A R R A N TY OF ANY KIND W I TH R E GAR D T O THIS MATER IAL INC L UD I N G , B U T NOT LI MITED TO, THE IMPLIED W A R R ANTIE S OR MER C HAN T A B I LI TY AN D FIT N ESS FOR A PAR T I C ULAR P U R P OSE. MENTOR G R AP HI C S SH ALL NO T B E L I AB LE FOR AN Y I N C I DENTAL, INDIR E C T , SPEC I AL, OR C ONSEQUENTIAL DAMAGES W HATSOEVER (INC LUD I NG B U T NO T LIMI TED TO LO ST P R OF I T S ) AR I S I N G OUT O F OR R ELATE D TO THIS PUB L IC ATION OR THE INFO R M ATION C ONTAINED I N I T , EV E N IF MENTOR GR APHIC S C O R P OR ATION HAS B EEN A DVISED OF THE POS S IB ILIT Y O F SUC H DAMAGES. RE ST RICT E D RI GH T S L E GE ND 0 3 /9 7 U . S . G o vern ment Res t ri ct ed Ri gh t s . Th e S O F T WA RE and docu m entation hav e been dev e loped en ti r e ly at pr ivate ex pen s e and are co mmercial co mpu t e r s o ftware p r ov ided with res t r i ct ed ri gh t s . U s e, d upl i cat i on or d i scl o s u r e by t h e U . S . G o v e rnmen t or a U . S . G over n men t su bcon t r act or i s s ubj ect t o t h e res t ri ct i ons s e t for t h i n t h e l i cens e agreem ent pr ovi d e d w i t h t h e s o f t w a r e pu rsu a nt t o D F A R S 2 27. 720 2-3 ( a) o r as s e t forth in s u b p arag raph (c)( 1) an d (2 ) o f the C o mm ercial C o mpu t er Software - R e s t ricted R i ghts cl aus e at FAR 5 2 .2 27-1 9 , as ap plicable. Contra ctor/manu f acturer is : Mento r Graph i cs C o r por at io n 8 0 0 5 S . W. Bo eck m a n Ro ad , W ils o n v ille, Or eg o n 9 7 0 7 0 - 7 7 7 7 . Thi s i s an u npu bl i s h e d w o r k o f Ment o r G r ap hi cs Cor por at i o n. C o n t a c t i ng Mo de l S i m Su p p o r t Tel e ph one: 5 0 3 . 685 .08 2 0 Tol l - F r ee Tel e pho ne: 87 7-7 44- 669 9 W e b s ite: www.mo d e l.co m Su p p o r t: www.mo d e l.co m / su p p o r t M ode lS im SE T u to r i al T-3 T a b l e of Contents I n t r oduct i on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T - 5 Le sson 1 - Mod e lSim co nce p tua l over view . . . . . . . . . . . . . . . . . . . . . . T - 1 1 Le sson 2 - B a si c s i m u l a t i on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T - 1 9 Le sson 3 - Mod e lSim project s . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T - 3 1 Le sson 4 - Wor k i n g with m u ltip le l i brarie s . . . . . . . . . . . . . . . . . . . . . . . T - 4 1 Le sson 5 - S i mulat i ng designs wit h Syst emC . . . . . . . . . . . . . . . . . . . . T - 5 1 Le sson 6 - V i ewing si m u lati ons in t he W a ve window . . . . . . . . . . . . . . . T - 6 5 Le sson 7 - Cre a tin g stimulus with W a v e form Editor . . . . . . . . . . . . . . . T - 7 5 Le sson 8 - Deb ugging wit h t he Data flow window . . . . . . . . . . . . . . . . . . T - 8 9 Le sson 9 - V i ewing and init ializing memorie s . . . . . . . . . . . . . . . . . . . . T - 9 9 Le sson 10 - Analyzing perf o rmance with t he P r of iler . . . . . . . . . . . . . . T -1 1 3 Le sson 11 - Simulat i ng with Code Coverage . . . . . . . . . . . . . . . . . . . . T -1 2 3 Le sson 12 - D e bugging wit h P S L asser t ion s . . . . . . . . . . . . . . . . . . . . T -1 3 5 Le sson 13 - W a v e f o rm Compare . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T - 147 Mod e lS i m S E Tu tor i a lT-4 Lesso n 14 - Aut o mat i ng ModelSi m . . . . . . . . . . . . . . . . . . . . . . . . . . . T- 1 5 9 Ind e x . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . T- 1 7 5 M o de lS im SE Tut o ri al T-5 I n trod uctio n Topics T h e fo ll o w i n g to pics are cov e red i n this chap t e r : Assu m p tio ns . . . . . . . . . . . . . . . . . . . . . . . . . T- 6 W h ere to fin d ou r d o cumen t ati o n . . . . . . . . . . . . . . . . . . . T- 7 T echni cal s u p por t and u pda t e s . . . . . . . . . . . . . . . . . . . . T- 8 B e fo re yo u b e gi n . . . . . . . . . . . . . . . . . . . . . . . . T- 9 E x ample des i g n s . . . . . . . . . . . . . . . . . . . . . . . T- 9 Mod e lS i m S E Tu tor i a lT-6 Intr od uc tio n A ssum p tions We as su me t h at y ou are fam i l i a r w i t h t h e us e of yo ur o p erat i n g s y s t em . Y o u sh oul d be f a mi l i ar w i t h t h e w i nd ow man a gemen t fun c t i o n s o f yo ur gr aphic interf ace: e i th er OpenW i ndo w s , OSF / Motif, C D E, KDE, GNO ME, o r Micros of t W i ndo w s 98 /M e/NT/ 200 0/ X P . W e al so ass u me th at y o u h a v e a w o rk in g k n o wl ed g e o f VHDL , Ver i lo g , an d / o r S y s t emC . Alth o u g h Mo d e lSi m is an ex cel len t to o l t o u s e wh ile lear n i n g HDL co n cep t s an d p r acti ces, th i s d o cu m e n t is n o t wr itten to s u p p o r t th at g o al. M o de lS im SE Tut o ri alW her e to fi nd our do cu men t ati o n T-7 Wh ere to fin d ou r do cum e ntation Mo d e lSim d o cu m e n t atio n is av ailab l e f r o m o u r w e b s ite at www.mo d e l.co m / su p p o r t o r i n th e f o llo win g f o r m ats an d lo catio n s : Doc u me nt Fo r m a t How t o ge t it Mo d e lS im I n s t a lla tio n & p a per s hi pp ed w i t h Mo del Si m Licens i ng Guide PDF s elect Hel p > Do cu m e n t at i o n ; als o av ailable fr om the S u ppo rt p a ge o f ou r w e b si t e : w w w .m o d e l .c o m Mo d e lS im Qu ick Gu id e p a per s hi pp ed w i t h Mo del Si m ( c omma nd an d f eat u r e PDF select Hel p > Do cu m e n t at i o n , als o available f r om t h e Supp ort q u i c k- referen ce) p a ge o f ou r w e b si t e : w w w .m o d e l .c o m Mo d e lS im Tu to ria l PDF, HT ML select Hel p > Do cu m e n t at i o n ; als o av ailable fr om the S u ppo rt p a ge o f ou r w e b si t e : w w w .m o d e l .c o m M o d e l S i m U s er ’s M anu al PDF, HT ML select Hel p > Do cu m e n t at i o n Mo d e lS im C o mm a n d PDF, HT ML select Hel p > Do cu m e n t at i o n Re f e r e n c e Mo d e lS im GUI Referen c e PDF, HT ML select Hel p > Do cu m e n t at i o n F o r e i g n L a n gua ge PDF, HT ML select H e lp > D o cum e nt a t io n I n terf a ce Referen c e Std _ Dev e lo p e r s Kit User ’ s PDF www.mo d e l.co m / su p p o r t/ d o cu m e n t atio n / B O OK/sd k _ u m .p d f Man u al Th e S t an dard D e vel o p e r’s K i t i s f o r us e w i t h Ment or G r aph i cs Qu ick H D L . C o mm and H e l p A S CI I t yp e help [command name] at t h e pr omp t i n the Tr ans c ript p a ne E r ror mes s ag e help ASC I I t yp e verror at t h e Tran s c r i p t or s h el l p r om pt T c l Man P a ges (Tcl HTML s e lect H e lp > Tcl M a n Pa g e s , or f i nd con t ents . h tm in m a nual ) \mo d elt ech \d o c s\tcl_ h e lp _ h tml T echno tes H TML s elect Techn o tes dro pdo wn on www.mo d e l.co m/su p p o r t Mod e lS i m S E Tu tor i a lT-8 Intr od uc tio n T ech nical su pp ort an d u p d a tes Suppor t M o del T ech nol og y onl i n e and emai l t echni cal s u p por t opt i o n s , mai n t e nan ce rene w a l , an d l i n k s t o i n t e rn at i o nal s upp ort contacts : w ww.mo del.co m/s u ppo rt/defau l t . a s p M e nt or G r aphi cs s upp ort : w w w . me nt or. c om/ s upp ort n et Up d a t e s A ccess to th e m o st cu r r en t v e r s io n o f Mo d e l S im : w w w . mo del . co m/ dow n l o a ds / d efau l t .a sp L a t e st ve rsio n e m ail P l ace y our name on o u r l i s t fo r email no ti f i cat io n o f news and up dates : w ww.m o d e l.co m / p r o d u c ts/in f o r m an t.asp M o de lS im SE Tut o ri alBe for