论文部分内容阅读
本文介绍了应用于IP设计中的一种验证方式——形式化验证,及其在设计流程中的主要功能,并结合一个接口类的IP软核-VMI接口电路的设计,进行形式化验证,并给出实验结果.
IP软核的形式化验证
【摘 要】
：
本文介绍了应用于IP设计中的一种验证方式——形式化验证,及其在设计流程中的主要功能,并结合一个接口类的IP软核-VMI接口电路的设计,进行形式化验证,并给出实验结果.
【机 构】
：
合肥工业大学微电子设计研究所(合肥)
【出 处】
：
全国第十五届计算机科学与技术应用学术会议
【发表日期】
：
2003年期
其他文献
普通高中课程改革是基础教育领域的一场深刻变革。这项工作事关高素质人才的培养和全面实施素质教育的大局,涉及面宽,社会关注度高,改革的广度、深度和难度前所未有。作为市
文件传输是串口通信中经常遇到的一个问题,本文介绍了在Visual Basic6.0开发环境中,如何利用PComm实现远程文件传输的编程方法,对PComm的特点、软件设计方法进行了具体论述,
目的 探讨奥美拉唑联合克拉霉素治疗慢性肾炎的临床效果.方法 选取在我院进行治疗的慢性胃炎患者96例,随机分为对照组和治疗组,每组48例,对照组患者给予奥美拉唑20mg,口服,1
从美观实用的角度,开发了一种适用于小型水轮机调速器的标准液晶显示器.它通过标准的RS-232C串行通讯口,可连接到任何基于微机或PLC的调速器中.这种显示器经过简单的改进,可
小波变换具有时频局部化的特点,可有效地用于非平稳信号的分析和处理.因子隐Markov模型(FHMM)是隐Markov模型(HMM)的扩展形式,适用于动态过程的时间序列的建模并具有强大的时
会议
在我国实行改革开放以来，社会主义市场经济不断完善，国民经济飞速发展，但随之也出现了令人担忧的一些社会问题，腐败现象便是其中较为突出的问题之一。党和国家始终将反腐工作作为
为了解贵阳口岸及周边地区人群登革病毒感染状况,制订口岸更有效的防控措施,作者用ELISA 法(酶联免疫吸附试验)对755份血清样本进行登革病毒抗体检测,共检出登革病毒抗体阳性
边界扫描技术是符合IEEE规范的一种测试方法,它的设计的实现降低了测试的复杂度,适合进行超大规模集成电路的测试.本文介绍了边界扫描技术的概念、特点及其设计方法,给出了设
本文详细阐述了一种PC对PIC进行分布式控制的方案,同时提供了硬件电路框图、PIC软件算法流程图及PC端的VISUAL BASIC 6.0程序代码.