A Transaction-Based Unified Simulation/Emulation ...

A Transaction-Based Unified Simulation/Emulation Architecture for Functional Verification Murali Kudlugi Soha Hassoun  IKOS  Systems

    Inc.

"!# $&% #'




,.-0/'1'2 354176 8:9&;b9EcH@=5?O\EcH@D 9*deH'H@=\>&ACfgQ5JL< 9ALB=hbM>b9H'f{JCH'S H'JG>&ACfjQ5JL&ACfgQJ‡< 9ACB=ˆb9ALfjQ5JCQ5>sH'= S AP;B=5fqH@= 9„U‰B; EcB9O¥>&ACfjQ5JL]?"tBUx>&ACfgQ5JL< 9ALB=5AL=V9OH…UWB;f§BU T;H"b9EcH'=?oOlk0meO5AC>£;H'>&Q5JP9>£AC=uEcB9OjU‰;H"–Q5H@= 9£fqB IH'J>bM=D ?O;B=5ACª"< 9ALB=h&f.&OB"dwk *=g?'B=9&;b9" 9OHeQ5=ACŠ5H"Ij>&ACfjQ5JL&H"IhAL=\9OAC> R < R H@;jBSH@;?'BfqH@>s9OH|JCACfqAP9gBUr9&;&HsTB }?"&Q5JL&H'=GI>V&H"IQ5>&AC=T\9&;nUWB;Y9OHp?'B=D ?'Q;&;H'=9}SH@;APŠG?"< 9ALB=VBU£O5 R ;B R B>&H"InAL=n9O5AC> R < R Ho;"k meO5Hj;H'f. R < R H@;„EcH'TAL=>wdtAC9Oa&H"Ilk0meO5AC>AC>U‰BJCJCB d¡H"IjEM…b9BfqACª"< D 9ACB=uBUG9O5H`ACf R JCH'fqH'=9&ACfgQ5JL< 9ALB=qr&ACB=5>rbM=?oO;B=5ACª"< 9ACB= JLAC² He9OHeB=HvQ5>&H"IjE M † < ;&MS AL'k§m;_&Q5JP9>xAC=uH'S H'= fqB;HwfqH'>&>›o0bM=?oO;B=5ACª"< 9ACB= AC=5?'Q;>iJL< 9H'=5?@MKBU jdtOH@;H v< ;?oOAP9H'?@9Q;Hr?'B=5>&AC>b9>vBUrACf R JLH@fqH'=9H"IqQ5>&AC=5Tp¸» q» ºW¶ …´oº o´o·k meO5Hh˜ ¤ m AC>i?@Bf R ;AC>&H"I¢BUq9OH · o´ · o¹ ºW·¹™u&ACfuD Q5JL< 9ALB=Ÿ'kYœ]B"deH@S H@;"09O5H.ACf R JCH@D fqH'=9uBU]9O5Hn?'BDFfqB IH'JCAL=Ti˜};ALSH@;>qb9x=B9v< R5R H"< ;¡9Bs?'B=>&Q5fqHtfqB IH@JLH'Ig9ALfqHk meO Q5>'l9O5Hu˜ ¤ mKfjQ5>b9…EcHg?'B=9&;BJCJCH"IaEM~&>&AC=5TYBU£9&;wAL>}9OQ>}AC= S AC>bD ACE5JCH„9Bu9O5H„˜ ¤ m]kGmeO5AC>};H@>&Q5JP9>]AC=_b9H'f R ;B SALIH'>}^ ? B IHaUWB;p9O5H ¤ >&H@;_8 RR JCAC?"b9H'f ?@Bf R B=H'=9"lB;sAP9jf.b9…S H'?@9B;>]UWB;…9O5Hj¿]H@9JCAC>b9"k meO5H ¤ >&H@;„¿]Ho9JLAC>b9sAC>w9O5H à mvž¥B;sT &H@;¡¿]H@9JCAC>b9eQ9ALJCACª'H'>¡>&ALT=G R ;B S A‡IH"IuEMg9OH m ;&H@;|8 R5R JCAC?"< 9ALB=k meOH@Mh< ;H|9O Q>„9'vAP9.AL> R &>&H"I¥9B~9O5Hpml;&>'kj‚ACfqACJLw&JCM|U‰;Bf 9O5Hw˜wš¥9Bj9O5Hw˜ ¤ m]kGmeOAL>r=G< 9Q;g&H@;0^~?'B IHeIH R H'=GI>B=w9O5H£;H'>&Q5JP9> BUt< R ;H'S ACBQ>…9&;&>qH@yzH@?@9ACS H¡…9BnU™p< ;HhIH'>&?o;ALEcH'Ilk ^e0?"H@;&;B;"k )       )

