Course name: IC Verification Algorithms

Code: ICVA

Training content

• Introduction – 1 lecture
• Simulation Algorithms – 4 lectures
• Formal Verification Algorithms – 3 lectures
• Timing Analysis Algorithms – 3 lectures
• Post-layout Verification Algorithms – 3 lectures
• Universal Verification Methodology – 2 lectures
• Quick Tour on Synopsys IC Verification Tools – 1 lecture

Training purpose

• Understand Chip's verification mechanism from functional verification, formality, UVM, Post-layout.

References

• Update later