摘要
对目标系统的重构设计主要困扰的难题是如何实现设计的正确性以及实现规模的可控制性。而通过对目标系统的逻辑功能收集与归纳,再进行反向的逻辑综合处理是一种行之有效的手段,但是该手段实现时与传统的逻辑综合处理的有巨大差异。重点分析和论述了如何解决反向逻辑综合的处理速度和结果规模控制的两个核心难题,提出了一个适应面较广的Q-M法与锐积法相结合的处理算法,给出了算法流程和性能分析。
The main difficult problems are the design accuracy as well as the realization scale in the system reconstruction design. It is an effective method through collecting and inducting the goal system logical function, before carrying on reverse logical synthesis processing, But this method realization has the huge contrast as the traditional logical synthesis, two cores difficult problem that how to solve the reverse logical synthesis processing speed and the result scale control are mainly analyzed, an adaptable processing algorithm that unified the Q-M and sharp-product algorithm is proposed, the algorithm flow and the performance analysis is shown.
出处
《计算机工程与设计》
CSCD
北大核心
2009年第6期1559-1560,F0003,共3页
Computer Engineering and Design
关键词
逻辑综合
反向
重构
Q-M
算法
logic synthesis
reverse
reconstruction
Q-M
algorithm
