论文部分内容阅读
该文提出了一种用于微处理器体系结构级测试程序自动生成的约束描述语言。并设计实现了该语言的编译器。详细介绍了语言特性以及为了生成合法体系结构级测试程序．编译器所做的特殊处理。最后给出了利用该语言对DLX微处理器进行验证的实验和结果。
面向微处理器验证的约束描述语言及其编译器
【摘 要】
：
该文提出了一种用于微处理器体系结构级测试程序自动生成的约束描述语言。并设计实现了该语言的编译器。详细介绍了语言特性以及为了生成合法体系结构级测试程序．编译器所做的
【机 构】
：
国防科技大学计算机学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2005年19期
其他文献
该文根据求解离散对数问题的困难性和Schnorr签名方案的安全性，参考现有的一种群签名方案，研究群签名技术在电子支付实践中的应用。受该方案的启发，通过详细分析该签名方案的优
为了加强大学生创新实践训练,探索天然药物化学实验教学,探讨了在天然药物提取分离过程中结合生物活性测定的技术,设计综合教学实验。通过实验设计,有助于学生在掌握天然药物
基于体验经济的时代大背景,深入探究女性健身俱乐部的内容构成要素以及用户体验设计特性,挖掘纯女性环境健身所赋予女性会员的真实价值。通过对女性健身俱乐部的背景分析,并
痧在肌肤当刮，痧在血络宜放，痧在肠胃则应内治。若痧气肆行不拘表里、内外证皆见者则三法兼用，这些痧证急救处理原则及大法多有定论。而临床所见，无论寒痧、热痧、绞肠痧等均有轻
艺术可以创造出表现情感生活的形式,动画作为影视艺术,主要通过对故事题材表现的形式来表现情感,并且在故事题材表现上有着独特的表现特点。法国动画电影一直以坚持独特的创
小学阶段是培养学生数学思维、数学思想的重要时期,对学生之后的数学课程学习质量有直接的影响。本文从课堂较为枯燥、数学思想渗透不足,两个角度对小学数学教学现状进行了分
提出了一种基于人工神经网络的计算机立体视觉测量方法,应用神经网络技术可以化简视觉定位系统的标定和位置计算,从而减少了位置检测系统使用复杂性。利用动量-自适应学习率BP算法可提高学习速度并增加了算法的可靠性。实验表明,人工神经网络的定位方法简化了视觉定位系统标定与定位计算的复杂性,在定位精度上达到了良好效果。为机器人视觉伺服提供了有效的技术途径。
摘要：本文通过对四川省农村规划的基层工作认知以及农村对规划人才需求实地考察与调研，分析农村基层规划的实与虚，发现新农村建设过程中出现的资源浪费，空心村等问题在很大的程度上是由于农村基层规划在编制与实施阶段存在问题，研究农村基层规划中对于编制与实施的过程中问题应采取的对策和措施，以期通过合理的农村规划，建设新农村，实现城乡快速一体化发展。 关键词：新农村建设；基层规划；实；虚；对策 1 引言
随着我国经济体制改革和能源结构调整的不断深入,国家不再追求经济发展的速度,而更加重视经济发展的质量,煤炭行业的市场竞争压力越来越大,税负带给企业的影响越来越突出,加