论文部分内容阅读
该文运用《系统论》的思想，提出数字系统功能的两重性、复杂数字系统整体功能等新观点，由此引伸出功能测试的新方法。该方法可归结为：通过复杂数字系统的分析，包括拓扑分析和逻辑分析，建立整体功能模型，据此找出验证测试所需的系统输入向量序列。该工作可采用计算机辅助手段，特别是利用《图论》运算和逻辑综合工具而完成的。用该文所提出的方法，可以在复杂数字系统各种不同抽象级的逻辑图中提取整体功能模型，因此具有广泛的适用性。