首页> 中国专利> 基于全局约束的锁指令伪随机自比较验证模型的实现方法

基于全局约束的锁指令伪随机自比较验证模型的实现方法

页面导航

摘要
著录项
法律信息
相似文献

摘要

本发明涉及一种基于全局约束的锁指令伪随机自比较验证模型的实现方法，包括以下步骤：建立能够被测试情景和测试序列库可见的锁共享结构；按照全局约束生成锁共享结构表，其中锁共享结构表至少包括2个锁共享结构；随机选取一个锁共享结构给核心执行；上锁成功后，对锁共享结构的临界区地址内容和全局临界区变量进行更新；对所述锁共享结构进行释放；当所有核心都完成锁执行操作后，由随机指定一个核心对锁共享结构表中的所有锁共享结构进行遍历检查。本发明解决了现有测试方法中存在的测试激励随机性差、代码繁琐、继承性差、维护困难及测试情景单一等问题，同时实现对测试结果正确性的校验，增加了环境的兼容性。

著录项

公开/公告号CN110688093A

专利类型发明专利
公开/公告日2020-01-14

原文格式PDF
申请/专利权人上海高性能集成电路设计中心;
展开▼

申请/专利号CN201910859149.8
发明设计人胡向东;蒋祥鹏;巨鹏锦;罗先伟;徐小沛;
展开▼

申请日2019-09-11
分类号
代理机构上海泰能知识产权代理事务所;
代理人宋缨
地址 200120 上海市浦东新区张江高科园区毕升路399号
入库时间 2023-12-17 06:13:26

法律信息

法律状态公告日

法律状态信息

法律状态
2020-02-11

实质审查的生效 IPC(主分类):G06F7/58 申请日:20190911

实质审查的生效
2020-01-14

公开

公开

相似文献

专利
中文文献
外文文献

1. 基于全局约束的锁指令伪随机自比较验证模型的实现方法 [P] . 中国专利： CN110688093A . 2020-01-14
2. 一种伪随机激励生成器的基于双向约束树指令集实现方法 [P] . 中国专利： CN111125996A . 2020-05-08
3. APPARATUS AND METHOD FOR GENERATING PSEUDORANDOM QAPPARATUS AND METHOD FOR GENERATING PSEUDORANDOM QUANTITIES BASED UPON RADIO CHANNEL CHARACTERISTICSUANTITIES BASED UPON RADIO CHANNEL CHARACTERISTICS [P] . 世界知识产权组织专利： WO9623376A3 . 1997-01-16

机译：产生伪随机QAP的装置和方法基于无线电信道特性产生伪随机量的装置和方法基于无线电信道特性产生的伪随机量的装置和方法
4. SYSTEM AND METHOD FOR GENERATING PSEUDO-RANDOM INSTRUCTIONS FOR DESIGN VERIFICATION [P] . 欧洲知识产权局专利： EP0818002B1 . 2002-12-18

机译：生成伪随机指令进行设计验证的系统和方法
5. SYSTEM AND METHOD FOR GENERATING PSEUDO-RANDOM INSTRUCTIONS FOR DESIGN VERIFICATION [P] . 欧洲知识产权局专利： EP0818002A1 . 1998-01-14

机译：生成伪随机指令进行设计验证的系统和方法