( 

 &H@9…9OH meOHu?"  dtALI 9O\BUv9&;'knœ]B"deH@S H@;"9OAC>sAC>sB=JCM~>&H@9sB=5?'H0ru9O5HnS R ;B S ALIH"I.9Bg9O5HwQ>&H@;"k¡meO5H„¾0;ALfqAP9ACS H'> R ;BS ALIH}UWQ5=?@D 9ACB=G&AP9ACS H"šxITH'šx=5r˜…T < 9H„fqB IQ5JCH'>vdtOAL?Op< ;HsJL< 9?oOH'>v9OG&>&H'Ij9O5H I5< 9bMfqfqHo9&;AL?''dtOH'=i9OHufqB IQJLHj>&H'=5>&H@ >  I5e?@Q5>b9BfqACª'AC=Tj9O5H]JLB"d¢JCH'S H'Jz?'Bf R B=H'=9>eBU ' 9O5Ht< ;?oOAP9H'?@9Q;HtAC=  ACTQ;H„XtB=qEcB9Og9OHv˜wš\&ALIH'>'k  B;g>&ACfgQJLdtAP9Oj9OH¡H'fjQ5JL&ACfgQJ‡< 9ACB=ŸH'= SAP;B=5fqH'=9j?'B=>&AL>b9>gBUr9deB~H@ H'?'Q9 ;H R ;H'>&H'=9AC=5T…9O5Hv˜…ša&B?o²H@9""9O5H£?'BD*fqB IH'JCAC=5T ¾0;ALfqAP9ACS H'>s—™AC= R Q9"BQ9 R Q9"5eI MD =G&ACfjQ5JL'c9O5Hs¾0;ALfqAP9ACS H'> 9O;BQ5TOY9O5Hs¾xže?"]f.t>&?O5H"IQ5JCH"I|E M.9OH…Q5=5IH@;JPMAC=5TgB R H@;bM>b9H@fVk 8 fqH"uEM\dtOAL?OŸQ5= R ;B IQ?@9ACS Hn?@B=9&;BJCJCH"I¥?@JLB?²ˆ?@M?'JCH'> ?'&Q RR ;H'>&>&H'I.AC>¡9OH}MACH'JLIAC=5TsBU?'B= 9&;BJz&Q?oOq9ACfqH'>¡9B 9OH]˜wš\fqB IH'J™k † &H'I|B=nH@  R H@;ACH'=?'HtdtAC9O.9O5H}H'fgQJL&Q5JP90AC= R H@;&UWB;f.r9OG< 9…BU`=5B=D•9&;&ALfjQ5JL b9H'f U‰;Bf €…w‚zklmeO5HjH'fgQJL…f.&ACT=|AC> R b9&ACT=sH'= S AC;B=5fqH'=9< RR JCACH'>;H" R H'H'?O„>&ACT=.< ;HtH'S&H@?'>› ‘‘Zu> “ ZZu>

‚ACfgQJL¡BUz9O5HrIH@>&ALT=k£*=u9O5HtŠ5;>b9" IH'=5B9H"IjEMsIH'>&ACT=u˜wm m¨£B=JPMjfqB I D H@JLH'I~AC= à mvž£cdtO5ACJCHg9O5H„;H'>b9wBU¡9OHg>bM>b9H'f AL>wfqB IH'JCH"IpAC=\^}k *=|9OH…>&H'?'B=GIzGIH'=5B9H"I|EM.˜wm à  9O5Hr;H'?'H'ACS H@;tAC>tfqB S H"IuU‰;Bf ^ 9B à mvžxk`8 ?@BfqfqH@;?'ALbM=9OH'>&AC>u9BBJvdv|Q>&H"Ih9Ba?'B=D SH@;&9w9O5H.^±AC=9B à mvžxkl=a'£&>&H"Ilk¥meOHY˜ ¤ m R H@;&U‰B;fqH"I ŽZ ˜ ¤ m¥?@JLB?²u?@M?'JCH'>xUWB;vH"u< ;H|;H R B;&9H"I\AC=ˆm¨eT < 9H@DFJCH'S H'J SH@;APŠG?"< 9ALB=~…fqB;Hw?@B=5?@Q;&D ;H@=5?@MqAC=qO5&ALfjQ5JLtBU9OH}?'BfqfgQ=5AC?"'knmeO5H@Ma&B_IH@fqB=5>b9&;< 9Hg9OG< 9„9O5H R ;H'?'AC>&H >b9&;Q?@9Q;AC=TiBU…?'BfqfgQ5=AC?"t9B.&ACf R JLHw˜ ¤ m°AC> R H@;&U‰B;fqH"IzkvmeO5H„˜ ¤ m ?@B=5>&AC>b9>tBU0&AC=5TJLHdtALIH};H'TAC>b9H@;"k¡]=5H R 'IH'=B9H"I ik08}=5B9O5H@;`AC>e< R A R H@JLAC=H]IH R 9O Y5AC=GIAC?"< 9AC=5Tg9OHwIH'JL ;H@J‡< 9ACS HV9Bi9OH R ;B IQ5?@9ACB=BU]=5H@d AC= R Q9>gE Mh9OHY>b9ACfgQJCQ5>'k à H'>&QJC9>`&O5B"dt=qAC=  ACTQ;HrŒk † R B=5I>09Bw|?'BfqfjQ5=5APD ?"< 9ALB=nEcH@?'BfqH'>¡AL=U‰;H"–QH'=9" BSH@;|9O5Hp;&ALIH@; R H'H"IQ R >qB S H@; >&ACfgQJ‡< 9ACB=ˆQ5>&AC=5T~¾xžk£m¨j9O5H|IH@9\—F^¡Bf R ACJCH"I ^ œ]˜wžŸ>&ACfgQ5JL< 9B;>'0

I

š£fgQJL ‘ufqAL= Q9H'>

I

‚ R ' H H"I Q R ŒZ ‘ Z

I pI

&e3-  
1*  2
 z1'3 5/  ‰1"/ cG2w1 (
  /'1'2
3, @ /
 ¨/=&P4. 


3[ 
9G2$ e ‰351
 j35/.1 9 52l/ 2/|  3 
1  >*35/'1 2„1-3h/
)7 ‡351
;
3 L& ¦1- 2     #$ Q9ACJLACª'AC=Tt9OH£?'B=9&;BJCJCH"I…9ACfqH£?'B=?'H R 9l9BvH'=>&Q;Hx'k  Q;&9OH@;fqB;H> R H'H"I Q R >tBU0‘  Z KdeHo;HsBE9