逻辑等价性相关论文
选矿工业在国民经济中占有重要的地位,实现自动控制是选矿生产过程实现提高产品质量、节能降耗、减员增效的关键所在。选矿自动化......
采用Synopsys公司的逻辑等价性验证工具Formality,针对状态机逻辑电路进行逻辑等价性验证.介绍了验证的基本流程和具体步骤,具体分......
