相似文献/References:
[1]卢英 李炜.基于状态转换图同构求解的等价性验证算法[J].计算机技术与发展,2009,(03):74.
LU Ying,LI Wei.Verifying Algorithm of Equivalence Based on State Transfer Graph's Isomorphism Solving[J].,2009,(03):74.
[2]郭蒙,田泽,胡小婷,等.数字集成电路多周期路径的设计实现方法[J].计算机技术与发展,2013,(08):204.
GUO Meng,TIAN Ze,HU Xiao-ting,et al.Implementation of Multi-cycle Path in Digital IC Design[J].,2013,(03):204.