论文部分内容阅读
针对伪随机方法生成微处理器功能验证程序缺乏完备性、灵活性的问题,构建一种用于生成验证程序的C＋＋约束函数库。以微处理器指令系统为对象,以约束满足问题的数学模型为理论依据,结合用户验证需求,利用约束函数库生成功能验证程序。验证结果表明,该方法开发验证程序简单、高效,加快了验证收敛速度。
基于约束求解的微处理器功能验证程序生成
【摘 要】
：
针对伪随机方法生成微处理器功能验证程序缺乏完备性、灵活性的问题,构建一种用于生成验证程序的C＋＋约束函数库。以微处理器指令系统为对象,以约束满足问题的数学模型为理论依
【机 构】
：
中国电子科技集团公司第三十二研究所
【出 处】
：
计算机工程
【发表日期】
：
2011年18期
其他文献
冤错刑事案件大体上可以分为三类普通冤案、典型冤案和非典型冤案。非典型冤错刑事案件包括关联冤案、罗织型冤案和次生冤案三类,总量巨大,影响广泛,而其形成机理、特点与典
最优投资消费问题主要研究的是在一定初始资金下,如何选择一种投资组合和消费方式,使得自身的消费体验和最终财富期望效用达到最大化的问题.本文主要讨论在有保证金的情况下,
蒙代尔在20世纪60年代提出的最优货币区理论是货币理论发展的重要里程碑。继蒙代尔之后,不同的经济学家又以各自独特的思想来发展最优货币区理论,运用的标准包括开放程度、产
建设新型主流媒体是党中央做出的战略决策部署,这也对广电媒体财务制度改革提出了新要求。我们应从财务核算、预算、资产等方面调整和完善广电媒体财务制度,为广电系统建设新
目的了解结核病（TB）病人中人类免疫缺陷病毒（HIV）感染情况，为制定TB／HIV双重感染提供防治对策。方法对就诊的活动性结核病人用酶联免疫吸附试验（ELISA）进行HIV初筛，初筛阳性者血标本用
对一个代理多重签名方案进行分析，指出该方案中存在的安全性漏洞，包括代理授权的不当会导致代理人有能力修改代理授权证书，所有原始签名人合谋可以伪造出代理人的数字签名，原始签
当前课改新理念已经深入人心、进入课堂,但是语文课堂教学中传统的弊端依然存在,建立充满生命活力的语文课堂是当务之急。
At present, the new concept of curricular refo
提取车牌字符的Haar特征作为输入,通过级联的神经网络分类器对其进行识别,以定位车牌字符的位置,并根据所得车牌字符位置的相对关系确定车牌位置。该方法不需要进行倾斜矫正,减少了车牌定位后进行字符分割时的工作量。实验结果表明,该方法能准确快速地定位并分割车牌。
Wi-Fi定位中用户移动终端计算能力差,提供的能量有限。为此,提出一种基于信号强度聚类的快速定位算法,依据接收信号强度的相似度对参考点分组再定位,从而减少定位计算量,提高