检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

40 篇 专利

馆藏范围

40 篇 电子文献
0 种 纸本馆藏

日期分布

机构

3 篇 江苏大学
3 篇 长春工业大学
2 篇 北京爱芯科技有限...
2 篇 天津大学
2 篇 中电科申泰信息科...
2 篇 中国电子科技集团...
2 篇 海光信息技术股份...
2 篇 青岛农业大学
2 篇 摩尔线程智能科技...
2 篇 中科亿海微电子科...
2 篇 国网信息通信产业...
2 篇 北京时代民芯科技...
2 篇 北京智芯微电子科...
2 篇 北京微电子技术研...
2 篇 操纵技术ip控股公...
1 篇 武汉滴滴网络科技...
1 篇 西安微电子技术研...
1 篇 浙江中烟工业有限...
1 篇 河北谊安奥美医疗...
1 篇 中国人民解放军军...

作者

3 篇 李绍松
3 篇 崔高健
2 篇 t·m·瓦伦吉卡尔
2 篇 陈雷
2 篇 谢辉
2 篇 倪玮琳
2 篇 荣雪宇
2 篇 郝燚
2 篇 姜明方
2 篇 郝先人
2 篇 金志佳
2 篇 孙晓东
2 篇 于立新
2 篇 陈怡狄
2 篇 冯苏红
2 篇 王琦
2 篇 殷庆会
2 篇 阮迪望
2 篇 魏江杰
2 篇 张国辉

语言

40 篇 中文

检索条件"主题词=参考模型模块"

共 40 条记录，以下是11-20 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

基于UVM架构的虚拟和物理地址转换的验证方法和系统

基于UVM架构的虚拟和物理地址转换的验证方法和系统

引用

作者：董利魏江杰殷庆会章健匡正阳 214000 江苏省无锡市滨湖区绣溪路50号2号楼6层

本发明涉及集成电路验证技术领域，特别涉及基于UVM架构的虚拟和物理地址转换的验证方法和系统。该方法包括：通过专用验证ep vip模块主要实现dma请求的生成，并将该dma请求发送给pcie协议转换接口模块，并对pcie协议转换接口模块返回... 详细信息

标准号: CN117077589A

本发明涉及集成电路验证技术领域，特别涉及基于UVM架构的虚拟和物理地址转换的验证方法和系统。该方法包括：通过专用验证ep vip模块主要实现dma请求的生成，并将该dma请求发送给pcie协议转换接口模块，并对pcie协议转换接口模块返回的响应进行监测，检查返回响应的正确性；同时将dma请求发送给dma参考模型模块；通过pcie协议转换接口模块实现标准的pcie接口和自定义的接口之间的协议转换，接受由专用验证ep vip模块发送的dma请求。本发明通过建立UVM架构的验证环境，加快验证的效率，提高了验证的覆盖率，极大程度上保证了电路的功能正确性。

关键词：验证转换接口模块架构参考模型模块集成电路验证物理地址转换返回响应模块发送协议转换自定义电路虚拟覆盖率返回监测响应检查保证

来源：评论

学校读者我要写书评

暂无评论

上下文切换验证方法及装置

上下文切换验证方法及装置

引用

作者：请求不公布姓名 100080 北京市海淀区翠微中里14号楼四层B655

本公开涉及一种上下文切换验证方法及装置，涉及计算机技术领域。该装置包括：激励产生模块根据针对待测试模块的验证需要生成激励信号并发送至参考模型模块和待测试模块，激励信号指示需要处理的包括至少一个待测命令的命令序列；待测... 详细信息

标准号: CN116776788A

本公开涉及一种上下文切换验证方法及装置，涉及计算机技术领域。该装置包括：激励产生模块根据针对待测试模块的验证需要生成激励信号并发送至参考模型模块和待测试模块，激励信号指示需要处理的包括至少一个待测命令的命令序列；待测试模块根据激励信号处理各待测命令，并在预设处理节点向参考模型模块发送目标信号，以及将处理命令过程中产生的第一数据发送至响应检查模块；参考模型模块根据激励信号和目标信号处理各待测命令，并将处理命令过程中产生的第二数据发送至响应检查模块；响应检查模块根据第一数据和第二数据对待测试模块执行上下文切换命令的能力进行验证。可自动化、精准比对上下文切换时的数据和行为，进行上下文切换能力验证。

