• 时序检查(timing check)：监视两个输入信号的关系并检查的系统任务， 以保证电路能正确工作。
基于28个网页-相关网页
报告不变的时序检查 No-Change Timing Checks
程序检查时间 program testing time
建立和保持时序的检查 Setup and hold checks
正时检查程序 timing check procedure
时序检查
Timing check
以上为机器翻译结果，长、整句建议使用 人工翻译 。
有效地建立和表示时序逻辑电路的状态转移关系是应用模型检查方法验证时序逻辑电路的关键技术之一。
Building the transition relation of sequential logic circuit is one of the key technologies for applying model checking method to verify the sequential logic circuit.
youdao
应用推荐
模块上移
模块下移
不移动