-
公开(公告)号：CN105072047A
公开(公告)日：2015-11-18
申请号：CN201510609456.2
申请日：2015-09-22
Applicant: 浪潮(北京)电子信息产业有限公司
Inventor： 李拓
IPC: H04L12/801 , H04L29/06
Abstract: 本发明公开了一种报文传输及处理方法，包括：发送端定义报文的报文头及报文数据；发送端通过第一接口发送报文的报文头至第一接收端，同时通过第二接口发送该报文的报文数据至第一接收端；第一接收端分别对报文头及报文数据进行并行处理。本申请中同时分别的将报文的报文头及报文数据发送至第一接收端，即将报文头及报文数据进行并行传输，并由第一接收端对报文头及报文数据进行并行处理。通过对同一报文的报文头及报文数据进行并行传输及并行处理的方式，提高了报文的传输速度和处理速度，并且，将报文头与报文数据分开处理，避免了对于逻辑资源的浪费情况的发生。因此，能够在保证报文的传输速度及处理速度的同时，避免逻辑资源的浪费。
-
公开(公告)号：CN104461909A
公开(公告)日：2015-03-25
申请号：CN201510005353.5
申请日：2015-01-06
Applicant: 浪潮(北京)电子信息产业有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种随机验证评估方法及系统，包括：从预选出的一个或多个模块中选出一个或多个关键路径。通过对一个或多个关键路径的监测和统计策略完成关于预选出的一个或多个模块的模块级随机验证之后，根据关键路径的统计结果生成对关键路径的断言。将生成的断言加入预选出的一个或多个模块进行多模块验证或系统级验证，并检测是否违反断言，根据违反断言的次数是否大于预设阈值判定模块级随机验证是否充分。通过本发明的方案，能够有效地评估模块级随机验证的充分程度。
-
公开(公告)号：CN104461400A
公开(公告)日：2015-03-25
申请号：CN201410822362.9
申请日：2014-12-25
Applicant: 浪潮(北京)电子信息产业有限公司
Abstract: 本发明实施例提供的处理访存请求冲突的方法和装置，可以解决管理访存请求冲突时存储器开销大以及配置不够灵活的问题。具体方案为：当发生访存请求冲突时，根据协议缓存池中被挂起的各个访存请求以及各个访存请求的处理顺序利用尾插法创建冲突管理链表；当开始处理各个访存请求时，读取链表的表头指针以获取链表的首结点对应的入口地址以及首结点的指针；根据首结点对应的访存请求的入口地址执行该访存请求以及根据首节点的指针读取首节点的下一个节点；对于下一个结点以及链表其余的结点，执行前述对首结点执行的步骤直至链表的各个结点对应的各个访存请求全部被处理。
-
公开(公告)号：CN102436521B
公开(公告)日：2014-04-02
申请号：CN201110294369.4
申请日：2011-09-27
Applicant: 浪潮(北京)电子信息产业有限公司
Inventor： 李拓
IPC: G06F17/50
Abstract: 本发明提供一种随机验证方法和系统；所述方法，包括：在使用随机产生的测试激励验证测试对象的功能点过程中，记录在每个测试激励在运行前后所述测试对象的功能点的覆盖率，将使得覆盖率发生变化的测试激励保存到预先设置的有效激励信息中；基于朴素贝叶斯模型，按照测试激励的属性，对所述有效激励信息中的测试激励进行分类，得到属性的分类模型；采用聚类分析方法得到分类模型中各类属性对提高所述测试对象的功能点覆盖率的概率信息；根据所述概率关系，选择所述分类模型中的至少一类属性作为随机生成测试激励的约束条件；根据新确定的约束条件随机生成新的测试激励。
-
公开(公告)号：CN102436521A
公开(公告)日：2012-05-02
申请号：CN201110294369.4
申请日：2011-09-27
Applicant: 浪潮(北京)电子信息产业有限公司
Inventor： 李拓
IPC: G06F17/50
Abstract: 本发明提供一种随机验证方法和系统；所述方法，包括：在使用随机产生的测试激励验证测试对象的功能点过程中，记录在每个测试激励在运行前后所述测试对象的功能点的覆盖率，将使得覆盖率发生变化的测试激励保存到预先设置的有效激励信息中；基于朴素贝叶斯模型，按照测试激励的属性，对所述有效激励信息中的测试激励进行分类，得到属性的分类模型；采用聚类分析方法得到分类模型中各类属性对提高所述测试对象的功能点覆盖率的概率信息；根据所述概率关系，选择所述分类模型中的至少一类属性作为随机生成测试激励的约束条件；根据新确定的约束条件随机生成新的测试激励。
-
Patent Agency Ranking
公开(公告)号：CN105447251B
公开(公告)日：2018-12-07
申请号：CN201510866718.3
申请日：2015-12-01
Applicant: 浪潮(北京)电子信息产业有限公司
Inventor： 李拓
IPC: G06F17/50
Abstract: 本发明公开了一种基于事务类型激励的验证方法，包括：获取目标特征向量；利用预先构造的转换工具将所述目标特征向量转换成对应的目标事务类型激励；利用所述目标事务类型激励对待测芯片进行仿真验证。与现有技术相比，本申请中仅需获取目标特征向量，即可利用转换工具将目标特征向量转换成对应的事务类型激励，进而完成待测芯片的验证，而无需由人工编写事务类型激励，从而大大降低了人工工作的复杂度和工作量，且由于特征向量较事务类型激励而言，构造工作非常简单，因此，大大降低了出错率，进一步降低了验证失效的几率。
-
公开(公告)号：CN105005645B
公开(公告)日：2018-10-02
申请号：CN201510373574.8
申请日：2015-06-30
Applicant: 浪潮(北京)电子信息产业有限公司
IPC: G06F17/50
Abstract: 本发明公开了一种覆盖率的统计方法及装置，所述方法包括：在代码中分别为代码中的每个待覆盖点添加用于检测待覆盖点的覆盖情况的检测逻辑以及用于保存检测结果的寄存器；在代码开始执行后，检测逻辑检测对应的待覆盖点的覆盖情况，在检测到对应的待覆盖点被覆盖时，记录到对应的寄存器中，直到代码执行完毕；分别读取每个待覆盖点对应的寄存器的寄存器值，对读取的寄存器值进行统计分析，生成代码的覆盖结果。本发明在保证芯片的结构和功能实现的前提下，添加的检测逻辑和寄存器使覆盖率的统计，不再依赖于代码版本的稳定，对代码版本的变动不再敏感，可以灵活的应用于代码设计的初期和中期阶段，使验证工作尽早地高效开展。
-
公开(公告)号：CN105260534A
公开(公告)日：2016-01-20
申请号：CN201510652390.5
申请日：2015-10-10
Applicant: 浪潮(北京)电子信息产业有限公司
Inventor： 李拓
IPC: G06F17/50
Abstract: 本申请提供了一种用于超大规模芯片验证的回归测试用例维护方法，确定与目标超大规模芯片的功能相对应的覆盖率目标；根据所述覆盖率目标，构造测试激励组；利用所述测试激励组进行验证，统计覆盖率，并将所述测试激励组保存在测试用例集合中；判断统计的覆盖率是否达到所述覆盖率目标，若是，则判断是否需要回归测试，若是，则对所述测试用例集合进行优化，去除冗余的测试用例；利用优化后的测试用例集合进行验证，统计并保存优化后的覆盖率。本申请基于覆盖率的方法，对测试用例集合进行了优化处理，然后利用优化后的测试用例集合进行验证，提高了回归测试的效率，在保证了回归测试有效性的同时，节省了保存激励和运行仿真的资源和时间。
-
公开(公告)号：CN104268121A
公开(公告)日：2015-01-07
申请号：CN201410490702.2
申请日：2014-09-23
Applicant: 浪潮(北京)电子信息产业有限公司
Abstract: 本发明公开了一种超大规模芯片及其布局方法、访问寄存器的方法及系统，其中，布局方法包括：确定各个功能模块在芯片上的位置，以总的连线长度最短为原则，决定环上总控制模块和与各个功能模块关联的各子控制模块的连接顺序；将所述总控制模块的发送端口与一个子控制模块的接收端口连接，该子控制模块的发送端口与下一级子控制模块的接收端口连接，直到最后一个子控制模块的发送端口与所述总控制模块的接收端口连接，构造出一个囊括总控制模块和所有子控制模块的环，此外，基于该布局结构还提出了采用环形的方式实现对芯片的寄存器访问控制，本发明通过在环状的控制模块链上进行报文转发取代了直接的寄存器访问。
-
公开(公告)号：CN104038441A
公开(公告)日：2014-09-10
申请号：CN201410291447.9
申请日：2014-06-25
Applicant: 浪潮(北京)电子信息产业有限公司
IPC: H04L12/863
Abstract: 本发明公开了一种数据传输方法，应用于网络控制芯片，该方法包括：从所述网络控制芯片的数据接收接口每接收到一个报文，根据接收的报文的类型将其放入对应的虚信道；对不同虚信道内部的报文进行并行处理，处理完毕的报文送入该虚信道的输出缓存；对输出缓存非空的各虚信道进行调度选择，将选出的虚信道的处理完毕的报文从所述网络控制芯片的数据发送接口发送出去。本发明能够提高网络控制芯片对多节点网络中并发报文数据的处理能力，节省数据传输接口的耗费。本发明还公开了一种数据传输系统。
-
-
-
-
-
-
-
-
-
Search Results
31
records
(took 0.043 seconds)
