[单选题]假定逻辑单元和互连导线为理想的，即电路无信号延迟情况下，从功能上验证设计电路能否满足预期要求的仿真称之为【】仿真。