定时验证相关论文
动态定时验证系统是高速硬件定时验证系统的一个子系统。它采用六值模拟方法，建立带延迟的模拟模型，可区分信号的上升跳变、下降跳变......
本文介绍高速硬件定时验证系统[8]的重要部分——动态定时验证程序(HHTVS,d)。它采用六值模拟的方法建立带延迟的模拟模型,可区分......
