论文部分内容阅读
本文介绍了时序电路（时序机）功能验证的基本概念和发展，分析了验证中存在的问题以及冗余故障的性质．提出基于ＳＴＧ的功能验证方法。最后，提出了采用动态任务调度策略的并行验证技术以解决状态遍历问题。
This paper introduces the basic concepts and development of the functional verification of sequential circuits (timing machines), analyzes the problems existing in verification and the nature of redundant faults. A functional verification method based on STG is proposed. Finally, a parallel verification technique using dynamic task scheduling strategy is proposed to solve the state traversal problem.