论文部分内容阅读
本文讨论了如何利用高阶逻辑描述硬件的行为及结构,提出了硬件验证的一般方法,高阶逻辑不仅可以作为一种描述语言用来描述硬件的行为及结构,而且可以作为证明系统用来验证硬件设计的正确性,文中给出的用以说明描述及验证的例子包括CMOS反相器、复位的奇偶校验器。
基于高阶逻辑的硬件验证方法
【摘 要】
：
本文讨论了如何利用高阶逻辑描述硬件的行为及结构,提出了硬件验证的一般方法,高阶逻辑不仅可以作为一种描述语言用来描述硬件的行为及结构,而且可以作为证明系统用来验证硬
【机 构】
：
西安电子科技大学计算机系,西安电子科技大学计算机系西安710071,西安710071
【出 处】
：
计算机学报
【发表日期】
：
1993年10期
【基金项目】
：
国家自然科学基金
其他文献
无论从可能性,还是现实性而言,马克思政治伦理思想的存在都是确凿的。马克思政治伦理思想实现了思维方式和价值观上面的变革,超越了西方传统政治伦理思想,破解了西方传统政治
根据心电图做出诊断：患者男，63岁，间断胸骨后疼痛6个月，加重3d入院。入院后记录到心电图1，请根据心电图做出分析和诊断，并说出诊断依据（答案见本刊第53页）。
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
地籍控制测量（续）吕永江国家测绘局测绘标准化研究所７１００５４）三、地籍控制网点的测量（一）地籍测量的基本设备及其技术要求１．经纬仪我国的经纬仪分为ＤＪ０７、ＤＪ１、ＤＪ２、ＤＪ６、ＤＪ３０等五个系列。各系列经纬仪一测回水平方向标准偏差（中误差）的规...
针对超硬模具微结构磨削过程中金刚石砂轮V形尖端几何精度难以保证以及修整困难等问题,提出碳化硅修整轮切向磨削修整方法,采用不同修整参数对树脂结合剂和金属结合剂金刚石
贵州省为典型喀斯特山区,强烈的人类活动主要分布在坝地地区,研究坝子土地利用功能演变对土地可持续利用具有重要价值。基于土地利用变化,根据三生功能理论构建土地利用功能
利率市场化改革是我国正在进行的改革之一。中国的商业银行可以借此提高自身的竞争力,以此来应对经济新常态下各种可能的挑战。鉴于此,本文希望通过分析利率市场化对商业银行