王蕾
- 作品数：170 被引量：49H指数：4
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家科技重大专项更多>>
- 相关领域：自动化与计算机技术电子电信电气工程理学更多>>
- 一种片上多核处理器Cache一致性协议验证方法、系统及介质
- 本发明公开了一种片上多核处理器Cache一致性协议验证方法、系统及介质，本发明方法的步骤包括：针对执行待验证Cache协议的片上多核处理器加载执行测试程序，并跟踪片上网络的Cache相关报文，并通过记录板文件记录Cach...
- 罗莉周理潘国腾荀长庆冯权友周海亮铁俊波欧国东王蕾龚锐石伟任巨
- 基于扫描方式的寄存器复位方法及装置
- 本发明公开了一种基于扫描方式的寄存器复位方法及装置，方法步骤如下：1）将所有的寄存器构建扫描链，并且将扫描链中需要复位为1的寄存器的数据输入端和数据输出端分别串接一个非门；2）往扫描链头持续输入复位值0；寄存器复位装置包...
- 孙彩霞王永文张承义高军倪晓强窦强隋兵才陈微赵天磊王蕾黄立波
- 文献传递
- 一种支持单根双处理器中断通信的方法和装置
- 本发明涉及微处理器的微体系结构设计领域，具体涉及一种支持单根双处理器中断通信的方法和装置，本发明方法包括将根处理器或者非根处理器的中断请求映射到根处理器的中断控制单元，根处理器的中断控制单元分别对中断请求解包、获取相关配...
- 张剑锋龚锐张英石伟任巨刘威周理铁俊波王蕾周宏伟王永文
- 文献传递
- 一种支持差异度量的角色动态转换方法
- 本发明公开了一种支持差异度量的角色动态转换方法，目的是提供一种支持差异度量的角色动态转换方法，在不增加用户负担、不降低应用的灵活性的前提下，降低角色转换的风险。技术方案是先采用认证可信度推理的思想设计AT-PAM；AT-...
- 廖湘科李姗姗李文博何连跃吴庆波陈松政魏立峰王蕾彭绍亮
- 一种基于路径的模型检测方法
- 本发明公开了一种基于路径的模型检测方法，目的是提供一种使得模型检测与待检测系统复杂程度无关，检测难度降低的模型检测方法。技术方案是定义待检测系统的状态；划分操作类型并定义状态转换规则；生成状态转换序列并判定、验证，这一步...
- 赵栋罗军王蕾李姗姗魏立峰陈松政何连跃唐晓东黄辰林丁滟付松龄王晓川
- 文献传递
- 一种通用多核类脑处理器、加速卡及计算机设备
- 本发明公开了一种通用多核类脑处理器、加速卡及计算机设备，本发明的通用多核类脑处理器包括相互连接的数据交换接口模块和类脑处理单元，所述类脑处理单元包括由n*n个路由器R组成的呈C‑Mesh结构的片上网络，每一个路由器R独立...
- 王蕾杨智杰王耀石伟彭凌辉康子扬陈小帆徐炜遐
- 文献传递
- 处理器与内存间写阻塞式通信控制方法、部件、设备及介质
- 本发明公开了一种处理器与内存间写阻塞式通信控制方法、部件、设备及介质，本发明针对处理器需发往片外内存的访存请求以及来自片外内存的读响应分别进行不同处理：将读请求的目标地址存入存储表中并置为有效，发送至请求发送命令请求队列...
- 张英王蕾王永文周宏伟邓让钰杨乾明励楠冯权友曾坤
- Verilog时标问题的分析和解决方法
- (timescale)定义了Verilog模型的时间单位和精度,时标正确与否决定了模型是否能够正确工作,而时标定义引起的问题在模拟中往往很难发现.本文给出了一个解决时标问题的方案.在分析了时标问题产生的实质后,提出一个可...
- 邓宇吴学光龚锐郭御风王蕾
- 关键词：程序设计词法分析
- 一种面向类脑处理器的软硬协同验证方法及系统
- 本发明公开了一种面向类脑处理器的软硬协同验证方法及系统，本发明包括基于被验证类脑处理器的测试配置文件分别生成自动化编译文件、测试用例、测试顶层配置信息、类脑配置文件和分析配置文件；基于类脑配置文件为运行时验证框架中的类脑...
- 王蕾陈小帆杨智杰王耀石伟铁俊波彭凌辉王世英周干康子扬李石明
- 大规模Burst Mode异步控制电路分解与综合被引量：1
- 2009年
- 对于现有的Burst Mode异步控制电路综合方法而言,由于在状态归约与赋值阶段需要进行完备的状态空间搜索,面临状态空间爆炸问题,因此仅仅适用于中小规模控制电路。为了提高电路的综合规模,使得Burst Mode异步控制电路走向实用化,提出了一种新的大规模Burst Mode异步控制电路的综合方法:利用Burs tMode状态机所对应有向图的有向回路集合对状态机进行分解,得到相互独立的子状态机;对各子状态机进行调整,采用请求/应答信号实现相应子状态机之间的四段握手通信;设计接口状态机解决相应子状态机之间的仲裁问题。通过实例比较可知,该方法可以大幅度地提高综合规模,降低综合复杂度,减少综合时间。
- 阮坚王志英王蕾李勇
- 关键词：BURSTBURST逻辑综合
