论文部分内容阅读
本文讨论了如何利用高阶逻辑描述硬件的行为及结构,提出了硬件验证的一般方法,高阶逻辑不仅可以作为一种描述语言用来描述硬件的行为及结构,而且可以作为证明系统用来验证硬件设计的正确性,文中给出的用以说明描述及验证的例子包括CMOS反相器、复位的奇偶校验器。
基于高阶逻辑的硬件验证方法
【摘 要】
：
本文讨论了如何利用高阶逻辑描述硬件的行为及结构,提出了硬件验证的一般方法,高阶逻辑不仅可以作为一种描述语言用来描述硬件的行为及结构,而且可以作为证明系统用来验证硬
【机 构】
：
西安电子科技大学计算机系,西安电子科技大学计算机系西安710071,西安710071
【出 处】
：
计算机学报
【发表日期】
：
1993年10期
【基金项目】
：
国家自然科学基金
其他文献
无论从可能性,还是现实性而言,马克思政治伦理思想的存在都是确凿的。马克思政治伦理思想实现了思维方式和价值观上面的变革,超越了西方传统政治伦理思想,破解了西方传统政治
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
针对超硬模具微结构磨削过程中金刚石砂轮V形尖端几何精度难以保证以及修整困难等问题,提出碳化硅修整轮切向磨削修整方法,采用不同修整参数对树脂结合剂和金属结合剂金刚石
贵州省为典型喀斯特山区,强烈的人类活动主要分布在坝地地区,研究坝子土地利用功能演变对土地可持续利用具有重要价值。基于土地利用变化,根据三生功能理论构建土地利用功能
利率市场化改革是我国正在进行的改革之一。中国的商业银行可以借此提高自身的竞争力,以此来应对经济新常态下各种可能的挑战。鉴于此,本文希望通过分析利率市场化对商业银行