基于断言的nandflash功能验证     

段理  游敏惠  郑建宏 《黑龙江科技信息》2008,(1):67-68

在目前功能性睦证技术中通常使用的是基于约束的随机测试。这只是解决了验证测试平台中的输入激励问题,但存在难以定位错误的缺点,在本文中把断言技术运用在基于约束的随机测试层次化（rvm）设计平台中。通过实时监控待验证的模块的接口信号,增强了debug能力;减小了验证工作量,并且以nandflash接口模块为例,用实际的验证表明可以缩短验证的时间,加快验证的进度。  相似文献   

唐醉石治印篆法初探     

段理 《华章》2012,(35)

唐醉石是现代杰出的金石书法家,其篆艺成就继浙派印艺之绝学,开新浙派之先河,同时与湖北武汉渊源深厚.本文拟从其印章的篆法着手,管中窥豹,体会唐醉石字形美,功力深的篆刻面貌.  相似文献   

浅谈学习高中物理的小技巧     

段理 《新课程学习(社会综合)》2012,(6)

高中课程难,物理学习最难.如何轻松地学好物理,现将学习物理的一些小方法、小技巧介绍如下: 一、尝试错误法 尝试错误法是一种从错误的解题方法中获得正确解题的方法,主要是指在对一个问题进行解决时,往往会选择一个解题方向,然后根据这个方向选择一种解题方法对问题进行试探性的解答,力求可以达到解题的目标,如果经过试探后仍然达不成解题目标,可以会从使用的错误方法中得到正确的启示. 在解题过程中可以通过尝试错误更加深入地理解概念、规律的实质;通过尝试错误的方法可以进一步归纳出科学的方法.  相似文献