关键词：上下文切换参考模型模块待测试模块激励信号检查模块处理命令第一数据信号处理验证响应计算机技术领域激励产生模块发送测试模块处理节点发送目标命令序列能力验证数据发送比对预设自动化

来源：评论

学校读者我要写书评

暂无评论

基于UVM的SM4模块验证平台及验证方法

基于UVM的SM4模块验证平台及验证方法

引用

作者：代广周杨崇朋任培培杨亚飞 518172 广东省深圳市龙岗区龙城街道黄阁坑社区腾飞路9号创投大厦3501

本申请公开了一种基于UVM的SM4模块验证平台及验证方法，包括：代理模块，被配置为根据测试用例生成验证事务，并将所述验证事务发送至待测SM4模块以及参考模型模块；所述验证事务封装了以下变量：加解密选择、工作模式选择、初始向量... 详细信息

标准号: CN116108800A

本申请公开了一种基于UVM的SM4模块验证平台及验证方法，包括：代理模块，被配置为根据测试用例生成验证事务，并将所述验证事务发送至待测SM4模块以及参考模型模块；所述验证事务封装了以下变量：加解密选择、工作模式选择、初始向量、初始向量密钥、输入数据、数据密钥和输出数据；参考模型模块，被配置为模拟所述待测SM4模块的行为，获取SM4算法参考模型对所述验证事务执行预设处理后生成的第一结果；对比模块，被配置为对所述第一结果和所述待测SM4模块输出的第二结果进行比对，获得比对结果。如此，基于UVM对SM4模块进行验证，可以遍历SM4模块所有的工作模式，能够有效提高对SM4模块的验证效率，缩短芯片的研发周期，同时降低芯片研发成本。

关键词：验证参考模型模块初始向量配置事务测试用例生成工作模式选择比对结果参考模型代理模块对比模块工作模式模块输出模块验证事务执行输出数据数据密钥芯片研发加解密比对遍历密钥研发预设算法封装芯片发送申请

来源：评论

学校读者我要写书评

暂无评论

一种RISC-V向量指令集功能验证的测试用例生成系统及方法

一种RISC-V向量指令集功能验证的测试用例生成系统及方法

引用

作者：王冬升何益百张拥军张光达黄安文万众徐叶茂顾凯 100071 北京市丰台区东大街53号院

本发明涉及指令级验证技术领域，具体提供了一种RISC‑V向量指令集功能验证的测试用例生成系统及方法，包括：测试用例生成控制模块设置向量指令测试参数，将测试参数发送至场景构建模块，将接收的源操作数组对象发送至参考模型模块，并... 详细信息

标准号: CN117130894A

本发明涉及指令级验证技术领域，具体提供了一种RISC‑V向量指令集功能验证的测试用例生成系统及方法，包括：测试用例生成控制模块设置向量指令测试参数，将测试参数发送至场景构建模块，将接收的源操作数组对象发送至参考模型模块，并将接收的源操作数组对象和接收的目的操作数组对象拼接，得到测试用例；场景构建模块基于测试参数生成源操作数组对象；参考模型模块，用于基于源操作数组对象生成目的操作数组对象。本发明提供的技术方案大大提高了RISC‑V向量指令集测试用例的开发速度，多类型的应用场景进一步保证了处理器功能验证的完备性，从而有效地减少了芯片设计的开发周期。

关键词：数组对象测试参数向量指令源操作参考模型模块测试用例生成场景构建发送验证处理器功能有效地减少测试功能验证开发周期控制模块芯片设计应用场景多类型生成源完备性拼接指令保证开发

来源：评论

学校读者我要写书评

暂无评论

一种基于轮胎均等后备能力的汽车稳定性控制方法

一种基于轮胎均等后备能力的汽车稳定性控制方法

引用

作者：李绍松王旭阳孙光达王书君张袅娜崔高健张邦成徐海天 130012 吉林省长春市延安大街2055号

