系统重构中真值表格式及预处理研究.pdfVIP

第２６卷第９期　　　 计算机应用与软件 Ｖｏｌ２６Ｎｏ．９ ０９ ２００９年９月　　 ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅ Ｓｅｐ．２０ 系统重构中真值表格式及预处理研究 蒋 向 辉 （柳州职业技术学院　广西柳州５４５００６） 摘　要　　研究了组合逻辑电路和时序电路采集的数据特征，并重点考虑了在没有反馈和带有反馈的两种情况下，对真值表数据表 示形式的要求，确立了适合两种电路模型的真值表数据表示形式。分析了逻辑综合过程以及多次数据采集过程中对真值表数据特 征的要求，提出了一种真值表数据预处理的方法，即将其排序后交给逻辑综合，经测试表明，这种方式能够较大地提高逻辑综合处理 速度。 关键词　　真值表　排序　数据格式　重构　反馈　电路模型 ＯＮＴＲＵＴＨＴＡＢＬＥＦＯＲＭＡＴＡＮＤＰＲＥＰＲＯＣＥＳＳＩＮＧＩＮＳＹＳＴＥＭＲＥＳＴＲＵＣＴＵＲＥ ＪｉａｎｇＸｉａｎｇｈｕｉ （ＬｉｕｚｈｏｕＶｏｃａｔｉｏｎａｌａｎｄＴｅｃｈｎｉｃａｌＣｏｌｌｅｇｅ，Ｌｉｕｚｈｏｕ５４５００６，Ｇｕａｎｇｘｉ，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ　　Ｔｈｅｃｈａｒａｃｔｅｒｉｓｔｉｃｓｏｆｔｈｅｄａｔａｓａｍｐｌｅｄｆｒｏｍｃｏｍｂｉｎａｔｉｏｎａｌｌｏｇｉｃｃｉｒｃｕｉｔａｎｄｔｉｍｉｎｇｃｉｒｃｕｉｔｗｅｒｅｓｔｕｄｉｅｄ，ａｎｄｔｈｅｄａｔａｆｏｒｍａｔｏｆ ｔｈｅｔｒｕｔｈｔａｂｌｅｈａｄｂｅｅｎｃｏｎｓｉｄｅｒｅｄｅｍｐｈａｔｉｃａｌｌｙｉｎｔｗｏｋｉｎｄｓｏｆｃｉｒｃｕｍｓｔａｎｃｅｏｆｗｉｔｈｆｅｅｄｂａｃｋａｎｄｗｉｔｈｏｕｔｆｅｅｄｂａｃｋ，ｔｈｅｎｔｈｅｄａｔａｆｏｒｍａｔｓｏｆ ｔｈｅｔｒｕｔｈｔａｂｌｅｓｕｉｔａｂｌｅｆｏｒｔｗｏｋｉｎｄｓｏｆｃｉｒｃｕｉｔｍｏｄｅｌｈａｄｂｅｅｎｅｓｔａｂｌｉｓｈｅｄ．Ｔｈｅｌｏｇｉｃｓｙｎｔｈｅｓｉｓｐｒｏｃｅｓｓａｎｄｔｈｅｒｅｑｕｉｒｅｍｅｎｔｓｉｎｍｕｌｔｉｐｌｅｄａｔａ ｓａｍｐｌｉｎｇｐｒｏｃｅｓｓｕｐｏｎｃｈａｒａｃｔｅｒｉｓｔｉｃｓｏｆｔｈｅｔｒｕｔｈｔａｂｌｅｄａｔａｈａｄｂｅｅｎａｎａｌｙｚｅｄ．Ａｐｒｅｐｒｏｃｅｓｓｉｎｇｍｅｔｈｏｄｗａｓｐｒｏｐｏｓｅｄ，ｂｙｗｈｉｃｈｔｈｅｔｒｕｔｈｔａ ｂｌｅｄａｔａｗｏｕｌｄｂｅｓｏｒｔｅｄｂｅｆｏｒｅｔｒａｎｓｆｅｒｒｉｎｇｔｏｔｈｅｌｏｇｉｃｓｙｎｔｈｅｓｉｓ．Ａｃｃｏｒｄｉｎｇｔｏｔｈｅｔｅｓｔｒｅｓｕｌｔ，ｔｈｉｓｍｅｔｈｏｄｃａｎｒａｉｓｅｔｈｅｌｏｇｉｃｓｙｎｔｈｅｓｉｓｐｒｏｃｅｓｓ ｉｎｇｓｐｅｅｄｇｒｅａｔｌｙ． Ｋｅｙｗｏｒｄｓ　　Ｔｒｕｔｈｔａｂｌｅ　Ｓｏｒｔｉｎｇ　Ｄａｔａｆｏｒｍａｔ　Ｒｅｓｔｒｕｃｔｕｒｉｎｇ　Ｆｅｅｄｂａｃｋ　Ｃｉｒｃｕｉｔｍｏｄｅｌ 片的输出引脚（组合输出引脚和寄存器输出引脚）带反馈的问 ０　引　言 题始终无法找到一种可行的方式进行判别，然而，如果输出引脚 带有反馈，直接会影响到芯片的内部功能，所以在制定真值表的 芯片重构设计中，采集了海量工作数据集之后，需要生成真 格式时必须把反馈问题考虑进去，这样才能保证逻辑综合产生 值表，以便进行逻辑综合得到重构的结果［１，２］。在生成真值表 正确的布尔表达式［５］。 的过程中，需要考虑以下几个问题：对逻辑综合的影响，即逻辑 为了研究的方便，本文将逻辑电路划分为两种类型：组合逻 综合模块是在真值表的基础上进行的，真值表数据格式是否会 辑电路和时序逻辑电路［６］。组合逻辑电路中没有时钟引脚和 影响逻辑综合的正确性；大