多项选择题

A.通过Verilog 程序的行为描述,为待测模块实体提供激励信号
B.根据比较结果自动判断模块的内部功能结构是否正确
C.例化待验证的模块实体
D.收集待测模块实体的输出结果,必要时将该结果与预置的所期望的理想结果进行比较,并给出报告