-
公开(公告)号：CN106528359A
公开(公告)日：2017-03-22
申请号：CN201611073972.9
申请日：2016-11-29
Applicant: 北京时代民芯科技有限公司 , 北京微电子技术研究所
IPC: G06F11/22 , G11C11/413
CPC classification number: G06F11/2273 , G11C11/413
Abstract: 本发明公开了一种外部存储器校验位的可观测性方法，包括：从外部存储器中获取待观测存储对象对应的第一校验位；其中，所述待观测存储对象位于所述外部存储器的观测有效区域；将所述第一校验位保存在本地；调用观测程序，读取保存在本地的第一校验位，将所述第一校验位作为可观测校验位输出；其中，所述观测程序位于所述外部存储器内、所述观测有效区域之外。通过本发明避免了观测程序本身携带的校验位对待观测存储对象对应的第一校验位的覆盖，实现了对校验位的实时观测，降低了成本。
-
公开(公告)号：CN105404572A
公开(公告)日：2016-03-16
申请号：CN201510898495.9
申请日：2015-12-08
Applicant: 北京时代民芯科技有限公司 , 北京微电子技术研究所
CPC classification number: G06F11/261 , G06F12/08
Abstract: 一种基于遍历搜索存储模型的Cache系统形式化验证方法，本方法提出采用基于模型检查的形式化验证方式对Cache控制单元进行验证。形式化验证方法是由输出驱动的，用户只需要根据需求编写相关的断言语句而不需要关心输入激励的产生，同时建立一个遍历搜索的Cache memory模型，并通过数学方法进行模型检查最终达到验证的目的，这样可以遍历所有的可能和相关状态条件。本发明利用形式化验证的数学穷举特性，对指令Cache和数据Cache分别建立了遍历搜索Cache memory模型，实现了Cache控制单元的准确验证，缩短了验证的时间周期，同时提高了验证的可控性和灵活性。
-
公开(公告)号：CN118353858A
公开(公告)日：2024-07-16
申请号：CN202410387774.8
申请日：2024-04-01
Applicant: 北京微电子技术研究所 , 北京时代民芯科技有限公司
IPC: H04L49/201 , H04L61/5069
Abstract: 本发明公开了一种基于SpaceWire的高可靠多播系统，包括路由表、多播寄存器组、重发数据包备份模块、SpaceWire数据接收错误寄存器组、自动重传选择模块、接收数据包SpaceWire接口、发送数据包SpaceWire接口。其中，路由表包含一组自适应寄存器，每个寄存器可以请求位确定逻辑地址仲裁的发送数据包SpaceWire接口；多播寄存器组起到配置SpaceWire端口2～n多播的作用；SpaceWire数据接收错误寄存器组起到目的端口发生错误时，重新配置相应错误SpaceWire端口2～n多播的作用；自动重传选择模块和重发数据包备份模块协同运行，自动选择模块触发时重发数据包备份模块相应进行；接收数据包SpaceWire接口包含1个端口、发送数据包SpaceWire接口包含2～n(n
-
公开(公告)号：CN117331881A
公开(公告)日：2024-01-02
申请号：CN202311285034.5
申请日：2023-10-07
Applicant: 北京微电子技术研究所 , 北京时代民芯科技有限公司
IPC: G06F15/173 , G06F13/40
Abstract: 本发明属于集成电路设计技术领域，具体涉及一种适用于宇航chiplet互联协议的数据传输系统，旨在解决chiplet系统内基板上各芯片间互联与通信的传输速度低下的问题。本系统包括：事务层，配置为生成事务层数据包并仲裁；还配置为将接收的数据链路数据包转化为事务层数据包；数据链路层，配置为对接收的事务层数据包进行缓存并校验；还配置为对接收的物理层数据包进行校验；物理层，配置为对接收的数据链路数据包进行字节拆分并加扰处理；还配置为接收互联的chiplet发送的数据包并进行解扰、字节重组处理。本发明有效实现chiplet高速可靠的数据传输，同时便于chiplet之间的互联与拓展。
-
公开(公告)号：CN116521231A
公开(公告)日：2023-08-01
申请号：CN202310362519.3
申请日：2023-04-06
Applicant: 北京时代民芯科技有限公司 , 北京微电子技术研究所
Abstract: 一种用于SPARC V8指令集动态仿真验证的参考模型，包括存储单元，指令预处理单元，陷阱处理单元，指令执行单元及寄存器堆。存储单元用于存储指令与数据；指令预处理单元从存储单元中取指令码，将指令码按照SPARC V8指令集的定义进行翻译，提取指令类型、操作数等；陷阱处理单元判断是否进入陷阱，进入陷阱后会改变处理器的工作状态，并进入陷阱处理程序；寄存器堆用于存放指令的执行结果以及处理器的工作状态及控制信息。本发明可实现待测代码与检测器的解耦，极大地降低了验证平台的维护成本，节省了大量的验证时间，提升验证效率。
-
Patent Agency Ranking
公开(公告)号：CN114462591A
公开(公告)日：2022-05-10
申请号：CN202111592468.0
申请日：2021-12-23
Applicant: 北京时代民芯科技有限公司 , 北京微电子技术研究所
IPC: G06N3/08
Abstract: 一种动态量化神经网络的推理方法，属于神经网络量化技术领域，应用于FPGA/ASIC神经网络专用硬件。本发明包括：使用测试集对待量化神经网络的单精度浮点模型进行推理，统计单精度浮点模型每层输出张量的最大绝对值；根据每层输出张量的最大绝对值估计量化模型各层输出张量的比例因子；使用该比例因子统计值作为量化神经网络模型的计算参数，代替量化模型推理中每层输出张量的比例因子计算。本发明改善了现有神经网络量化模型在推理中比例因子计算复杂的问题。
-
公开(公告)号：CN112597087A
公开(公告)日：2021-04-02
申请号：CN202011529549.1
申请日：2020-12-22
Applicant: 北京时代民芯科技有限公司 , 北京微电子技术研究所
IPC: G06F13/40 , G06F1/3234
Abstract: 本发明涉及一种高可靠低功耗数据一致星载处理器互连结构，包含了低功耗管理单元、高可靠管理单元及数据一致性管理单元。其中低功耗管理单元通过低数据翻转算法和多频率域设计等方法实现互连结构的低功耗设计；高可靠管理单元主要利用总线分离传输机制、定时轮询监测机制和错误响应及时处理方法实现数据的可靠传输；数据一致性管理单元通过仲裁、请求重分配、监听过滤和监听缓存等方式实现互连结构多个主设备之间的数据互通，保证数据的一致。
-
公开(公告)号：CN108234337B
公开(公告)日：2021-01-08
申请号：CN201711278265.8
申请日：2017-12-06
Applicant: 北京时代民芯科技有限公司 , 北京微电子技术研究所
IPC: H04L12/775 , G06F13/38
Abstract: 本发明公开了一种支持主机接口的SpaceWire总线路由器，包括SpaceWire端口模块、路由交换控制模块、配置端口模块、寄存器组和主机接口模块。SpaceWire端口模块用于将SpaceWire链路上的数据发送给路由交换控制模块或将路由交换控制模块的数据发送到SpaceWire链路上；路由交换控制模块用于数据在SpaceWire端口模块、配置端口模块和主机接口模块之间的路由控制；配置端口模块解析RMAP命令包；寄存器组用于路由器配置以及状态监测；主机接口模块用于与外部处理器连接，支持外部处理器对SpaceWire总线路由器的读写操作。本发明降低了系统的复杂度，扩展了访问方式，提升了数据传输可靠性。
-
公开(公告)号：CN108235010B
公开(公告)日：2020-09-11
申请号：CN201711332475.0
申请日：2017-12-13
Applicant: 北京时代民芯科技有限公司 , 北京微电子技术研究所
IPC: H04N19/122 , H04N19/13 , H04N19/176 , H04N19/423 , H04N19/61
Abstract: 一种适应性变动长度实时编码器及编码方法，编码器包括预处理模块、编码模块和包装模块。使用了“两组系数存储空间”的预处理模块和“串并组合式的熵编码”的编码模块对编码器的结构进行了优化，实现高效率的编码，满足实时编码的要求。
-
公开(公告)号：CN106487673B
公开(公告)日：2019-06-04
申请号：CN201611122831.1
申请日：2016-12-08
Applicant: 北京时代民芯科技有限公司 , 北京微电子技术研究所
IPC: H04L12/703
CPC classification number: Y02D50/10
Abstract: 一种基于三模冗余的检错重传容错路由单元，包括仲裁单元、交换开关、解码模块、四个端口输入单元以及一个本地输入单元。仲裁单元对输入数据包进行输出顺序控制，得到控制信号输出给交换开关。交换开关根据该控制信号将输入数据包依次有序输出。解码模块对到达目的节点的数据进行解码校验。每个端口输入单元用于接收一个方向的输入数据包，进行差错校验后计算路由路径，根据下一级路由器反馈的链路状态和重传请求输出数据包。本地输入单元接收本地端口输入的数据，打包处理，经过差错校验后计算路由路径，根据目的节点的链路状态和重传请求输出数据包。本发明提高了数据包的传输可靠性，兼顾了传输延时、面积、功耗等性能要求。
-
-
-
-
-
-
-
-
-
Search Results
87
records
(took 0.088 seconds)
