论文部分内容阅读
对形式验证方法进行了一综述和讨论，介绍了基于符号处理的形式推理方法，并详细讨论了时序电路、组合逻辑电路等价性的检验方法。
计算机形式验证方法研究综述
【摘 要】
：
对形式验证方法进行了一综述和讨论，介绍了基于符号处理的形式推理方法，并详细讨论了时序电路、组合逻辑电路等价性的检验方法。
【机 构】
：
哈尔滨金融学院
【出 处】
：
中国电子商务
【发表日期】
：
2011年5期
其他文献
本文从鸟害的特征，成因以及对线路造成的危害，全面分析，重点确定解决鸟害的方式方法，以事实为依据，以数据为基础，层层剥茧，阐述了鸟害的防治以及鸟害的规律性，对线路运行检修都是很好
8日、9日、10日、11日、12日、13日、14日……一连7天,全程经历了党的十八大从隆重开幕到胜利闭幕,重庆全国人大代表康厚明在北京度过了他难忘的一周。＂亲切、幸福、信心＂,是这
2010年:三大动力助推快速发展2010年,在人类历史长河中只是短暂的一瞬间,但它却如此深刻地铭记在沙坪坝人民的心中。2010年,浓墨椽笔在歌乐山下描绘出了一幅波澜壮阔的发展画
期刊
对工作辊的清洁方式决定了能否较长时间保持辊面的粗糙度,通过增加光整机高压水清洗装置,上下表面粗糙度出现差异化周期延后,表明带钢上下表面粗糙度差异情况得到改善,涟钢热
随着人们生活水平的提高，人们对生活质量的要求也越来越高，对于影响自身健康的环境问题也越发关注。空气污染问题一直都是当今世界关注的焦点问题之一，其对人体健康产生的影响以
7月25日上午，在市人大常委会第三十三次会议上，市人大常委会组成人员陈存根、余远牧、陈雅棠、郑洪、艾智泉，市人大代表刘放、王嘉玲等，就主城区城市环境综合整治情况专题询问市
灯光的操控系统是现代演艺技术的重要研究对象，也是现在各类演出所必须具备的道具系统之一。今天，我们就对于灯光操控系统的新型技术——网络化管理技术，进行探讨和深入的分析。
作业成本法作为先进的成本管理方法已在西方发达国家已取得显著成效，也被我国企业引入，本文简述了作业成本法的相关知识，并阐述了其在实际运用中存在的问题，并结合工作实际有针对
8月23日至26日．全国人大常委会副委员长、民革中央主席周铁农来渝调研。23日，周铁农率民革调研组赴石柱自治县、武隆县．实地考察调研农民增收情况．并出席民革中央定点帮扶石柱自