Constraint Random-based Verification

课程大纲 本课程介绍采用Cadence Specman Elite, Synopsys' Vera和SystemVerilog等高级验证语言，以随机为基础的验证方法学。