[00962121]基于编码算法的组合逻辑电路最优化设计软件MININT

该课题为自选课题。该课题的应用领域为集成电路设计。逻辑综合是集成电路设计的重要环节，逻辑结构是否最优化，直接影响到集成电路产品的面积、价格、功耗、可靠性和微型化程度，进而影响集成电路设计水平和产业的发展。该课题在理论上建立了一套组合逻辑电路最优化算法，并以这套算法为基础设计出了组合逻辑电路最优化设计软件MININT系统。当前，国家正在大力发展软件和集成电路产业。而国内集成电路逻辑设计方面的软件与国外比较尚有很大差距，研究开发具有自主知识产权的最优化逻辑设计软件有着深远的社会意义和重大的经济效益。该课题的主要研究内容包括：函数最小化算法研究及逻辑电路的近似最优化软件设计。该课题提出了一个基于最小项编码操作的逻辑函数最小化算法，该算法在产生蕴涵项的过程中，遵循“最弧立点优先”的原则，不产生所有的本源项，而是只产生一个本源项子集从而形成一个覆盖，使冗余项目的数目减少，有效地提高了运行速度。编制了“基于编码算法的组合逻辑电路最优化软件MININT”软件并提供了完整的测试工具，其中包括产生随机测试程序及对运算结果进行正确性判断和效益评价的程序。