高级检索
检索提示：高级检索多个条件检索时是按照顺序运算的：如 A或B与C 即:(A或B)与C
[期刊论文]
逻辑验证自身的特点及其利用
作者：
收录：
摘要：
1引言随着信息技术的发展,对数字系统的要求愈来愈高,其复杂性也日益增大,设计的正确性问题越来越突出.因此,人们从各个方面对逻辑验证进行了广泛的研究,如从模拟、测试、形式化方面及其它等等.已发表的文献不胜枚举,如文献[1-14].但我们认为他们都只从技术以及这些技术如何应用到逻辑验证问题入手进行深入的研究,而没有注意逻辑验证自身的特点.如果充分利用这些特点,将使逻辑验证的工作简化许多.
关键词：
作者机构：
通讯作者信息：
电子邮件地址：
相关关键词：
相关文章：
2018，2018第三届教育与信息技术国际会议
2019，思想理论教育导刊
2000，北京工业大学学报
2011，中国信息界
来源 ：
计算机学报
ISSN： 0254-4164
年份： 1999
期： 4
卷： 22
页码： 445-447
被引次数：
WoS核心集被引频次： 0
SCOPUS被引频次：
ESI高被引论文在榜： 0 展开所有
万方被引频次： 4
中文被引频次：
近30日浏览量： 1
归属院系：
全文获取
外部链接：
