-
公开(公告)号：CN111859833B
公开(公告)日：2024-07-05
申请号：CN202010710253.3
申请日：2020-07-22
申请人： 中国人民解放军国防科技大学
IPC分类号： G06F30/33
摘要： 本发明公开了一种可配置系统级验证环境构造方法，用于构造生成集成电路芯片的系统级验证环境，该方法包括：将待测设计系统级验证时所有不同平台和不同功能需求的编译参数记录到模板文件；为模板文件中的每个编译参数确定开关；用规则文件记录开关之间的所有的逻辑关系；根据需要的具体功能提供配置文件，指明所需的开关及其取值；将规则文件应用于配置文件进行合法性检查，若检查通过则按照配置文件指定的开关从模板文件选出需要的编译参数；否则返回错误信息并退出。本发明能够满足不同验证平台、不同验证功能的需求，具有可靠性好、易于使用、灵活配置、不易出错、重用方便的优点。
-
公开(公告)号：CN111611147B
公开(公告)日：2023-05-30
申请号：CN202010596818.X
申请日：2020-06-28
申请人： 中国人民解放军国防科技大学
IPC分类号： G06F11/34 , G06F11/30 , G06F30/398 , G06F30/331 , G06F115/10
摘要： 本发明公开了一种处理器内部通用接口性能检测与分析方法、系统及介质，本发明方法包括数据提取、数据预处理、性能计算等步骤，通过在硅前验证阶段监测处理器内部接口的数据报文，计算得到系统中各接口性能和数据流在各相邻接口之间的延时等性能数据，继而分析得到系统的整体性能和定位系统性能瓶颈，为设计师进行代码优化提供依据和方向。本发明可在RTL阶段就进行性能分析，不止性能分析时间左移，在硅前进行性能优化，还可以精准定位性能瓶颈，降低性能优化难度，最重要的是可以在流片前对芯片具体性能情况有比较精准的把握。同时本发明具有广泛地适用性，既可以用于软模拟仿真平台，也可以用于硬件仿真加速器平台和FPGA平台。
-
公开(公告)号：CN111611187A
公开(公告)日：2020-09-01
申请号：CN202010597470.6
申请日：2020-06-28
申请人： 中国人民解放军国防科技大学
摘要： 本发明公开了一种针对CHI总线的通用协议转换桥及SoC，通用协议转换桥包括事务层处理模块、状态机、报文缓存模块以及两个链路层处理模块，链路层处理模块用于处理CHI总线和类CHI总线信用控制和事务ID转换，事务层处理模块用于处理CHI总线报文各域段与类CHI总线各域段之间的转换，状态机用于控制CHI总线与类CHI总线间的数据传输，报文缓存模块用于缓存未完成的CHI总线报文和类CHI总线报文，为协议层转换模块提供数据支持。本发明能够实现标准CHI总线与类CHI总线协议间的协议转换，能够满足SoC设计中集成带有标准CHI接口IP的需求。
-
公开(公告)号：CN111611176B
公开(公告)日：2023-05-30
申请号：CN202010596787.8
申请日：2020-06-28
申请人： 中国人民解放军国防科技大学
IPC分类号： G06F11/36 , G06F30/398
摘要： 本发明公开了一种通用接口覆盖率模型验证环境自动生成方法、系统及介质，本发明方法包括：获取包含通用接口所涉及的全部覆盖组和断言的覆盖率模型描述模板；根据覆盖率模型描述模板的格式及要求获取覆盖率模型自动生成脚本；根据覆盖率模型描述模板和所需的覆盖组和断言获取覆盖率模型描述文件；使用覆盖率模型自动生成脚本处理生成的覆盖率模型描述文件，自动生成接口覆盖率模型环境，得到包括所需接口覆盖率模型、宏定义文件、文件列表和连接文件。本发明具有良好继承性，避免了对代码直接进行修改的重复性工作，也避免了代码编写风格差异带来的风险，本发明还可以应用于标准接口之外的自定义协议接口的覆盖率模型生成。
-
公开(公告)号：CN111611120A
公开(公告)日：2020-09-01
申请号：CN202010596866.9
申请日：2020-06-28
申请人： 中国人民解放军国防科技大学
IPC分类号： G06F11/22
摘要： 本发明公开了一种片上多核处理器Cache一致性协议验证方法、系统及介质，本发明方法的步骤包括：针对执行待验证Cache协议的片上多核处理器加载执行测试程序，并跟踪片上网络的Cache相关报文，并通过记录板文件记录Cache事务的生命周期；检查测试程序的运行结果是否出现错误，若出现错误，则判定Cache协议验证未通过测试，退出；否则检查记录板文件定位测试程序执行过程中的错误场景，如果找到错误场景或者记录板文件仍有未完成的Cache事务则判定Cache协议验证未通过测试；否则判定Cache协议验证通过测试。本发明能够在验证过程中精确定位错误场景，易于发现设计漏洞和错误。
-
公开(公告)号：CN111858096B
公开(公告)日：2022-09-23
申请号：CN202010710213.9
申请日：2020-07-22
申请人： 中国人民解放军国防科技大学
IPC分类号： G06F9/54 , G06F15/173
摘要： 本发明公开了一种基于目录的最近距离cache监听读的方法及系统，本发明包括：结点簇的一个核心发出缓存使能的读命令，本地缓存不命中，本地缓存发出读共享报文，进入目录流水线；当目录命中时，选择最近距离的缓存所在结点簇号，作为监听请求报文的访问远程结点簇号；目录生成远程结点簇的缓存监听请求报文，报文目的方是该远程结点簇号，发送片上网络；片上网络传输至目的远程结点簇的目录，目录仲裁判断，直接传送缓存；远程结点簇的缓存生成监听响应报文，经片上网络传送本地缓存、最终返给发出请求的核心。本发明能够提高指令执行的效率、减少指令执行时间，尤其适用于多核、众核结构的处理器或者多核处理器直连构成的共享内存系统。
-
公开(公告)号：CN112069081B
公开(公告)日：2022-06-03
申请号：CN202011019028.1
申请日：2020-09-24
申请人： 中国人民解放军国防科技大学
摘要： 本发明公开了一种基于遗传算法的目录控制器测试激励生成方法，本发明包括：S1：针对目录控制器的测试特征进行遗传算法的符号编码；S2：创建测试激励的初代种群，基于否定选择算法选择随机染色体加入种群；S3：进行变异操作生成新染色体，基于否定选择算法加入种群；S4：进行交叉操作生成新染色体，基于否定选择算法加入种群；S5：重复步骤S3‑S4直至达到最大遗传代数或出现适应度值大于等于设定阈值的染色体。本发明能够挖掘覆盖率与激励输入之间的关系，指导随机测试激励的生成，依据否定选择算法有监督选择新染色体加入种群，达到最少的冗余测试激励，尽快覆盖不同的覆盖率功能点，减少测试时间，提高了验证效率。
-
公开(公告)号：CN111611187B
公开(公告)日：2021-11-26
申请号：CN202010597470.6
申请日：2020-06-28
申请人： 中国人民解放军国防科技大学
摘要： 本发明公开了一种针对CHI总线的通用协议转换桥及SoC，通用协议转换桥包括事务层处理模块、状态机、报文缓存模块以及两个链路层处理模块，链路层处理模块用于处理CHI总线和类CHI总线信用控制和事务ID转换，事务层处理模块用于处理CHI总线报文各域段与类CHI总线各域段之间的转换，状态机用于控制CHI总线与类CHI总线间的数据传输，报文缓存模块用于缓存未完成的CHI总线报文和类CHI总线报文，为协议层转换模块提供数据支持。本发明能够实现标准CHI总线与类CHI总线协议间的协议转换，能够满足SoC设计中集成带有标准CHI接口IP的需求。
-
公开(公告)号：CN111859833A
公开(公告)日：2020-10-30
申请号：CN202010710253.3
申请日：2020-07-22
申请人： 中国人民解放军国防科技大学
IPC分类号： G06F30/33
摘要： 本发明公开了一种可配置系统级验证环境构造方法，用于构造生成集成电路芯片的系统级验证环境，该方法包括：将待测设计系统级验证时所有不同平台和不同功能需求的编译参数记录到模板文件；为模板文件中的每个编译参数确定开关；用规则文件记录开关之间的所有的逻辑关系；根据需要的具体功能提供配置文件，指明所需的开关及其取值；将规则文件应用于配置文件进行合法性检查，若检查通过则按照配置文件指定的开关从模板文件选出需要的编译参数；否则返回错误信息并退出。本发明能够满足不同验证平台、不同验证功能的需求，具有可靠性好、易于使用、灵活配置、不易出错、重用方便的优点。
-
公开(公告)号：CN111858096A
公开(公告)日：2020-10-30
申请号：CN202010710213.9
申请日：2020-07-22
申请人： 中国人民解放军国防科技大学
IPC分类号： G06F9/54 , G06F15/173
摘要： 本发明公开了一种基于目录的最近距离cache监听读的方法及系统，本发明包括：结点簇的一个核心发出缓存使能的读命令，本地缓存不命中，本地缓存发出读共享报文，进入目录流水线；当目录命中时，选择最近距离的缓存所在结点簇号，作为监听请求报文的访问远程结点簇号；目录生成远程结点簇的缓存监听请求报文，报文目的方是该远程结点簇号，发送片上网络；片上网络传输至目的远程结点簇的目录，目录仲裁判断，直接传送缓存；远程结点簇的缓存生成监听响应报文，经片上网络传送本地缓存、最终返给发出请求的核心。本发明能够提高指令执行的效率、减少指令执行时间，尤其适用于多核、众核结构的处理器或者多核处理器直连构成的共享内存系统。
-
-
-
-
-
-
-
-
-
搜索结果
18 条记录 (耗时 0.028 秒)
