摘要： 针对采用单一的传统布尔逻辑在有限状态机面积优化中的不足,提出一种基于传统布尔逻辑和Reed-Muller(RM)逻辑的双逻辑有限状态机(FSM)面积优化算法。利用不相交乘积项之间的位操作,将函数的逻辑覆盖拆分成分别适合传统布尔逻辑和RM逻辑综合的两部分。采用布尔逻辑乘积项和RM逻辑覆盖对应的字母数作为电路面积的成本函数,指导遗传算法搜索出适合双逻辑综合的状态分配,实现FSM组合电路面积优化。通过MCNC标准电路对算法进行测试。实验结果表明,相比单一的布尔逻辑,采用双逻辑综合后,可使近80%的FSM测试电路面积得到进一步优化。

关键词: Reed-Muller逻辑, 有限状态机, 遗传算法, 逻辑综合, 双逻辑, 位操作

Abstract: To cope with the problem that exists in the area optimization of Finite State Machine(FSM) by only using Traditional Boolean (TB) logic,a novel algorithm for FSM area optimization using both traditional Boolean logic and Reed-Muller (RM) logic,namely dual logic,is proposed.By using the bitwise operation between the disjoint product terms,the logic cover is divided into two parts which are suitable for TB logic synthesis and RM logic synthesis respectively.The number of the product terms of TB logic and the literals of RM logic is used to form a cost function which helps the genetic algorithm to finish the state assignment for the FSM circuit area optimization by using dual logic.The proposed algorithm is tested under the MCNC benchmarks.Experimental results show that in contrast with the method which only employs TB logic,the algorithm can further reduce the area of 80% of the test circuits.

Key words: Reed-Muller(RM) logic, Finite State Machine(FSM), Genetic Algorithm(GA), logic synthesis, dual logic;bit operation

中图分类号: 

• TP391.72