您的位置： 专家智库 > >

王朝辉

作品数：12 被引量：0H指数：0
供职机构：浪潮电子信息产业股份有限公司更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 12篇中文专利

领域

  • 5篇自动化与计算...

主题

  • 2篇信号
  • 2篇信号编码
  • 2篇一致性
  • 2篇异步
  • 2篇异步FIFO
  • 2篇预设
  • 2篇数据交互
  • 2篇数据链
  • 2篇数据链路
  • 2篇数据链路层
  • 2篇图像
  • 2篇图像编码
  • 2篇图像编码器
  • 2篇状态机
  • 2篇链路层
  • 2篇流控
  • 2篇局域
  • 2篇局域网
  • 2篇计算机
  • 2篇计算机局域网

机构

  • 12篇浪潮电子信息...

作者

  • 12篇王朝辉
  • 5篇王振江
  • 5篇钟俊华
  • 4篇李仁刚
  • 4篇童元满
  • 2篇周恒钊
  • 1篇邹晓峰
  • 1篇刘同强

年份

  • 1篇2021
  • 2篇2019
  • 3篇2017
  • 4篇2016
  • 2篇2015
共 12 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种验证模型的方法及装置
本发明提供了一种验证模型的方法及装置，该方法包括：首先确定待验证模型中的每一个变量的取值范围，从而获得该待验证模型的多个模型行为；对于每一个模型行为，均将其拆分为多个行为状态，且通过设置每一个行为状态的触发条件，以确定该...
王振江王朝辉钟俊华
文献传递
一种数据链路层的初始化的方法及装置
本发明提供了一种数据链路层的初始化的方法及装置，该方法，包括：S1：实时接收对端发来的参数交互报文，向对端发送携带用于初始化的参数的参数交互报文；S2：判断对端发来的参数交互报文是否正常，如果是，则执行步骤S3，否则，返...
王朝辉
一种基于节点控制器FPGA原型验证中的降频方法
本发明公开了一种基于节点控制器FPGA原型验证中的降频方法，涉及FPGA原型验证领域，该降频方法利用FIFO将输入的数据缓存起来，同时通过流控来控制对端系统发送的数据报文数量，其具体过程包括：在初始化过程中进行过滤的步骤...
王朝辉李仁刚童元满
文献传递
一种验证cache一致性协议的方法及装置
本发明提供了一种验证cache一致性协议的方法及装置，该方法，包括：预先设置cache一致性协议的协议表项，将每个协议表项与预设状态机的一个状态对应；预先根据所述状态机和所述协议表项，建立所述cache一致性协议的形式化...
王振江王朝辉钟俊华
一种验证协议的方法及装置
本发明提供了一种验证协议的方法及装置，该方法，包括：预先建立预设数量个CPU簇，其中，每个CPU簇中包括：CPU形式化模型和节点芯片形式化模型；运行每个CPU簇中的所述CPU形式化模型和所述节点芯片形式化模型，实现CPU...
王振江王朝辉钟俊华
一种基于FPGA的空间卫星通信复接方法
本发明公开了一种基于FPGA的空间卫星通信复接方法，其具体实现过程为：首先设置共用同一复接器的计算机局域网和IP电话局域网；分别将图像编码器、图像解码器连接两组独立的计算机局域网和IP电话局域网中的复接器；图像信号进入图...
王朝辉周恒钊童元满李仁刚
文献传递
一种基于节点控制器FPGA原型验证中的降频方法
本发明公开了一种基于节点控制器FPGA原型验证中的降频方法，涉及FPGA原型验证领域，该降频方法利用FIFO将输入的数据缓存起来，同时通过流控来控制对端系统发送的数据报文数量，其具体过程包括：在初始化过程中进行过滤的步骤...
王朝辉李仁刚童元满
一种验证cache一致性协议的方法及装置
本发明提供了一种验证cache一致性协议的方法及装置，该方法，包括：预先设置cache一致性协议的协议表项，将每个协议表项与预设状态机的一个状态对应；预先根据所述状态机和所述协议表项，建立所述cache一致性协议的形式化...
王振江王朝辉钟俊华
文献传递
一种数据链路层的初始化的方法及装置
本发明提供了一种数据链路层的初始化的方法及装置，该方法，包括：S1：实时接收对端发来的参数交互报文，向对端发送携带用于初始化的参数的参数交互报文；S2：判断对端发来的参数交互报文是否正常，如果是，则执行步骤S3，否则，返...
王朝辉
文献传递
一种验证协议的方法及装置
本发明提供了一种验证协议的方法及装置，该方法，包括：预先建立预设数量个CPU簇，其中，每个CPU簇中包括：CPU形式化模型和节点芯片形式化模型；运行每个CPU簇中的所述CPU形式化模型和所述节点芯片形式化模型，实现CPU...
王振江王朝辉钟俊华
文献传递
全选 清除 导出
共2页<12>
聚类工具0