ABC对输入MV文件的解决方案.docVIP

ABC对输入MV文件的解决方案 　　论文关键字：ABC MV文件时序　综合 　　论文摘要：ABC是一款时序逻辑电路的综合和验证的软件系统。ABC为查找表和标准块整合了基于AIGs的逻辑优化和基于技术映射的最优延迟DAG。MV是一种为描述时序层次电路系统而设计的语言，它能以层次形式来描述电路系统。ABC提供了对输入MV文件的支持，但其对MV文件的时序支持有限，本文讨论了其解决方案。 　　1 电路逻辑综合的一些常用方法 　　 使用SIS优化 输入.mv文件，经过mv2blif软件处理后，产生.blif文件，然后送入SIS综合软件处理，生成优化后的blif文件，如下图所示： SHAPE \* MERGEFORMAT 图 　　 使用ABC优化 输入.mv文件，经过mv2blif软件处理后，产生.blif文件，然后送入ABC处理，生成优化后的blif文件，如下图所示： SHAPE \* MERGEFORMAT 图 　　 对比两种方法 使用SIS优化已经是比较陈旧的方法，现在更多的是使用ABC进行优化。我们知道，数据结构和算法是一个软件能否成功应用的核心，SIS在近几年一些最新的改变中没能