A sequential equivalence checking algorithm based on state transfer graph is presented.
提出一种基于状态转换图的时序电路等价验证算法。
youdao
应用推荐
模块上移
模块下移
不移动