论文部分内容阅读
高效、可靠、全面的验证工作是可重用IP核开发成功的保证。本文针对可重用IP软核的验证过程进行研究,主要从RTL级功能验证、静态时序分析和RTL级与网表之间的形式化验证三个方面入手,研究了当前主流的验证方法,分析各种方法的优点和存在的缺陷,并给出了建议性的解决方法。
可重用IP核验证方法研究
【摘 要】
：
高效、可靠、全面的验证工作是可重用IP核开发成功的保证。本文针对可重用IP软核的验证过程进行研究,主要从RTL级功能验证、静态时序分析和RTL级与网表之间的形式化验证三个
【机 构】
：
湖南公安高等专科学校计算机系
【出 处】
：
科技资讯
【发表日期】
：
2008年26期
其他文献
结合"沈阳市利用世界银行贷款发展节水灌溉项目"中自主管理灌排区(SIDD)灌溉管理模式的引进和应用,系统介绍了沈阳市"SIDD"的建立过程及主要创新点.
"数字地球"概念的提出促进了地形三维可视化的快速发展,本文以大区域地形三维可视化为研究对象,详细阐述了三维可视化的研究意义,研究进展及应用领域,而后讨论了基于二叉树的大地形实时可视化算法,最后,笔者详细阐述了大区域三维可视化的发展方向。
以焉耆盆地为例 ,采用BP网络技术 ,对土壤含盐量与各种影响因素的关系作了初步定量评价 ,发现潜水矿化度和潜水位埋深是土壤含盐量的最敏感因素 ,其次是灌区引水量、引盐量和地下水蒸发量 ,其中灌区引水量大是焉耆盆地土壤次生盐渍化加剧的最主要因素 ;而潜水位埋深是土壤脱盐最敏感的因素。焉耆盆地土壤次生盐渍化防治应从减少灌溉引水量和降低地下水位入手。
阐述了雨水资源的利用现状,总结了长沙河流域雨水资源的特点,探讨了干旱风沙区雨水资源化的意义,估算了长沙河流域雨水资源化的潜力,分析了长沙河流域雨水利用的方式及对当地
建设项目用地审批需要提交土地勘测定界图,通过分析土地勘测定界图与地形图、地籍图及土地利用现状图的异同,探讨了如何利用"三图"编绘土地勘测定界图,并提供了方法和实例,应用这种方法不仅精度高、劳动强度小并且可以极大提高工作效率。
目前水利电力系统许多通过一点多址微波通信的偏僻站点,因通信传输方式制约了计算机联网,本文提出的利用一点多址微波的四线EM电路通过软件及硬件设置作为计算机联网传输链路
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
南方水稻种植期间害虫轮流发生,以稻飞虱、稻纵卷叶螟、二化螟、三化螟的危害性最大,为了降低水稻害虫的发生率,防止农药的滥用,最好是采用物理防治。试验根据害虫的趋光性的
移动卫星通信代表了未来通信的发展方向,笔者在工作之余,在参考大量通信卫星相关资料的基础上,深度探讨了卫星通信的定义,特点和国内外发展状况,相信对从事移动通信的同行有