• System Verilog Assertion 入門セミナー​ 

https://solvnetplus.synopsys.com/s/article/System-Verilog-Assertion%E5%85%A5%E9%96%80

• Euclide概要紹介とデモ

https://solvnetplus.synopsys.com/s/article/Euclide-Overview-and-Demo-for-Japanese

• VCS

https://solvnetplus.synopsys.com/s/article/VCS-Basic-seminar-for-Japanese

• Verdi

https://solvnetplus.synopsys.com/s/article/Verdi-Jump-Start-for-japanse

• VC SpyGlass

LINT:  VC SpyGlass Lint Jump Start for Japanese

CDC:  VC SpyGlass CDC Jump Start for Japanese

RDC:  VC SpyGlass RDC Jump Start for Japanese

• VC Formal

デモ動画を交えて、ツールの操作を解説するビデオ集
https://solvnetplus.synopsys.com/s/article/VC-Formal-How-To-Video-library-in-Japanese

基本的なコマンドや使い方を、スライド（プレゼンテーション）形式で解説
https://solvnetplus.synopsys.com/s/article/VC-Formal-Jump-Start-for-Japanese

• UVM/VIP

https://solvnetplus.synopsys.com/s/article/UVM-1-1-Basic-seminar-in-Japanese-for-VC-VIP-Users