论文部分内容阅读
对目标系统的重构设计主要困扰的难题是如何实现设计的正确性以及实现规模的可控制性。而通过对目标系统的逻辑功能收集与归纳,再进行反向的逻辑综合处理是一种行之有效的手段,但是该手段实现时与传统的逻辑综合处理的有巨大差异。重点分析和论述了如何解决反向逻辑综合的处理速度和结果规模控制的两个核心难题,提出了一个适应面较广的Q-M法与锐积法相结合的处理算法,给出了算法流程和性能分析。