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

ABC 对输入 MV 文件的解决方案 论文关键字： ABC MV 文件时序 综合 论文摘要： ABC是一款时序电路的综合和验证的软件系统。 ABC 为查找表和标准块整合了基于 AIGs（这个图只有与门和非门）的逻辑优化和基于技术映射的最优延迟 DAG（无回路有向图）。 MV 是一种为描述时序层次电路系统而设计的，它能以层次形式来描 述电路系统。 ABC提供了对输入 MV文件的支持，但其对 MV文件的时序支持有限，本文讨论了其解决方案。 电路逻辑综合的一些常用方法 输入 .mv 件，然后送入 SIS 图所示：  文件，经过 mv2blif 软件处理后，产生 .blif 文综合软件处理，生成优化后的 blif 文件，如下 SHAPE  图  1.1 输入 .mv 文件，经过 mv2blif 件，然后送入 ABC处理，生成优化后的  软件处理后，产生 .blif 文 blif 文件，如下图所示： SHAPE 1.2 使用 SIS 优化已经是比较陈旧的方法，现在更多的是使用 ABC进行优化。我们知道，数据结构和算法是一个软件能否成 功应用的核心， SIS 在近几年一些最新的改变中没能提供一个良好 的编程，比如对技术映射和延迟的整合。而且 SIS 在处理大型电路显得力不从心，效率低下。而 ABC使用了一种更为简单的数据结构 AIGs( 由两输入的与门和非门组成的多层逻辑网 )