-
公开(公告)号：CN108182164A
公开(公告)日：2018-06-19
申请号：CN201711232993.5
申请日：2017-11-30
Applicant: 北京时代民芯科技有限公司 , 北京微电子技术研究所
IPC: G06F13/42
Abstract: 一种数据地址自适应转换的SoC接口电路及访问方法，SoC接口电路包括：方向控制direction信号的生成模块、数据与地址的选择sel信号的生成模块、地址锁存允许ALE信号的生成模块和双向缓冲生成模块。本发明通过对处理器独立的地址、数据到CAN总线控制器8位地址、数据复用通道的接口电路设计，实现了处理器对CAN总线控制器的数据地址自适应转换。本发明利用双向缓冲生成模块实现了地址、数据分时复用，简化了设计，提高了工作效率。
-
公开(公告)号：CN105426160B
公开(公告)日：2018-02-23
申请号：CN201510762294.6
申请日：2015-11-10
Applicant: 北京时代民芯科技有限公司 , 北京微电子技术研究所
IPC: G06F9/30
Abstract: 基于SPRAC V8指令集的指令分类多发射方法。该方法将SPARC V8指令划分为四个类别，将SPRAC V8处理器划分为取指、译码、执行、访存、写回五个流水级，五个流水级之间通过公共数据总线连接，通过在取指级增加n‑1条取指通路，在译码级增加n‑1个译码单元，在译码级和执行级之间加入n组保留站，在执行级和访存级之间加入重排序缓冲区在执行级加入对应的执行单元，为SPRAC V8处理器建立了多发射五级流水线结构，通过保留站检测并行指令之间的冲突，通过不同的执行单元处理不同的指令，最后由重排序缓冲区对指令执行结果按序提交，实现了指令的并行执行，提高了SPRAC V8处理器的处理性能。
-
公开(公告)号：CN105404572B
公开(公告)日：2017-10-31
申请号：CN201510898495.9
申请日：2015-12-08
Applicant: 北京时代民芯科技有限公司 , 北京微电子技术研究所
IPC: G06F11/26 , G06F12/0802
Abstract: 一种基于遍历搜索存储模型的Cache系统形式化验证方法，本方法提出采用基于模型检查的形式化验证方式对Cache控制单元进行验证。形式化验证方法是由输出驱动的，用户只需要根据需求编写相关的断言语句而不需要关心输入激励的产生，同时建立一个遍历搜索的Cache memory模型，并通过数学方法进行模型检查最终达到验证的目的，这样可以遍历所有的可能和相关状态条件。本发明利用形式化验证的数学穷举特性，对指令Cache和数据Cache分别建立了遍历搜索Cache memory模型，实现了Cache控制单元的准确验证，缩短了验证的时间周期，同时提高了验证的可控性和灵活性。
-
公开(公告)号：CN106775855A
公开(公告)日：2017-05-31
申请号：CN201611117877.4
申请日：2016-12-07
Applicant: 北京时代民芯科技有限公司 , 北京微电子技术研究所
IPC: G06F9/445
Abstract: 本发明公开了一种基于eclipse的flash烧写方法、插件和系统，其中，所述方法包括：确定第一初始化信息和第二初始化信息；第一初始化信息包括：调试支持单元DSU的串口号和波特率、处理器的型号、以及存储器控制寄存器的配置值；第二初始化信息包括：通信串口号和波特率；根据第一初始化信息对处理器进行初始化；在处理器初始化完成之后，根据第二初始化信息，对上位机和下位机进行握手测试；在握手成功后，根据烧写配置信息，将待烧写数据下载并烧写到下位机的flash中；烧写配置信息包括：flash的位宽、型号和擦除区域。通过本发明解决了现有flash烧写方式存在的烧写难度大、操作繁琐、效率低和通用性差的问题。
-
公开(公告)号：CN106528359A
公开(公告)日：2017-03-22
申请号：CN201611073972.9
申请日：2016-11-29
Applicant: 北京时代民芯科技有限公司 , 北京微电子技术研究所
IPC: G06F11/22 , G11C11/413
CPC classification number: G06F11/2273 , G11C11/413
Abstract: 本发明公开了一种外部存储器校验位的可观测性方法，包括：从外部存储器中获取待观测存储对象对应的第一校验位；其中，所述待观测存储对象位于所述外部存储器的观测有效区域；将所述第一校验位保存在本地；调用观测程序，读取保存在本地的第一校验位，将所述第一校验位作为可观测校验位输出；其中，所述观测程序位于所述外部存储器内、所述观测有效区域之外。通过本发明避免了观测程序本身携带的校验位对待观测存储对象对应的第一校验位的覆盖，实现了对校验位的实时观测，降低了成本。
-
Patent Agency Ranking
公开(公告)号：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控制单元的准确验证，缩短了验证的时间周期，同时提高了验证的可控性和灵活性。
-
公开(公告)号：CN109271282B
公开(公告)日：2022-01-11
申请号：CN201811035348.9
申请日：2018-09-06
Applicant: 北京时代民芯科技有限公司 , 北京微电子技术研究所
IPC: G06F11/14
Abstract: 一种单粒子多位错自主修复三冗余流水线设计方法，采用三条流水线并行处理相同的指令流；在三条流水线的每一级后均设有表决仲裁逻辑电路和错误纠正控制逻辑电路；所述三条流水线的每一级后的表决仲裁逻辑电路用于对三条流水线在该级输出的数据进行判断，然后输出判断结果给错误纠正控制逻辑电路；所述错误纠正控制逻辑电路根据表决仲裁逻辑电路的判断结果，对可能存在的数据错误进行纠正。该方法提高了流水线可靠性又兼顾了流水级间延迟性能要求。
-
公开(公告)号：CN110995604B
公开(公告)日：2021-09-28
申请号：CN201911193639.5
申请日：2019-11-28
Applicant: 北京时代民芯科技有限公司 , 北京微电子技术研究所
IPC: H04L12/775
Abstract: 本发明公开了一种扩展SpaceWire端口的SpaceWire路由器级联结构，包括SpaceWire路由器A和SpaceWire路由器B。SpaceWire路由器A和SpaceWire路由器B都包含SpaceWire端口和外部并行端口，外部并行端口包括发送FIFO和接收FIFO，SpaceWire路由器A的接收FIFO连接SpaceWire路由器B的发送FIFO，SpaceWire路由器A的发送FIFO连接SpaceWire路由器B的接收FIFO，通过这种级联方式，节省了额外硬件资源，扩展了SpaceWire路由器的SpaceWire端口，提升了SpaceWire网络的传输效率。
-
公开(公告)号：CN108535626B
公开(公告)日：2021-06-08
申请号：CN201711477725.X
申请日：2017-12-29
Applicant: 北京时代民芯科技有限公司 , 北京微电子技术研究所
IPC: G01R31/28
Abstract: 一种SOC单粒子测试的全自动测试装置，包括主机、SOC测试板和程控电源；所述SOC测试板包括flash、被测SOC芯片和上电复位电路；所述主机通过指令命令被测SOC芯片依次遍历被测SOC芯片内的存储区域或者模块，被测SOC芯片获得遍历结果后以固定周期发送给主机；主机接收并存储被测SOC芯片发送的遍历结果；同时主机监测并存储被测SOC芯片发送遍历结果的状态和程控电源的电流，主机还用于控制程控电源的断电和加电；主机利用被测SOC芯片发送的遍历结果和被测SOC芯片发送遍历结果的状态，然后采用统计方法完成被测SOC芯片的测试。同时本发明还包括一种SOC单粒子测试的全自动测试方法。
-
公开(公告)号：CN108038283B
公开(公告)日：2021-06-08
申请号：CN201711234558.6
申请日：2017-11-30
Applicant: 北京时代民芯科技有限公司 , 北京微电子技术研究所
IPC: G06F30/398
Abstract: 本发明涉及一种虚拟时钟同步的高效高覆盖率SoC验证平台，包括双时钟模块：产生系统所需要的两种时钟信号；待验证模块：执行随机指令，并反馈执行结果；参考模型模块：为系统提供待验证模块的对比结果；初始化模块：提供初始化所需的程序；监视模块：监视待验证模块运行状态；结果对比模块：检查待验证模块执行结果；控制模块：控制整个系统的运行流程；本发明一种SoC随机指令同步测试平台，能够为SoC验证平台中待验证模块中指令和参考模型中指令难以同步的问题提供一种解决方案，大量节省验证时间，降低工作难度，并提高验证的覆盖率。
-
-
-
-
-
-
-
-
-
Search Results
68
records
(took 0.053 seconds)
