基于仿真的验证的目的是来检验RTL模型与门级网表之间在功能上仿真是否相一致,RTL模型与逻辑门级模型不可同时进行仿真. 基于仿真的验证的目的是来检验RTL模型与门级网表之间在功能上仿真是否相一致,RTL模型与逻辑门级模型不可同时进行仿真.