路科V0P1SV学习

Bilibili

几个必备技术要求：

• 动态验证技术
  • 代码覆盖率
  • 功能覆盖率
  • 断言
  • 随机约束
• 静态验证技术
  • 人工的形式验证（属性检查）
  • 自动的形式验证
• 硬件加速技术
  • Emulation以及FPGA原型开发

背景要求：

• 课程：
  • 数字电路
  • Verilog
  • C/C++