一种基于轮胎均等后备能力的汽车稳定性控制方法，其特征在于，该方法包括参考模型模块、轮胎数据处理模块、MPC控制器、CarSim汽车模型；参考模型模块用于计算参考横摆角速度和质心侧偏角；轮胎数据处理模块用于计算轮胎侧向力和轮胎... 详细信息

标准号: CN111965977B

一种基于轮胎均等后备能力的汽车稳定性控制方法，其特征在于，该方法包括参考模型模块、轮胎数据处理模块、MPC控制器、CarSim汽车模型；参考模型模块用于计算参考横摆角速度和质心侧偏角；轮胎数据处理模块用于计算轮胎侧向力和轮胎状态刚度；CarSim汽车模型用于输出汽车的实际状态量；MPC控制器优化出前轮转角以及四个车轮的制动力矩，输入给CarSim汽车模型，实现转向和制动控制权的合理分配。

关键词：汽车模型轮胎参考模型模块数据处理模块汽车稳定性控制质心侧偏角轮胎状态前轮转角实际状态制动力矩侧向力横摆控制权制动车轮输出参考分配优化汽车

来源：评论

学校读者我要写书评

暂无评论

基于UVM架构的虚拟和物理地址转换的验证方法和系统

基于UVM架构的虚拟和物理地址转换的验证方法和系统

引用

作者：董利魏江杰殷庆会章健匡正阳 214000 江苏省无锡市滨湖区绣溪路50号2号楼6层

标准号: CN117077589B

关键词：验证转换接口模块架构参考模型模块集成电路验证物理地址转换返回响应模块发送协议转换自定义电路虚拟覆盖率返回监测响应检查保证

来源：评论

学校读者我要写书评

暂无评论

可综合的参数化自测试模型结构及测试方法

可综合的参数化自测试模型结构及测试方法

引用

作者：陈怡狄冯苏红徐维涛王烽宇 215127 江苏省苏州市吴中区甪直镇长虹北路169号吴淞江商务区A幢2层

本发明提供一种可综合的参数化自测试模型结构，包括采用可综合的HDL实现的多个程序顶层模块，所述多个程序顶层模块包含：待测设计模块、激励驱动模块和可综合参考模型模块；所述待测设计模块的数据输入端口和控制信号端口和所述激励... 详细信息

标准号: CN116029236B

本发明提供一种可综合的参数化自测试模型结构，包括采用可综合的HDL实现的多个程序顶层模块，所述多个程序顶层模块包含：待测设计模块、激励驱动模块和可综合参考模型模块；所述待测设计模块的数据输入端口和控制信号端口和所述激励驱动模块的输出端口分别连接；所述激励驱动模块的输出端口还分别与所述可综合参考模型模块的输入端口连接；所述待测设计模块是实例化配置完成的IP核；所述参可综合参考模型模块与所述待测设计模块功能相同。通过将通用验证方法学验证平台的部分组件，以可综合硬件描述语言的形式集成到了板级或机台量产测试向量中，实现了以最少的测试向量覆盖全面的测试点，对测试向量集合增减的灵活性好，结果分析的效率高。

关键词：设计模块参考模型模块测试向量驱动模块顶层模块多个程序输出端口机台控制信号端口输入端口连接数据输入端口硬件描述语言部分组件结果分析模型结构形式集成验证平台参数化测试点方法学实例化自测试板级量产集合验证通用覆盖配置

来源：评论

学校读者我要写书评

暂无评论

基于滤波自适应控制的无人机姿态控制系统及方法

基于滤波自适应控制的无人机姿态控制系统及方法

引用

作者：张宏瑜徐勇刘宗南刘晓东宋锦驿谭晓孙博瑞 100081 北京市海淀区中关村南大街5号

本发明公开了一种基于滤波自适应控制的无人机姿态控制系统及方法，属于无人机控制领域，基于滤波自适应控制的无人机姿态控制系统包括参考模型模块、被控对象和卡尔曼滤波模块。本发明方案实现的直接自适应控制器，不需要被控对象的状... 详细信息

标准号: CN117234067A

