【摘 要】
：
随着半导体工艺的发展,片上存储器的设计容量和复杂度日益增长,传统的功能验证方法面临着验证完备性、可重用性、效率和可靠性等方面挑战.针对自主设计的某16路SIMD结构的大
论文部分内容阅读
随着半导体工艺的发展,片上存储器的设计容量和复杂度日益增长,传统的功能验证方法面临着验证完备性、可重用性、效率和可靠性等方面挑战.针对自主设计的某16路SIMD结构的大容量向量存储器(vector memory,VM)覆盖率驱动的验证方法进行研究,基于SystemVerilog验证方法学,采用层次化建模方法搭建了高效的VM验证平台,在较高抽象层次上实现了带约束的随机激励,结合SVA断言技术对向量存储器向量读访存流水线的同步与提交状态实时监控,保证了关键时序逻辑功能验证的完备性、正确性,有效提高了验证效率.
其他文献
髋关节表面置换技术的不断创新与发展,为年轻、活动量大的患者提供了一种全新的治疗方案。本文从髋关节表面置换的历史、现状、展望进行综述。介绍了髋关节表面置换的发展简
时代的进步也推动着观念的更新,随着我国经济市场的逐步建立和完善,诚实守信被越来越多的人们所关注。大学生群体作为国家的栋梁之才,代表先进的文化和先进的生产力,是社会主
对于部署在恶劣环境中且无法放置Sink节点的无线传感器网络，节点的能量有限且易于损坏．每个节点为了避免自己死亡后数据丢失，需要将数据分发到网络中其他一部分节点上进行保存．但
本文调查分析了我院大学生信息素质教育的现状,从而指出了图书馆开展大学生信息素质教育的优势和应采取的有效措施。
基于NAND闪存的存储设备通过引入闪存转换层来对闪存芯片进行封装，使得闪存存储设备像普通块设备一样使用．闪存转换层算法的性能很大程度上决定了闪存设备的存储性能，已有方法尽
随着人们对住宅平面和空间建筑要求的提高，较好适应小高层住宅建筑结构的短肢剪力墙结构体系逐渐形成，本文结合工作实际，对这一体系的设计进行分析。
在井下作业施工中,常常出现杆柱下不到井内现象,从而造成了不必要的返工,影响到施工时间。从生产实际出发,分析了出现返工的内在及外在原因,阐述了自己观点并给出了解决问题
传统财务理论是以理性人假设和有效市场假说为基础。然而,随着理论研究的深入,人们逐渐发现传统财务学所构建的理论模型与投资者的实际投资行为并不完全相符。非理性投资者实
数字图书馆的发展历史还很短暂,我国直到1996年才真正开始数字图书馆的实验.但其发展速度还是很快的,尤其是一些有规模、有基础、有技术的图书馆,其数字图书馆的建设已从最初
提出了两个新的高效的基于属性的环签名方案,签名者用其部分描述属性签署消息,所有拥有这些签名属性的用户组成一个环,环以外的成员不能伪造签名,并分别在随机预言模型和标准