基于真值表搜索的逻辑函数自动化简方法

研究逻辑函数的化简方法具有重要理论价值和实际工程意义。基于真值表和卡诺图的等价性,本文提出一种基于真值表搜索的逻辑函数自动化简方法。在穷举搜索真值表中最小项组基础上,通过检查和合并而实现逻辑函数的自动化简。该方法不受变量数目限制,易于编程,为多变量数字系统的自动化设计提供了一条有效的系统化解决途径。

“e”语言 一种新的高级数字系统验证语言

近二十年来,数字设计自动化环境随着设计复杂程度的提高经历了许多个发展阶段。近年来先后出现了"SystemVerilog"、"SystemC"、"e"等语言和行为综合器,它们把高度复杂 SOC 数字系统设计的验证和综合的自动化程度又大大提升了一步。本文综述了这几种高级硬件设计仿真语言,着重介绍"e"语言在验证通信用 SOC 芯片模型性能时的高效率。

提高核电装备设计质量与设计效率的若干思考

探讨了容错纠错设计技术、可验证设计技术和数字化及自动化设计技术在核电装备设计中的应用前景,分析了上述设计技术对于提高核电装备设计质量与设计效率的重要意义,研究了其中的关键技术。以自动开封盖装置为对象,建立了其数字化样机,在数字化环境中完成了自动开封盖装置的设计、分析、仿真和验证等工作,形成了完整的数字化样机创建平台和设计规范,为核电设备的快速自动化设计提供了参考和依据。