Szczegóły

Celem warsztatów jest zapoznanie uczestników z podstawowymi i zaawansowanymi narzędziami oraz metodami weryfikacji FPGA, oraz praktyczne ich przećwiczenie na przykładach osobiście przez każdego uczestnika tych warsztatów. Tematyka warsztatów obejmie:

• Code and Functional Coverage
• Assertions
• Automated Testbench Generation
• Automated Formal Verification
• Clock Domain Crossing Verification