压缩文法等价变换
压缩文法等价变换,输入一个文法,可以对其进行等价变换,很方便...
压缩文法等价变换,输入一个文法,可以对其进行等价变换,很方便...
编译原理-文法等价转换...
求解模糊等价矩阵的源代码,可以通过它来示模糊等价矩阵...
树的集合表示和等价分类,利用树结构实现等价类的联合存储,和一些等价类的简单操作...
随着集成电路设计水平的进步,电路规模日益增大,电路设计的时间越米越多的耗费在电路的验证问题上。传统的基于模拟的验证逐渐不能满足验证的需要,形式验证方法作为传统模拟验证方法的补充成为研究的热点。等价验证可以分为组合电路的等价验证和时序电路的等价验证。组合电路的等价验证算法目前发展比较成熟,成为很多时序...