本发明公开了一种基于滤波自适应控制的无人机姿态控制系统及方法，属于无人机控制领域，基于滤波自适应控制的无人机姿态控制系统包括参考模型模块、被控对象和卡尔曼滤波模块。本发明方案实现的直接自适应控制器，不需要被控对象的状态信息，只需要被控对象的输出信号，总体的设计更加简洁有效。然后通过仿真可以得到，本发明方案设计的控制器在阶跃输入时，可以进行快速准确的响应，证明姿态控制有效，且三轴的姿态互不干扰，证明本发明方案实现了对涵道式旋翼无人机的姿态控制解耦。在外加白噪声干扰时，通过控制器改进前后的对比，证明了本发明方案有效的处理了控制噪声和传感器噪声问题。

关键词：被控对象无人机姿态自适应控制控制系统姿态控制控制器滤波参考模型模块自适应控制器传感器噪声卡尔曼滤波无人机控制方案设计互不干扰输出信号白噪声涵道阶跃解耦三轴旋翼噪声响应改进

来源：评论

学校读者我要写书评

暂无评论

一种基于SV-DPI的图像坏点修正FPGA验证系统和验证方法

一种基于SV-DPI的图像坏点修正FPGA验证系统和验证方法

引用

作者：李艳龙杨琪张莎莎 710065 陕西省西安市雁塔区太白南路198号

本发明公开了一种基于SV‑DPI的图像坏点修正FPGA验证系统和验证方法，用例控制模块用于确定需要执行的测试用例，生成控制图像数据的工作参数；图像数据生成模块用于接收用例控制模块的工作参数，根据工作参数通过算法生成相应的图像数... 详细信息

标准号: CN113989150A

本发明公开了一种基于SV‑DPI的图像坏点修正FPGA验证系统和验证方法，用例控制模块用于确定需要执行的测试用例，生成控制图像数据的工作参数；图像数据生成模块用于接收用例控制模块的工作参数，根据工作参数通过算法生成相应的图像数据；AD接口控制模块接收图像数据，将图像数据驱动到被测设计模块上，并将图像数据输出到参考模型模块；LVDS接口控制模块监控被测设计模块输出的图像数据，并传输给数据比对模块；参考模型模块将被测设计数据作为参考模型输入，使用配置参数进行数据处理，处理后的数据传输到数据结果比对模块；数据结果比对模块将图像数据与参考模型计算的数据进行数据比对，输出结果信息和数据信息，实现数据的自动化检查。

关键词：图像数据控制模块工作参数参考模型模块比对模块参考模型设计模块数据结果接收图像数据数据比对模块图像数据生成配置参数设计数据生成控制输出结果数据比对数据传输数据信息算法生成验证系统输出数据处理坏点自动化验证测试驱动图像修正传输监控检查

来源：评论

学校读者我要写书评

暂无评论

一种基于Systemverilog的CPU验证平台

一种基于Systemverilog的CPU验证平台

引用

作者：刘春锐张宏奎黄旭东陈振娇 214000 江苏省无锡市滨湖区惠河路5号

本发明公开一种基于Systemverilog的CPU验证平台，属于计算机体系结构领域。CPU模块启动后，验证用例生成模块生成后缀为.asm的汇编验证用例，参考模型模块读取该验证用例，模拟CPU模块完成指令的功能，CPU模块通过程序RAM同样读取该验... 详细信息

标准号: CN112463624B

本发明公开一种基于Systemverilog的CPU验证平台，属于计算机体系结构领域。CPU模块启动后，验证用例生成模块生成后缀为.asm的汇编验证用例，参考模型模块读取该验证用例，模拟CPU模块完成指令的功能，CPU模块通过程序RAM同样读取该验证用例，完成指令的功能，CPU模块和参考模型监视模块监测CPU模块和参考模型模块的指令执行结果，并将执行结果送给结果比较模块，结果比较模块通过对比CPU模块和参考模型模块的执行结果，验证CPU模块的功能是否正确实现。该CPU验证平台有较好的通用性和可移植性，对于不同的指令集架构，稍加修改参考模型便可使用。该CPU验证平台已成功用于32位CPU芯片的功能验证，相比该CPU之前的验证方法，极大的提高了验证效率，缩短了CPU交付周期。

关键词：验证参考模型模块验证平台结果比较模块读取参考模型计算机体系结构指令指令执行结果指令集架构功能验证监视模块可移植性用例生成程序RAM 汇编交付监测成功

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共4页 << < 1 2 3 4 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：