【摘 要】
：
根据微处理器运算单元功能较多的特点,基于覆盖率的验证方法,设计一种自检查的测试程序生成器（SATG）验证方法。SATG采用一种＂闭环＂结构,并以功能覆盖率量化分析为核心,使用随机生
【机 构】
：
中国电子科技集团公司第三十二研究所
【基金项目】
：
上海市自然科学基金资助项目“嵌入式CPU”（B17AI060-07139）
论文部分内容阅读
根据微处理器运算单元功能较多的特点,基于覆盖率的验证方法,设计一种自检查的测试程序生成器（SATG）验证方法。SATG采用一种＂闭环＂结构,并以功能覆盖率量化分析为核心,使用随机生成和约束求解的方法,自动生成验证程序。实验结果表明,该方法在微处理器运算单元的验证中,能提高验证效率和覆盖率,增强验证平台的可重用性。
其他文献
针对多目标检测与跟踪技术的应用要求,提出一种用于交通场景的实时多目标跟踪方法。设计背景建模算法和基于角点动态特征的分层跟踪算法,利用背景建模算法提取视频帧前景,并在前景区域运用分层跟踪算法,包括Corner、Cluster和Object 3层架构,通过在不同层之间引入对应的聚类算法,以实现目标跟踪。实验结果表明,该方法适用于多数交通场景,对光照、阴影具有较强的鲁棒性。
通过分析作品中的寄托手法来引导学生鉴赏古诗文是一个新的教学视角,以苏轼作品为例,从指导学生如何欣赏文学作品中的寄托手法,进而更全面深入地品析作品全貌角度切入,探讨寄
随着素质教育的不断推进和新课程改革的日益深入,思维能力培养变得越来越重要。但历史教学在培养学生历史思维能力方面的现状却不容乐观,一些教师只看考试成绩和升学率,对学
规模估算是项目估算的基础,然而针对面向服务体系结构（SOA）系统的规模估算没有一个有效的解决方案。为此,探讨全功能点方法在估算SOA系统规模中的应用,在研究全功能点方法及业
目前我国社区教育存在诸多问题,远远不能满足当前社会发展需要和人民群众日益增长的精神文化需求。鉴于此,文章阐述了社区教育供给侧的涵义,采取一些措施来开展社区教育供给
互文,作为一种修辞手法,平行并列的两个相邻的句子之间具有交错呼应,补充说明的关系.在古诗文阅读中,只有掌握其规律特点,才能正确地理解诗文意义,并能化难为易,触类旁通.
多数P2P网络信任管理模型无法准确计算节点间的推荐信任值,且节点交易过程中不能有效防止恶意推荐。为此,提出一种基于信任迭代的信任管理模型,通过引入信任迭代、推荐可信度
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
区域物流环境是区域投资环境的重要组成部分。区域物流平台一般包括物流基础设施类、物流设备类和物流标准类等三类平台。湘南承接产业转移示范区设立以来,湘南三市在物流基
质量管理是企业管理的核心内容,在汽油发动机制造业显得尤为重要,要提升发动机产品质量的整体水平,就要确保发动机润滑系统良好,油底壳清洁度却是发动机润滑系统的测量指标.