-
公开(公告)号：CN109117518B
公开(公告)日：2022-09-20
申请号：CN201810807007.2
申请日：2018-07-21
Applicant: 中国人民解放军战略支援部队信息工程大学 , 天津市滨海新区信息技术创新中心
IPC: G06F30/398
Abstract: 本发明属于IC设计验证技术领域，特别是涉及一种寄存器读写访问验证系统及方法，通过寄存器模型构建模块构建DUT内部寄存器对应的寄存器模型；通过位域属性解析模块获取寄存器的各位域的读写属性，以及不同读写属性的位域的mask值；通过测试向量构建模块构建寄存器的测试向量和读写访问方式；通过UVM通用验证组件将测试向量驱动至DUT的寄存器配置总线的接口，并获取寄存器的读写值发送至自动读写对比模块；通过自动读写对比模块验证寄存器的读写值是否正确。该方式可以实现不同位域读写属性的寄存器快速读写访问验证，极大地降低了验证人员迭代回归的工作量，提高了验证的完备性和验证收敛的效率，并具有良好的可重用性和可扩展性。
-
公开(公告)号：CN111555901B
公开(公告)日：2022-08-12
申请号：CN202010182318.1
申请日：2020-03-16
Applicant: 中国人民解放军战略支援部队信息工程大学
Abstract: 本发明属于芯片配置网络技术领域，特别涉及一种灵活支持混合总线协议的芯片配置网络系统，包括配置网络主从接口、协议解析与地址映射模块和核心互连网络；在配置网络主从接口处分别增加协议解析与地址映射模块；所述协议解析与地址映射模块用于实现总线读写请求/读写响应地址与网络ID之间的转换，以及将不同总线协议的读写请求或读写响应按照统一的格式转化为数据包的形式并注入核心互连网络，或将从核心互连网络接收的数据包根据不同的总线协议转换为相应的总线信号时序。本发明可灵活支持相同或者不同总线协议的网络互连和协议桥接，大大降低芯片配置网络的设计复杂度和技术门槛，并兼具良好地可扩展性和重用性。
-
公开(公告)号：CN109818951B
公开(公告)日：2021-08-03
申请号：CN201910048265.1
申请日：2019-01-18
Applicant: 中国人民解放军战略支援部队信息工程大学
IPC: H04L29/06
Abstract: 本发明提供一种功能等价执行体可信度评估方法及装置。该方法包括：初始化拟态防御系统的执行体池中功能等价执行体m维护的历史事件记录队列Dm，所述历史事件记录队列Dm包括距离当前时刻最近的前l个历史事件记录；根据执行体m在ti时刻的服务响应任务执行结果确定ti时刻的历史事件记录di的取值；根据设定的权重计算公式确定ti时刻的历史事件记录di的可信度影响权重wi；根据ti时刻的历史事件记录di的取值和可信度影响权重wi确定当前时刻执行体m的可信度。该装置包括：队列初始化单元、历史事件记录赋值单元、可信度影响权重计算单元和执行体可信度计算单元。本发明为拟态调度策略设计提供了定量依据，有助于在资源受限条件下，精确选择出高可信度执行体。
-
公开(公告)号：CN110138635B
公开(公告)日：2021-01-26
申请号：CN201910338214.2
申请日：2019-04-25
Applicant: 中国人民解放军战略支援部队信息工程大学
Abstract: 本发明提供一种支持FC与以太网的协议转换功能验证装置及方法。该装置包括：FC发送校验设备，用于校验第一以太网协议数据包和第一FC协议数据包的一致性；以及以太网发送校验设备，用于校验第二FC协议数据包和第二以太网协议数据包的一致性。该方法包括：随机生成若干数据作为payload；按照发送端校验设备侧协议的包格式将payload封装包头信息Header组成第一数据包；将第一数据包发送至目标协议转换芯片，目标协议转换芯片对第一数据包进行协议转换得到第二数据包；将payload备份给接收端校验设备，接收端校验设备根据payload和第二数据包校验目标芯片的协议转换结果。本发明可自动对比Header+payload的双端互联互通，以验证目的协议转换的正确性。
-
公开(公告)号：CN112235257A
公开(公告)日：2021-01-15
申请号：CN202011016745.9
申请日：2020-09-24
Applicant: 中国人民解放军战略支援部队信息工程大学
Abstract: 本发明属于网络技术领域，特别涉及一种融合式加密恶意流量检测方法及系统，包含：收集网卡节点处原始流量；对原始流量进行预处理，使其转换为用于深度学习的数据类型；通过将深度学习分为相对独立且并行学习的两条支路来并行提取流量数据的时空特征，其中，两条支路中，一条支路用于学习流量数据的空间特征，另一支路用于学习流量数据的时间特征；将流量数据空间特征和时间特征进行融合处理，并通过分类器进行数据分类，以筛选出加密恶意流量数据。本发明将流量数据时空特征学习提取进行并行融合处理，实现高精度、高时效性检测，同时能够有效降低存储开销，具有较好地应用价值。
-
Patent Agency Ranking
公开(公告)号：CN111158636A
公开(公告)日：2020-05-15
申请号：CN201911220379.6
申请日：2019-12-03
Applicant: 中国人民解放军战略支援部队信息工程大学 , 天津市滨海新区信息技术创新中心
IPC: G06F7/57 , G06F7/544 , H04L12/741
Abstract: 本发明提供了一种可重构计算结构及乘累加计算处理阵列的路由寻址方法、装置。该结构中，可重构计算模块包括至少一个乘累加计算处理阵列，每个乘累加计算处理阵列包括ram单元和算式生成器，每个ram单元由四个ram块拼接而成，每个ram单元均由相应的计算算粒与其对应，用来完成典型的乘累加运算，每个算式生成器有四个接口，可通过接口与周边的ram单元连接。本发明提出的可重构计算结构，通过构建包含ram单元和算式生成器的乘累加计算处理阵列，每个阵列内部和阵列之间可通过算式生成器将各个ram单元互联，进而将将若干个乘累加计算处理阵列形成网状结构，相比传统的总线型或crossbar型互联结构而言，本互联结构逻辑电路设计简单。
-
公开(公告)号：CN110535789A
公开(公告)日：2019-12-03
申请号：CN201910628138.9
申请日：2019-07-12
Applicant: 中国人民解放军战略支援部队信息工程大学
IPC: H04L12/931 , H04L29/06
Abstract: 本发明提供了一种SRIO-ETH协议转换芯片验证装置及方法，包括TX端、RX端以及包计数转换规则计算模块，所述包计数转换规则计算模块包括包计数子模块和宏定义子模块；所述TX端用于发送源协议包到协议转化芯片，协议转换芯片解析并提取所述源协议包的payload并组成目标协议包路由到所述RX端，所述RX端解析目标协议包获得payload，所述源协议为SRIO协议时，所述目标协议对应为ETH协议，所述源协议为ETH协议时，所述ETH协议对应为SRIO协议，所述宏定义子模块用于为所述RX端与所述TX端配置计数校验信息，所述包计数子模块提取所述计数校验信息后进行包计数。本发明提高了对不同分片规则的协议转换芯片的测试能力，使整个装置适用范围更广，灵活性更高。
-
公开(公告)号：CN110519116A
公开(公告)日：2019-11-29
申请号：CN201910631114.9
申请日：2019-07-12
Applicant: 中国人民解放军战略支援部队信息工程大学
Abstract: 本发明提供了一种循环冗余校验码存储比较模块及交换设备性能测试系统，涉及交换设备技术领域，该模块包括第一循环冗余校验码存储单元，用于接收发送给待测试交换设备的第i个待转发数据包的第一循环冗余校验码，并将其按序写入存储空间；第一循环冗余校验码读取单元，用于当第一循环冗余校验码存储单元接收到经转发后的第i个数据包的第二循环冗余校验码时，按序从存储空间读取第一循环冗余校验码；比较单元，用于比较第一循环冗余校验码与第二循环冗余校验码是否一致，以判断第i个数据包的包转发是否正确。本发明实施例提供的循环冗余校验码存储比较模块，可以检测交换设备的包转发顺序是否正确，节省人力成本，并提高检测准确度。
-
公开(公告)号：CN110493310A
公开(公告)日：2019-11-22
申请号：CN201910646042.5
申请日：2019-07-17
Applicant: 中国人民解放军战略支援部队信息工程大学
Abstract: 本发明提供一种软件定义的协议控制器及方法。该协议控制器包括：链路层发送侧功能单元，用于对用户输入接口输入的数据包进行包缓存和管理、生成控制符、以及将数据包和控制符组合发送至PCS输入并行总线；链路接收侧功能单元，用于将PCS输入并行总线上的数据分离为控制符和数据包、以及按照协议规定将数据包输出至用户输出接口；链路层状态寄存器，用于存储协议控制器链路层的状态信息。该方法包括：接收用户输入接口输入的数据包进行包缓存和管理，并选择优先发送的数据包；生成控制符；将数据包和控制符发送至PCS输入并行总线；将数据分离为控制符和数据包；将接收的数据包输出至用户输出接口。本发明增加了通信接口的灵活性。
-
公开(公告)号：CN110290105A
公开(公告)日：2019-09-27
申请号：CN201910390241.4
申请日：2019-05-10
Applicant: 中国人民解放军战略支援部队信息工程大学
Abstract: 本发明提供了一种异构协议转换的验证平台和方法，包括：配置管理模块、包驱动模块、协议转换模块、参考模型和输出监测模块，配置管理模块用于对协议转换模块的工作参数和环境变量进行配置；包驱动模块用于将激励序列切分为源协议包，并将其转化为输入比特流，并将输入比特流转换成每个时钟周期对应的输入数据；协议转换模块用于对激励序列进行协议转换；参考模型从更高抽象层次实现异构协议转换类型的功能，将源协议的每个输入包转换为目标协议的包，得到预期输出包；输出监测模块用于对协议转换模块输出的数据进行采样，得到实际输出包，并将实际输出包与预期输出包进行字段比对。本发明解决了对异构协议转换的验证效率较低的技术问题。
-
-
-
-
-
-
-
-
-
Search Results
102
records
(took 0.047 seconds)
