
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
¥»½Òµ{±N¤¶²ÐVerdi ¤§°ò¥»¾Þ§@¥\¯à
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
l Novas 2011.01©Î¥H¤Wª©¥»
l nLint 2011.01©Î¥H¤Wª©¥»
l ¤F¸ÑUnix or Linux°ò¥»«ü¥O
l ¤F¸ÑµwÅé´yz»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 ¾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
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¶i¶¥¥\¯à¡C¦¹½Òµ{¥Dn³]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
½Òµ{ªº¥Dn¥Ø¼Ð
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°»¿ù
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¤Jp¾ÐÅé
l
¾Ç²ß¨Ï¥ÎPower Managerµ²¦XCPF/UPF¨Ó¤F¸ÑDesign¯S©Ê¤Î°£¿ù¡A¨Ã¾Ç·|¦bWaveform©MSource
Codes·í¤¤¬d§ä©MCPF/UPF¬ÛÃöªº°T¸¹
l Novas 2011.01©Î¥H¤Wª©¥»
l ¤F¸ÑUnix or Linux°ò¥»«ü¥O
l ¤F¸ÑµwÅé´yz»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
l ¾A¦X´¿¸g¨Ï¥Î¹LVerdiªº¤uµ{®v
l «ØÄ³·Qn¥[±j¦Û¤v°»¿ù¯à¤O©M´£¤É¤u§@®Ä²vªº¤uµ{®v
l
¾A¦Xt³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 ½Òµ{
½Ð°Ñ¾\½Òµ{¤jºõ¡C¦b¨C¤@¬q½Òµ{µ²§ô®É¡A§Ú̱N´£¨Ñ§Y®Éªº¤W¾÷½m²ß¡AÂǥѯS®í³]p¹Lªº¹q¸ô»P¹ê»Úªº¾Þ§@¡A¥H¼ô±xVerdiªº¦UºØ¶i¶¥À³¥Î¡C
°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
½Òµ{ªº¥Dn¥Ø¼Ð
l ¼ô±xVerdiªºTFV(Temporal Flow View)¤ÎVerdi©Ò´£¨Ñªº¦UºØ¦Û°Ê°»¿ù¥\¯à¡C
l ³z¹L¹ê»Ú¨Ò¤l¤W¾÷¹êÅç¡AÅý¤uµ{®v§Ö³t¼W¥[Debugªº®Ä²v¡C
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¤Jp¾ÐÅé
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²§
l Novas 2011.01©Î¥H¤Wª©¥»
l ¤F¸ÑUnix or Linux°ò¥»«ü¥O
l ¤F¸ÑµwÅé´yz»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©Ò¦³¥\¯à
l ¾A¦X´¿¸g¨Ï¥Î¹LVerdiªº¤uµ{®v
l ¾A¦X·Qn¥[±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]
½Ð°Ñ¾\½Òµ{¤jºõ¡C¦b¨C¤@¬q½Òµ{µ²§ô®É¡A§Ú̱N´£¨Ñ§Y®Éªº¤W¾÷½m²ß¡AÂǥѯS®í³]p¹Lªº¹q¸ô»P¹ê»Úªº¾Þ§@¡A¥H¼ô±xVerdiªº¦UºØ¶i¶¥À³¥Î¡C
°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
½Òµ{ªº¥Dn¥Ø¼Ð
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
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)
l Novas 2011.01©Î¥H¤Wª©¥»
l ¤F¸ÑUnix or Linux°ò¥»«ü¥O
l ¤F¸ÑµwÅé´yz»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
l ¾A¦X´¿¸g¨Ï¥Î¹LVerdiªº¤uµ{®v
l «ØÄ³·Qn¥[±j¦Û¤v°»¿ù¯à¤O©M´£¤É¤u§@®Ä²vªº¤uµ{®v
l
¾A¦Xt³d¾ã¦X³æ´¹¤ù¤§Ó§O¤l¼Ò²Õ(sub-blocks)ªº Project Leader
l
¦³ÃöHDL¤§»yªkÀˬd©Î³]p¬yµ{¤§¥i¾A¥Î©Ê¡A½Ð°Ñ¥[ [nLint Training]
½Ð°Ñ¾\½Òµ{¤jºõ¡C¦b¨C¤@¬q½Òµ{µ²§ô®É¡A§Ú̱N´£¨Ñ§Y®Éªº¤W¾÷½m²ß¡AÂǥѯS®í³]p¹Lªº¹q¸ô»P¹ê»Úªº¾Þ§@¡A¥H¼ô±xVerdiªº¦UºØ¶i¶¥À³¥Î¡C