Novas/Verdi¨t¦C°V½m½Òµ{»¡©ú

l          ¦pªG±z¬O¥¼´¿¥Î¹LVerdi©Î¥u¬Ýªi§Î¹Ï(waveforms)¤§¨Ï¥ÎªÌ, ½Ð°È¥²¥ý°Ñ¥[ [ Verdi Premier Training ]¡C

l          ¦³ÃöVerdiªº¶i¶¥¥\¯à¤Î¦Û°Ê¤Æ°»¿ù½Ð°Ñ¥[ [ Verdi Advanced Training ]

l          ¦³ÃöHDL¤§»yªkÀˬd©Î³]­p¬yµ{¤§¥i¾A¥Î©Ê¡A½Ð°Ñ¥[ [ nLint Training ]

l          °w¹ïCPF/UPF¤§low power design flowªºVerification/Debug»Ý¨D¡A½Ð°Ñ¥[ [ Power-Aware Debug Training ]

l          °w¹ïIC³]­p¤uµ{®v³Ì±`»Ý­nDebugªº¦UºØ¤£¦P°ÝÃD¡A¥H¹ê»Ú¨Ò¤l¤W¾÷¹êÅç¡AÅý¤uµ{®v§Ö³t´£¤ÉDebugªº§Þ¥©¡A½Ð°Ñ¥[ Verdi Debug Workshop (Premier©MAdvanced)½Òµ{¡C

l          ¸Ô²Ó½Òµ{¤º®e¤Î¹ê§@¶µ¥Ø½Ð¨£­Ó§O¤§½Òµ{»¡©ú

l          ¨ä¥L¦³Ãö Verdi nECO, nLint UDR, Verdi TCL Programµ¥«D±`³W½Òµ{¡A¦pªG±z¦³³o¤è­±»Ý¨D¡A½ÐÁpµ¸ªA°È¶Q¤½¥qªº·~°È¸g²z©ÎªÌ§Þ³N¿Ô¸ß¤uµ{®v¡C


Verdi (Premier) & nLint Training

1½Òµ{»¡©ú

¥»½Òµ{±N¤¶²ÐVerdi ¤§°ò¥»¾Þ§@¥\¯à

2. ½Òµ{¤jºõ

l          ¤F¸ÑVerdi¤§©w¦ì»PÀ³¥Î

l          ¾Ç²ß±N§Aªº³]­pŪ¶iVerdi

l          ¾Ç²ß¨Ï¥ÎVerdi¨Ó¾\Ū»P¤ÀªR§Aªº­ì©l½X (source codes)

l          ¾Ç²ß¨Ï¥ÎVerdiªº¹q¸ô¹Ï(schematics)Àô¹Ò¨Ó¶i¦æ°»¿ù

l          ¾Ç²ß¨Ï¥ÎVerdi¨Ó¤ÀªR³]­p·í¤¤ªº¦³­­ª¬ºA¾÷(Finite State Machine)

l          ¾Ç²ß¨Ï¥ÎVerdi ´£¨ÑªºLibrary¦b°õ¦æ¼ÒÀÀ(simulation)®É²£¥ÍFSDBªi§Î¹Ï

l          ¾Ç²ß¨Ï¥ÎVerdiªºªi§Î¹ÏÀ˵ø¾¹(waveform viewer)¨Ó¤ÀªR¼ÒÀÀªºµ²ªG

l          ¾Ç²ß¨Ï¥ÎVerdi¾ã¦X©Êªº¥\¯à¨Ó¶i¦æ»´ÃP¤S¦³®Ä²vªº°»¿ù

l          ¤F¸Ñ¦p¦ó¨Ï¥ÎnLint ¥Î¥HÀˬddesign ©Ò¼çÂ꺳]­p°ÝÃD

3. ¨Ï¥Î³nÅé

l          Novas 2011.01©Î¥H¤Wª©¥»

l          nLint 2011.01©Î¥H¤Wª©¥»

4. ­×½Ò±ø¥ó

l          ¤F¸ÑUnix or Linux°ò¥»«ü¥O

l          ¤F¸ÑµwÅé´y­z»y¨¥(HDL¡A¥]§tVerilog/SystemVerilog©ÎVHDL)©M¼Æ¦ì¹q¸ô³]­p·§©À(¨Ò¦p combinational logics, sequential logics, finite state machine¡K)

l          ¤F¸Ñ°ò¥»«e¬qIC³]­p¬yµ{¡A¨Ò¦p¹q¸ô¼ÒÀÀ(Simulation)¡A¹q¸ô¦X¦¨(Synthesis)¡A

5. «ØÄ³¨Æ¶µ

l          ¾A¦X§¹¥þ¨S¦³¨Ï¥Î¹LVerdiªºªì¾ÇªÌ

l          ¥u¬Ýªi§Î¹Ï¤§¨Ï¥ÎªÌ¥ç¾A¦X°Ñ¥[¦¹½Òµ{

l          ¦³ÃöVerdi¤§¶i¶¥¥\¯à¡A½Ð°Ñ¥[ [Verdi Advanced Training]

l          °w¹ïIC³]­p¤uµ{®v³Ì±`»Ý­nDebugªº¦UºØ¤£¦P°ÝÃD¡A¥H¹ê»Ú¨Ò¤l¤W¾÷¹êÅç¡AÅý¤uµ{®v§Ö³t´£¤ÉDebugªº§Þ¥©¡A½ÐÄ~Äò°Ñ¥[ Verdi Debug Workshop ½Òµ{¡C

6. ¹ê§@»¡©ú

l          ¨Ï¥ÎVerdiŪ¨ú³]­pÀɮרåB¤ÀªR­ì©l½X(Source Codes)

l          ¨Ï¥ÎVerdiªº¹Ï§Î¤Æ¤¶­±¨ÓÀ˵ø³]­p¤§¹q¸ô¹Ï(Schematics)

l          ¨Ï¥ÎVerdi¬Ýªi§Î¹Ï(Waveforms)

l          ¨Ï¥ÎVerdi¨Ó¤F¸Ñ¦³­­ª¬ºA¾÷(Finite State Machine)

l          ¨Ï¥ÎVerdi¶i¦æ§Ö³t§¹¾ãªº°»¿ù

l          ¼ô±xnLintªº°ò¥»Àˬd¥\¯à¡A¨Ã¯à°w¹ïÀˬd³ø§i¶i¦æ°»¿ù


Verdi Advanced & Power-Aware Debug Training

1. ½Òµ{»¡©ú

¤¶²ÐVerdi¶i¶¥¥\¯à¡C¦¹½Òµ{¥D­n³]­p¬°¥[³t¸Ñ¨M¼Æ¦ì³]­p¤W©Ò¾D¹Jªº°ÝÃD¡AÂǥѦ۰ʤƪº°l¬d¥H¨D¤j´TÁYµu°»¿ù®É¶¡¡C¥t¥~»Ý­n°w¹ï³]­p·í¤¤¨Ï¥Î¨ì·sªº§C¥\²vµwÅé³W®æ¡GCPF©ÎUPF¶i¦æ°»¿ù®É¡A§Ú­Ì±N¸Ô²Ó¤¶²Ð Verdi ©Ò´£¨Ñªº¸Ñ¨M¤è®×¡C

 

½Òµ{ªº¥D­n¥Ø¼Ð

l          ¤F¸ÑVerdi ¦bcycle-based »Ptransition-based°»¿ù¼Ò¦¡¤Uªº¤£¦P¦æ¬°

l          ¥i¥H¦bVerdiªºTemporal Flow View©MWaveform·í¤¤°l¬d¿ù»~ªº°T¸¹¼Æ­È

l          ·|¨Ï¥ÎVerdi¦Û°Ê°l¬d unknown¿ù»~ªº·½ÀY

l          ¾Ç²ß¦p¦óDebug gate-levelªº timing °ÝÃD

l          ¥i¥H½s¿èMemory Definition File ¥Î¥HÅã¥Ü©M¤ÀªR¦UºØ¤£¦P°O¾ÐÅ骺¤º®e

l          µ²¦XCPF/UPF©M­ì©lªºHDL³]­pÀɮסA¶i¦æ±a¦³Power·§©Àªº¤ÀªR©M°»¿ù

2. ½Òµ{¤jºõ

l          Verdi °ò¦­I´º»PÀ³¥Î

l          ³z¹LTemporal Flow View¾Ç²ß¤F¸Ñ°T¸¹¦b¨C¤@cycle ªº¦æ¬°

l          ¾Ç²ß¦p¦ó¦bTemporal Flow View·í¤¤§ó§Ö³t¦adebug signal

l          ¾Ç²ß¦p¦ó§Ö³t§ä¨ìunknownªº·½ÀY

l          ¾Ç²ß¨Ï¥ÎTrace Triggering Path ¨Ó Debug gate-level ªº timing °ÝÃD

l          ¾Ç²ß¦p¦óÅã¥Ü¤º´O¦¡°O¾ÐÅ骺©Ò¦³¤º®e¡A§ä¥X³o¨Ç¼Æ­È¬O¦p¦ó³Q¼g¤J­p¾ÐÅé

l          ¾Ç²ß¨Ï¥ÎPower Managerµ²¦XCPF/UPF¨Ó¤F¸ÑDesign¯S©Ê¤Î°£¿ù¡A¨Ã¾Ç·|¦bWaveform©MSource Codes·í¤¤¬d§ä©MCPF/UPF¬ÛÃöªº°T¸¹

3. ¨Ï¥Î³nÅé

l          Novas 2011.01©Î¥H¤Wª©¥»

4. ­×½Ò±ø¥ó

l          ¤F¸ÑUnix or Linux°ò¥»«ü¥O

l          ¤F¸ÑµwÅé´y­z»y¨¥(HDL¡A¥]§tVerilog, SystemVerilog©ÎVHDL)©M¼Æ¦ì¹q¸ô³]­p·§©À(¨Ò¦p combinational logics, sequential logics, finite state machine¡K)

l          ¤F¸Ñ°ò¥»«e¬qIC³]­p¬yµ{¡A¨Ò¦p¹q¸ô¼ÒÀÀ(Simulation)¡A¹q¸ô¦X¦¨(Synthesis)

l          »Ý§¹¦¨Verdi Premier training¡A©Î¤w¸g¼ô±xVerdi©Ò¦³°ò¥»¥\¯à(Ū¨údesign¡A¬Ýªi§Î¡A¬Ý¹q¸ô¹Ï¡A¬ÝFinite State Machine)

l          ¶·¤F¸Ñ§C¥\²vµwÅé³W®æ¡GCPF©ÎUPF

5. «ØÄ³¨Æ¶µ

l          ¾A¦X´¿¸g¨Ï¥Î¹LVerdiªº¤uµ{®v

l          «ØÄ³·Q­n¥[±j¦Û¤v°»¿ù¯à¤O©M´£¤É¤u§@®Ä²vªº¤uµ{®v

l          ¾A¦X­t³d¾ã¦X³æ´¹¤ù¤§­Ó§O¤l¼Ò²Õ(sub-blocks)ªº Project Leader

l          ¦³ÃöHDL¤§»yªkÀˬd©Î³]­p¬yµ{¤§¥i¾A¥Î©Ê¡A½Ð°Ñ¥[ [nLint Training]

l          °w¹ïIC³]­p¤uµ{®v³Ì±`»Ý­nDebugªº¦UºØ¤£¦P°ÝÃD¡A¥H¹ê»Ú¨Ò¤l¤W¾÷¹êÅç¡AÅý¤uµ{®v§Ö³t´£¤ÉDebugªº§Þ¥©¡A¥i¥HÄ~Äò°Ñ¥[ Verdi Debug Workshop ½Òµ{

 

6. ¹ê§@»¡©ú

½Ð°Ñ¾\½Òµ{¤jºõ¡C¦b¨C¤@¬q½Òµ{µ²§ô®É¡A§Ú­Ì±N´£¨Ñ§Y®Éªº¤W¾÷½m²ß¡AÂǥѯS®í³]­p¹Lªº¹q¸ô»P¹ê»Úªº¾Þ§@¡A¥H¼ô±xVerdiªº¦UºØ¶i¶¥À³¥Î¡C

 

 


Verdi Debug Workshop (Premier)

1. ½Òµ{»¡©ú

°w¹ïIC³]­p¤uµ{®v³Ì±`»Ý­nDebugªº¦UºØ¤£¦P°ÝÃD¡A¥H¦UºØ¹ê»Úªº¨Ò¤l¡A°t¦X¤W¾÷¹êÅç¡AÅý¤uµ{®v¯à°÷¼ô±x¨Ãµ½¥Î«ä·½¬ì§Þ©Ò´£¨Ñªº¦UºØ²£«~ªººëµØ¥\¯à¡A³Ì²×¹F¨ì§Ö³tDebug©M¼W¥[Verification®Ä²vªº¥Ø¼Ð¡C

 

½Òµ{ªº¥D­n¥Ø¼Ð

l          ¼ô±xVerdiªºTFV(Temporal Flow View)¤ÎVerdi©Ò´£¨Ñªº¦UºØ¦Û°Ê°»¿ù¥\¯à¡C

l          ³z¹L¹ê»Ú¨Ò¤l¤W¾÷¹êÅç¡AÅý¤uµ{®v§Ö³t¼W¥[Debugªº®Ä²v¡C

2. ½Òµ{¤jºõ

l          ¾Ç²ß¦UºØ¦³®Ä²v¾\Ūsource codes¤Î°w¹ï¯S©w»yªkªº°»¿ù§Þ¥©

l          ¦bTemporal Flow View¤¤¡A§ó§Ö³t¦a°lÂÜ«H¸¹¿ù»~­Èªº¨Ó·½

l          ¾Ç²ß¦p¦ó§Ö³t§ä¨ìunknownªº·½ÀY

l          ¾Ç²ß¥[³t±N¸û¤jªºDesign§Ö³tŪ¶iVerdi

l          ¾Ç²ß¦p¦óÅã¥Ü¤º´O¦¡°O¾ÐÅ骺©Ò¦³¤º®e¡A§ä¥X³o¨Ç¼Æ­È¬O¦p¦ó³Q¼g¤J­p¾ÐÅé

l          ¾Ç²ßÀ˵øªi«¬¹Ïªº·s¥\¯à©M¦UºØ¤è«K¹ê¥Îªº¨Ï¥Î§Þ¥©

l          ¾Ç²ß¦p¦ó¦Û°Ê¤ñ¹ï¨â²Õªi§Î¹Ïªº®t²§¡A°w¹ï¦P²Õ¹q¸ôÁÙ¥i¥H¦Û°Ê§ä¥X¿ù»~·½

l          §JªA¦bFSDB/SDF¥H¤ÎDesign¤§¶¡ªºHierarchy®t²§

3. ¨Ï¥Î³nÅé

l          Novas 2011.01©Î¥H¤Wª©¥»

4. ­×½Ò±ø¥ó

l          ¤F¸ÑUnix or Linux°ò¥»«ü¥O

l          ¤F¸ÑµwÅé´y­z»y¨¥(HDL¡A¥]§tVerilog/SystemVerilog©ÎVHDL)©M¼Æ¦ì¹q¸ô³]­p·§©À(¨Ò¦p combinational logics, sequential logics, finite state machine¡K)

l          ¤F¸Ñ°ò¥»«e¬qIC³]­p¬yµ{¡A¨Ò¦p¹q¸ô¼ÒÀÀ(Simulation)¡A¹q¸ô¦X¦¨(Synthesis)¡A

l          ¤F¸ÑÀRºA®É§Ç¤ÀªR(STA)·§©À

l          »Ý§¹¦¨Verdi Premier training¡A©Î¤w¸g¼ô±xVerdi©Ò¦³¥\¯à

5. «ØÄ³¨Æ¶µ

l          ¾A¦X´¿¸g¨Ï¥Î¹LVerdiªº¤uµ{®v

l          ¾A¦X·Q­n¥[±j¦Û¤v°»¿ù¯à¤O©M´£¤É¤u§@®Ä²vªº¤uµ{®v

l          «ØÄ³Ä~Äò°Ñ¥[ [Verdi Debug Workshop (Advanced) ] ½Òµ{

l          ¦³ÃöHDL¤§»yªkÀˬd©Î³]­p¬yµ{¤§¥i¾A¥Î©Ê¡A½Ð°Ñ¥[ [nLint Training]

 

6. ¹ê§@»¡©ú

½Ð°Ñ¾\½Òµ{¤jºõ¡C¦b¨C¤@¬q½Òµ{µ²§ô®É¡A§Ú­Ì±N´£¨Ñ§Y®Éªº¤W¾÷½m²ß¡AÂǥѯS®í³]­p¹Lªº¹q¸ô»P¹ê»Úªº¾Þ§@¡A¥H¼ô±xVerdiªº¦UºØ¶i¶¥À³¥Î¡C

 

 


Verdi Debug Workshop (Advanced)

1. ½Òµ{»¡©ú

°w¹ïIC³]­p¤uµ{®v³Ì±`»Ý­nDebugªº¦UºØ¤£¦P°ÝÃD¡A¥H¦UºØ¹ê»Úªº¨Ò¤l¡A°t¦X¤W¾÷¹êÅç¡AÅý¤uµ{®v¯à°÷¼ô±x¨Ãµ½¥Î«ä·½¬ì§Þ©Ò´£¨Ñªº¦UºØ²£«~ªººëµØ¥\¯à¡A³Ì²×¹F¨ì§Ö³tDebug©M¼W¥[Verification®Ä²vªº¥Ø¼Ð¡C

 

½Òµ{ªº¥D­n¥Ø¼Ð

l          ¼ô±xVerdiªºTFV(Temporal Flow View)¤ÎVerdi©Ò´£¨Ñªº¦UºØ¦Û°Ê°»¿ù¥\¯à¡C

l          ³z¹L¹ê»Ú¨Ò¤l¤W¾÷¹êÅç¡AÅý¤uµ{®v§Ö³t¼W¥[Debugªº®Ä²v¡C

l          ¾Ç²ßSpringSoft¦U¶µVerification Enhancement SolutionsªººëµØ¥\¯à¡A´£¤ÉÅçÃÒ¤W­±©Ò»Ýªº¦UºØ§Þ¥©¡C

2. ½Òµ{¤jºõ

l          ¾Ç²ß¨Ï¥ÎPower Managerµ²¦XCPF/UPF¨Ó¤F¸ÑDesign¯S©Ê¤Î°£¿ù

l          ¾Ç²ß¨Ï¥ÎVerdi°l¬d¦b³]­p·í¤¤SystemVerilogªº»yªk¤Îªi§Î

l          ¾Ç²ß¨Ï¥ÎAssertion Analyzer¨Ó¤ÀªRAssertion Failure/Success

l          ¾Ç²ß¦UºØÁYµuDumping®É¶¡©M´î¤ÖFSDBÀɮפj¤pªº§Þ¥©

l          ¾Ç²ß¨Ï¥ÎSiloit¨ÓÁYµuDumping®É¶¡©M´î¤ÖFSDBÀɮפj¤p

l          ¾Ç²ß¦UºØgate level©Mtiming°ÝÃDªº°£¿ù§Þ¥©

l          ¾Ç²ß¨Ï¥ÎnAnalyzer¨Ó¤ÀªR³]­p·í¤¤ªº®É¯ß¾ð(Clock Tree)»P¬ÛÃöªº³]©w

l          ¾Ç²ß¨Ï¥ÎnAnalyzer©â¨ú¥X³]­p·í¤¤©Ò¦³ªº®É¯ß°ì(Clock Domains)¡A¨Ã§ä¥X¸ó¶V¤£¦P®É¯ß°ìªº¸ê®Æ¬y¸ô®|(Data Path)

3. ¨Ï¥Î³nÅé

l          Novas 2011.01©Î¥H¤Wª©¥»

4. ­×½Ò±ø¥ó

l          ¤F¸ÑUnix or Linux°ò¥»«ü¥O

l          ¤F¸ÑµwÅé´y­z»y¨¥(HDL¡A¥]§tVerilog/SystemVerilog©ÎVHDL)©M¼Æ¦ì¹q¸ô³]­p·§©À(¨Ò¦p combinational logics, sequential logics, finite state machine¡K)

l          ¤F¸Ñ°ò¥»«e¬qIC³]­p¬yµ{¡A¨Ò¦p¹q¸ô¼ÒÀÀ(Simulation)¡A¹q¸ô¦X¦¨(Synthesis)¡A

l          »Ý§¹¦¨Verdi Premier training¡A©Î¤w¸g¼ô±xVerdi©Ò¦³¥\¯à

l          ¶·¤F¸ÑÀRºA®É§Ç¤ÀªR(STA)·§©À

l          ¶·¤F¸Ñ§C¥\²vµwÅé³W®æ¡GCPF©ÎUPF

5. «ØÄ³¨Æ¶µ

l          ¾A¦X´¿¸g¨Ï¥Î¹LVerdiªº¤uµ{®v

l          «ØÄ³·Q­n¥[±j¦Û¤v°»¿ù¯à¤O©M´£¤É¤u§@®Ä²vªº¤uµ{®v

l          ¾A¦X­t³d¾ã¦X³æ´¹¤ù¤§­Ó§O¤l¼Ò²Õ(sub-blocks)ªº Project Leader

l          ¦³ÃöHDL¤§»yªkÀˬd©Î³]­p¬yµ{¤§¥i¾A¥Î©Ê¡A½Ð°Ñ¥[ [nLint Training]

 

6. ¹ê§@»¡©ú

½Ð°Ñ¾\½Òµ{¤jºõ¡C¦b¨C¤@¬q½Òµ{µ²§ô®É¡A§Ú­Ì±N´£¨Ñ§Y®Éªº¤W¾÷½m²ß¡AÂǥѯS®í³]­p¹Lªº¹q¸ô»P¹ê»Úªº¾Þ§@¡A¥H¼ô±xVerdiªº¦UºØ¶i¶¥À³¥Î¡C