以下属于ModelSim中Verilog仿真波形显示数据格式的是（）。

多项选择题启动TestBench仿真后，在全程编译中，以下哪些被执行？（）

A.针对工程设计文件进行编译和综合
B.检查TestBench程序的错误
C.生成用于完成时序仿真的网表文件
D.弹出仿真波形

多项选择题以下属于Verilog仿真流程的是（）。

A.程序输入
B.程序编译
C.仿真库管理
D.仿真
E.波形或数据的结果显示