A sequential equivalence checking algorithm based on state transfer graph is presented.
提出一种基于状态转换图的时序电路等价验证算法。
3
This paper firstly introduces the classification of incremental clustering algorithms and the research state, defines the concept of algorithm equivalence.