论文部分内容阅读
1引言rn随着信息技术的发展,对数字系统的要求愈来愈高,其复杂性也日益增大,设计的正确性问题越来越突出.因此,人们从各个方面对逻辑验证进行了广泛的研究,如从模拟、测试、形式化方面及其它等等.已发表的文献不胜枚举,如文献[1-14].但我们认为他们都只从技术以及这些技术如何应用到逻辑验证问题入手进行深入的研究,而没有注意逻辑验证自身的特点.如果充分利用这些特点,将使逻辑验证的工作简化许多.rn