论文部分内容阅读
符号轨迹计算（Symbolic Trajectory Evaluation，简称STE）方法是一种新的基于符号模拟的模型检验方法，它将符号模拟技术的电路建模能力与时序逻辑模型检验技术的自动分析能力结合，使得对于数字电路的验证效率得到了很大的提高。本文将综述符号轨迹计算的基本理论。
数字电路的STE验证方法研究
【摘 要】
：
符号轨迹计算（Symbolic Trajectory Evaluation，简称STE）方法是一种新的基于符号模拟的模型检验方法，它将符号模拟技术的电路建模能力与时序逻辑模型检验技术的自动分析能力结合，
【机 构】
：
兰州交通大学数理与软件工程学院
【出 处】
：
中国科技信息
【发表日期】
：
2009年6期
其他文献
以现有的WIS系统数据库资源为基础，通过《人口与计划生育服务机构管理信息系统》的大型软件平台，网连各级服务机构现有医疗设备，植入生殖健康服务智能管理系统、站内管理信息系
<正>中共中央关于制定“九五”计划和2010年远景目标的建议,把实现经济与社会协调和可持续发展,作为重要的方针,提出要坚持把社会全面发展放在重要战略地位,并明确规定了社会发展的总体要求、主要任务和基本政策。这是在深刻分析我国基本国情、发展阶段和世界发展趋势的基础上作出的正确战略决策。
韩新民老师认为,注意力缺陷多动障碍（ADHD）共患睡眠障碍多为心肝火旺、阳亢阴虚、阴阳失交所致,病机总属脏腑功能失常,阴阳失调。以调和阴阳为治则,以清心平肝为治疗大法,在经
孙尚清谈国有企业改革在１９９５年１１月举行的中国生产力经济学研究会成立１５周年纪念会上，孙尚清作了主题发言。他指出，在深化国有企业改革、提高生产力实现经济增长方式的转变过程中，应着重认识和注意七个方面的问题：门）企业是实现经济体制和经济增长方式转变的...
介绍了一种简易的LOD地形可视化方法——Geomipmapping算法,阐述了该算法的理论基础和具体实现方法。实验结果表明,该方法对地形的模拟简单有效。
目的探讨大肠癌同时性肝转移的临床特点与诊治效果.方法对32例大肠癌同时性肝转移的临床资料进行回顾性总结分析.结果大肠癌同时性肝转移率为12.45%(32/257).肝转移灶手术除
附睾淤积症是输精管结扎术后一种常见并发症,据统计,发病率约为0.63%[1],笔者自1998年以来,采用穿刺近睾端输精管抽吸附睾部淤积的附睾液,消除附睾管壁张力性症状46例,效果较
为了确保水库大坝工程安全,要求水库原有水文自动测报系统与龙岩市洪水预警报系统联网,对黄岗水库水文自动测报系统部分站点技改提出了技术措施和对策。通过实施,测报系统运
贵在落实──学习江泽民关于全心全意依靠工人阶级讲话的精神李生林，张秋俭认真贯彻江泽民同志关于全心全意依靠工人阶级的讲话江泽民同志１９９５年在上海、长春召开的企业座谈会上的讲话中再一次强调指出：“全心全意依靠工人阶级，这是由我们党和国家的性质、工人阶级...
工程造价的高低与合理除了与预算知识有关外,很大程度上取决于施工方案的合理、先进与否;同样,工程造价计算准确与否将直接影响施工方案的优选。本文通过分析优化施工组织设