期刊文献+
共找到185篇文章
< 1 2 10 >
每页显示 20 50 100
基于UVM的PCIe交换芯片Switch子系统验证平台的设计 被引量:1
1
作者 郑锐 沈剑良 +2 位作者 刘冬培 李智超 曹睿 《计算机应用研究》 北大核心 2025年第5期1480-1489,共10页
PCIe是一种高速串行计算机扩展总线标准,据此设计的PCIe交换芯片可将CPU提供的PCIe通道扩展出更多的PCIe接口。然而,随着PCIe交换芯片设计复杂度和验证向量剧增,传统基于Verilog搭建的验证平台难以实现对逻辑复杂的Switch子系统高效地验... PCIe是一种高速串行计算机扩展总线标准,据此设计的PCIe交换芯片可将CPU提供的PCIe通道扩展出更多的PCIe接口。然而,随着PCIe交换芯片设计复杂度和验证向量剧增,传统基于Verilog搭建的验证平台难以实现对逻辑复杂的Switch子系统高效地验证,且缺乏功能覆盖率模型。为解决上述问题,采用UVM通用验证方法学,搭建了针对PCIe交换芯片中Switch子系统的验证平台,采用层次划分设计,支持覆盖率驱动,且较于一般UVM验证平台作出效率优化。具体而言,首先,对平台组件Reference Model建立通信对象和通信方式进行优化设计;其次,对平台组件ScoreBoard的比对方式和接收报文端口进行改进;最后,依据PCIe协议及交换芯片特点,对功能点进行梳理分类后针对性地设计了测试用例,对Switch子系统进行全面验证。经信号波形及覆盖率数据的分析表明,改进后的验证平台在没有人为过滤的情况下实现了96.8%的代码覆盖率和100%的功能覆盖率,仿真时间平均减少了约10%。该平台显著提升了验证效率,高效地支撑了PCIe交换芯片的验证工作,为相关UVM验证平台的搭建提供了参考。 展开更多
关键词 PCIe交换芯片 Switch子系统 uvm验证平台 reference model ScoreBoard 覆盖率
在线阅读 下载PDF
基于UVM的异构协议转换参考模型的设计与实现
2
作者 樊争光 沈剑良 +1 位作者 李智超 刘冬培 《电讯技术》 北大核心 2025年第6期960-972,共13页
面对异构协议转换系统中庞大的报文输出量,传统的验证方法难以确保输出报文的正确性。为此,提出了一种以目的协议为处理单元的参考模型。该参考模型通过对不同协议通道的数据包进行独立处理,实现不同协议间的包头映射,确保输出报文符合... 面对异构协议转换系统中庞大的报文输出量,传统的验证方法难以确保输出报文的正确性。为此,提出了一种以目的协议为处理单元的参考模型。该参考模型通过对不同协议通道的数据包进行独立处理,实现不同协议间的包头映射,确保输出报文符合预期。此外,通过优化算法,将协议转换算法精简至4种,有效避免了代码冗余对报文精度的影响。采用SystemVerilog和UVM(Universal Verification Methodology)设计参考模型,并通过TLM(Transaction Level Modeling)机制与其他组件协同工作,增强了参考模型的可扩展性和可重用性。实验结果表明,该参考模型能够有效输出预期报文,助力验证平台完成对异构协议转换系统的功能验证,且代码覆盖率和功能覆盖率均达到了100%。 展开更多
关键词 异构协议转换系统 参考模型 包头映射 通用验证方法(uvm)
在线阅读 下载PDF
R-DSP中BSU运算部件的UVM验证
3
作者 郭双喜 谭勋琼 白创 《电子科技》 2025年第5期15-21,共7页
R-DSP(Radar Digital Signal Processor)芯片中BSU(Branch Shift Unit)运算部件具有较大的设计规模和复杂度,传统Verilog验证平台难以满足其验证需求问题。针对该问题,文中采用UVM(Universal Verification Methodology)方法对BSU运算部... R-DSP(Radar Digital Signal Processor)芯片中BSU(Branch Shift Unit)运算部件具有较大的设计规模和复杂度,传统Verilog验证平台难以满足其验证需求问题。针对该问题,文中采用UVM(Universal Verification Methodology)方法对BSU运算部件进行功能验证。搭建基于SystemVerilog语言实现的UVM验证平台,使用定向测试和带约束的随机测试进行验证,并采用覆盖率驱动的方法指导测试用例的生成,以充分覆盖BSU运算部件的各个功能和代码路径。经过多轮测试激励验证,代码覆盖率接近100%,完成了对BSU运算部件的功能验证。所提方法为R-DSP芯片中的ALU(Arithmetic Logic Unit)、AGU(Address Generation Unit)、MU(Multiplication Unit)等运算部件的验证工作提供了参考和借鉴。 展开更多
关键词 BSU运算部件 功能验证 uvm方法 SystemVerilog语言 定向测试 约束随机测试 覆盖率驱动 代码覆盖率
在线阅读 下载PDF
作业条件下的UVMS垂直面姿态控制研究 被引量:1
4
作者 邓常红 赵康康 +1 位作者 魏延辉 牟泽昊 《内蒙古工业大学学报(自然科学版)》 2025年第1期23-29,共7页
针对水下机器人-机械臂系统(underwater vehicle-manipulator system,UVMS)水下作业的运动控制所存在的自身结构不确定性干扰、系统动力学耦合干扰以及海流干扰问题以及解决方法展开研究。对系统建立合适的坐标系,并依此得到系统的运动... 针对水下机器人-机械臂系统(underwater vehicle-manipulator system,UVMS)水下作业的运动控制所存在的自身结构不确定性干扰、系统动力学耦合干扰以及海流干扰问题以及解决方法展开研究。对系统建立合适的坐标系,并依此得到系统的运动学模型;根据系统垂直面动力学方程和系统之间耦合影响,建立了垂直面欠驱动型水下机器人数学模型。针对作业条件下UVMS垂直面姿态进行控制研究,设计了一种基于模糊自适应反步控制器,通过仿真对不同运动条件下的姿态进行控制验证,结果表明文中方法能够使UVMS在不同运动条件下保持良好的控制姿态。 展开更多
关键词 水下作业 uvmS 模型解耦 姿态控制
在线阅读 下载PDF
基于UVM的片上网络验证平台设计 被引量:1
5
作者 王鑫 张畅 《计算机测量与控制》 2025年第3期323-329,共7页
片上网络是面向多核片上系统的主要技术组成部分,网络上的通信情景复杂多变,而传统的验证平台存在输入定向,验证层次不规范,验证的覆盖率不足等问题,难以应付此类要求较高的功能验证场景;为解决此问题,构建了一个基于通用验证方法学的... 片上网络是面向多核片上系统的主要技术组成部分,网络上的通信情景复杂多变,而传统的验证平台存在输入定向,验证层次不规范,验证的覆盖率不足等问题,难以应付此类要求较高的功能验证场景;为解决此问题,构建了一个基于通用验证方法学的验证平台,并设计验证方案,采用约束随机测试为主,辅以定向测试的方式进行验证;此方法既可以保证输入的正确性,又可以提高验证效率;该平台不仅规范了验证流程,还实现了输出结果的自动比对,使验证流程更加自动化;此外,根据设计的功能需求,编写了覆盖组和交叉覆盖组来进行覆盖率的收集,以便量化验证进度;经过仿真后功能覆盖率达到100%,代码覆盖率达到87.62%,符合实验预期。 展开更多
关键词 片上网络 功能验证 通用验证方法学 覆盖率 随机测试
在线阅读 下载PDF
基于UVM自动化分层级验证FPGA仿真系统
6
作者 黄凯 时应盼 +1 位作者 李敬业 朱夕辉 《工业控制计算机》 2025年第5期107-108,共2页
提出了一种基于UVM自动化分层级验证FPGA仿真系统,很好地解决传统FPGA软件测试中复杂系统异常难以定位识别及白盒测试门槛高等问题。通过精确控制各验证层级,克服传统测试中所有问题在底层FPGA芯片代码定位的困难,增强了整体仿真的可靠... 提出了一种基于UVM自动化分层级验证FPGA仿真系统,很好地解决传统FPGA软件测试中复杂系统异常难以定位识别及白盒测试门槛高等问题。通过精确控制各验证层级,克服传统测试中所有问题在底层FPGA芯片代码定位的困难,增强了整体仿真的可靠性和高效性;其次该仿真系统具有自动化测试用例生成工具,能达到在不影响测试质量的情况下,大大降低人为错误率,提高工作效率;最后该仿真系统实现测试平台中的建模系统自动化,实现在仿真过程中实际输出值与预期模型值实时比对,从而完成整套FPGA验证流程。 展开更多
关键词 uvm自动化 分层级验证 FPGA 建模系统 仿真
在线阅读 下载PDF
基于UVM的AHB Lite eFlash控制器验证平台设计
7
作者 刘光杰 刘伟景 赖琳晖 《集成电路与嵌入式系统》 2025年第11期62-70,共9页
随着嵌入式系统对非易失性存储需求的日益增长,嵌入式闪存(eFlash)控制器的功能验证成为确保系统可靠性的关键环节。针对传统定向测试在eFlash控制器验证效率低、时序兼容性差问题,基于通用验证方法学(UVM),设计并实现了一种面向AHB-Lit... 随着嵌入式系统对非易失性存储需求的日益增长,嵌入式闪存(eFlash)控制器的功能验证成为确保系统可靠性的关键环节。针对传统定向测试在eFlash控制器验证效率低、时序兼容性差问题,基于通用验证方法学(UVM),设计并实现了一种面向AHB-Lite总线的eFlash控制器高效验证平台,平台利用UVM的核心组件实现分层架构,利用自动化脚本和集成寄存器模型(RAL),在保证验证完备性的同时,采用随机约束测试与覆盖率驱动策略缩短了验证周期。验证结果表明,该验证平台能够有效验证eFlash控制器的各项功能,并且实现代码覆盖率100%、功能覆盖率100%。 展开更多
关键词 eFlash控制器 uvm AHB-Lite 寄存器模型 验证平台 功能覆盖率 代码覆盖率
在线阅读 下载PDF
基于UVM的HDMI-CEC接口验证平台的设计与实现
8
作者 朱浩宇 刘伟景 孙瑞毅 《集成电路与嵌入式系统》 2025年第10期26-37,共12页
高清多媒体接口(HDMI)技术在生活中被广泛应用,因此HDMI-CEC(Consumer Electronics Control)接口的功能验证变得愈发重要。基于通用验证方法学(UVM)设计并实现了一个针对HDMI-CEC接口的验证平台。该平台通过模块化的设计能够生成受约束... 高清多媒体接口(HDMI)技术在生活中被广泛应用,因此HDMI-CEC(Consumer Electronics Control)接口的功能验证变得愈发重要。基于通用验证方法学(UVM)设计并实现了一个针对HDMI-CEC接口的验证平台。该平台通过模块化的设计能够生成受约束的随机测试激励,并利用功能覆盖率和代码覆盖率来评估验证的完备性。本文采用了UVM的自动化测试流程和覆盖率驱动验证策略,与传统的验证方法相比,大大提高了验证效率和精度。通过UVM的标准化类库扩展验证平台的核心组件,确保了平台的可复用性、可扩展性和可维护性。验证结果表明,该平台能够有效覆盖HDMI-CEC接口的各种功能点,使功能覆盖率和代码覆盖率均达到100%,验证了设计的正确性和稳定性。文中的研究成果为HDMI-CEC接口的验证提供了一种高效且可靠的解决方案,具有一定的工程应用价值。 展开更多
关键词 HDMI-CEC接口 功能验证 uvm 验证平台 功能覆盖率 代码覆盖率
在线阅读 下载PDF
基于UVM的视频字符监控测试方法研究
9
作者 傅烈 《计算机应用文摘》 2025年第14期97-99,共3页
随着FPGA规模的扩大和功能的日益复杂,仿真验证在设计流程中占据了关键地位。传统验证平台依赖人工构造测试用例,不仅耗时费力,而且在面对视频图像等大规模设计时,复用性较差、效率低。引入UVM验证方法学后,通过模块化、分层设计和组件... 随着FPGA规模的扩大和功能的日益复杂,仿真验证在设计流程中占据了关键地位。传统验证平台依赖人工构造测试用例,不仅耗时费力,而且在面对视频图像等大规模设计时,复用性较差、效率低。引入UVM验证方法学后,通过模块化、分层设计和组件的独立封装,显著提升了验证平台的复用性与验证效率,为FPGA设计验证提供了更高效、更系统化的解决方案。 展开更多
关键词 FPGA 复杂协议 uvm
在线阅读 下载PDF
基于UVM和DPI-C接口的MACsec验证平台
10
作者 徐晓贝 《移动信息》 2025年第1期187-189,共3页
文中提出了一种高效测试MACsec(Media Access Control Security)的功能验证平台。该平台采用高级验证方法学(Universal Verification Methodology,UVM)来构建主要架构,其核心组件MACsec AES-GCM(Galois/Counter Mode)加解密参考模型通过... 文中提出了一种高效测试MACsec(Media Access Control Security)的功能验证平台。该平台采用高级验证方法学(Universal Verification Methodology,UVM)来构建主要架构,其核心组件MACsec AES-GCM(Galois/Counter Mode)加解密参考模型通过DPI-C(Direct Programming Interface for C)接口直接调用C语言实现代码逻辑。通过跨语言的参考模型实现,节省了UVM验证平台的搭建和调试时间,同时提高了仿真效率。该验证平台已成功应用于5G通信芯片的验证过程,并实现了100%的功能覆盖率和代码覆盖率。 展开更多
关键词 MACsec uvm验证 DPI-C接口
在线阅读 下载PDF
基于UVM和Python的RSFEC验证平台
11
作者 徐晓贝 《中国信息界》 2025年第5期223-225,共3页
引言在5G通信系统中,数据传输速率与可靠性面临双重挑战。根据3GPP TS 38.212协议要求,物理层控制信道需支持高达10~^-5的误码率容限,这对底层纠错编码技术的验证提出了严苛要求。RSFEC作为核心前向纠错方案,其编解码模块的验证完备性... 引言在5G通信系统中,数据传输速率与可靠性面临双重挑战。根据3GPP TS 38.212协议要求,物理层控制信道需支持高达10~^-5的误码率容限,这对底层纠错编码技术的验证提出了严苛要求。RSFEC作为核心前向纠错方案,其编解码模块的验证完备性直接决定芯片的误码恢复能力。 展开更多
关键词 物理层控制信道 PYTHON RSFEC验证 uvm 5G通信系统
在线阅读 下载PDF
基于UVM的I2C MASTER模块的功能验证
12
作者 王婧唯 姜炎坤 林康 《微型计算机》 2025年第8期10-12,共3页
本研究目的在于验证一个系统级芯片(SoC)中的I2C MASTER模块,该模块充当外围I2C总线设备与AXI总线之间通信的枢纽。本文提出了一种基于UVM平台的I2CMASTER验证方案,通过综合运用定向测试和随机测试方法,实现了功能覆盖率和代码覆盖率的... 本研究目的在于验证一个系统级芯片(SoC)中的I2C MASTER模块,该模块充当外围I2C总线设备与AXI总线之间通信的枢纽。本文提出了一种基于UVM平台的I2CMASTER验证方案,通过综合运用定向测试和随机测试方法,实现了功能覆盖率和代码覆盖率的双百目标,从而高效地完成了模块功能的验证工作。 展开更多
关键词 uvm AXI总线 I2C
在线阅读 下载PDF
面向异构协议转换UVM验证平台中哈希表的设计与实现 被引量:1
13
作者 樊争光 沈剑良 李智超 《信息工程大学学报》 2025年第1期29-36,共8页
异构协议转换是实现不同协议间互操作性和兼容性的关键技术。然而,不同协议之间关键字段的映射关系提取过程复杂,这给功能验证带来了重大挑战。针对异构协议转换模块,在传统通用验证方法学(UVM)平台架构的基础上,增加一个专用于表项生... 异构协议转换是实现不同协议间互操作性和兼容性的关键技术。然而,不同协议之间关键字段的映射关系提取过程复杂,这给功能验证带来了重大挑战。针对异构协议转换模块,在传统通用验证方法学(UVM)平台架构的基础上,增加一个专用于表项生成的自定义组件,使用布谷鸟哈希算法实现哈希匹配表的建表和查询,降低验证平台搭建的复杂度。实验表明,哈希匹配表能够有效地供验证平台和待测设计查表解析,且协议转换模块的代码覆盖率和功能覆盖率都达到了预期的100%,为平台完成高效验证提供可靠的支持,为现有UVM验证平台的搭建提供了有价值的参考。 展开更多
关键词 异构协议转换 通用验证方法学 哈希匹配表 布谷鸟哈希算法
在线阅读 下载PDF
一种基于UVM面向RISCCPU的可重用功能验证平台 被引量:21
14
作者 谢峥 王腾 +3 位作者 雍珊珊 陈旭 苏吉婷 王新安 《北京大学学报(自然科学版)》 EI CAS CSCD 北大核心 2014年第2期221-227,共7页
以UVM验证方法学和UVM1.1标准库为基础建立验证环境,按照面向方面的模式分离功能、时序和结构属性,设计参考模型,在事务级利用知识库自动产生高功能覆盖率效果的测试用例。面向RISC CPU的功能验证实现领域重用,以PKU-DSPII为例建立完整... 以UVM验证方法学和UVM1.1标准库为基础建立验证环境,按照面向方面的模式分离功能、时序和结构属性,设计参考模型,在事务级利用知识库自动产生高功能覆盖率效果的测试用例。面向RISC CPU的功能验证实现领域重用,以PKU-DSPII为例建立完整的验证平台。实验结果表明,可重用性得到大幅提升,且测试用例的覆盖率效果提升约7%。 展开更多
关键词 uvm 面向方面建模 智能验证 领域知识重用 验证自动化
在线阅读 下载PDF
基于UVM的SoC中桥接芯片验证平台
15
作者 魏赛 王鹏 +1 位作者 陆斌 宋亚泽 《计算机仿真》 2025年第9期569-573,共5页
UVM(Universal Verification Methodology)是目前集成电路验证领域中使用最广泛的验证方法学。桥接芯片在SoC(System-on-Chip)中承担着连接不同IP核(Intellectual Property core)的关键作用。如何结合具体的桥接芯片,搭建UVM验证平台,... UVM(Universal Verification Methodology)是目前集成电路验证领域中使用最广泛的验证方法学。桥接芯片在SoC(System-on-Chip)中承担着连接不同IP核(Intellectual Property core)的关键作用。如何结合具体的桥接芯片,搭建UVM验证平台,对其进行充分验证是SoC研发流程中的难点。针对桥接芯片所连接接口协议的请求与响应机制,提出一种双FIFO(First In First Out)通道的UVM验证平台,并在验证平台中实现接口协议的乱序响应,设计连接测试、错误测试、特殊测试三个方面的激励,得到的覆盖率结果表明,该平台充分验证了桥接芯片的功能,并且分析和提高了桥接芯片读写数据的性能,对SoC的研发和验证具有重要的借鉴价值。 展开更多
关键词 通用验证方法学 系统级芯片 测试激励 覆盖率收集 性能分析
在线阅读 下载PDF
一种基于UVM的高层次化验证平台设计 被引量:16
16
作者 李晨阳 宋澍申 +1 位作者 王涛 黄坤超 《微电子学与计算机》 北大核心 2019年第6期79-83,共5页
在通用UVM验证平台的基础上,提出了双层次序列设计、数据库共享、协议模块、事件触发同步化等技术优化验证平台,实现了一种高层次化的UVM验证平台,克服了通用UVM验证难以适应多重验证环境的问题,具有更高的验证抽象级别,高效、透明和简... 在通用UVM验证平台的基础上,提出了双层次序列设计、数据库共享、协议模块、事件触发同步化等技术优化验证平台,实现了一种高层次化的UVM验证平台,克服了通用UVM验证难以适应多重验证环境的问题,具有更高的验证抽象级别,高效、透明和简洁的处理方式,良好的可重用性.通过一个平台,一次脚本化运行,实现功能覆盖率100%,测试点覆盖率100%.此方法大大简化了UVM测试的复杂性,加快了测试速度,减少了人工测试带来的潜在错误. 展开更多
关键词 uvm 层次序列 数据库 协议模块 事件触发
在线阅读 下载PDF
基于SystemC参考模型的UVM验证平台设计 被引量:6
17
作者 汪永峰 卜刚 《计算机技术与发展》 2021年第7期75-80,共6页
随着集成电路设计复杂度的不断提高,作为芯片开发周期中重要一环的芯片验证已经出现了逐渐乏力的趋势,传统的验证主要使用直接测试的方法,验证工程师们需要编写大量定向测试用例来满足验证的需求,这个过程既费时又费力,因此需要寻找新... 随着集成电路设计复杂度的不断提高,作为芯片开发周期中重要一环的芯片验证已经出现了逐渐乏力的趋势,传统的验证主要使用直接测试的方法,验证工程师们需要编写大量定向测试用例来满足验证的需求,这个过程既费时又费力,因此需要寻找新的验证方法来加快验证速度,提高验证效率。基于SystemC语言具有的强大的高层次建模能力以及UVM验证方法学具有的激励随机化、复用性高、以覆盖率为导向等诸多优势,结合SystemC语言和UVM验证方法学来搭建验证平台。使用基于SystemVerilog语言的UVM验证方法学搭建验证环境,并将SystemC语言编写的模型作为参考模型接进UVM验证平台,对超高频射频识别数字基带处理单元中读写器发送链路进行验证,统计覆盖率。结果表明,代码覆盖率和功能覆盖率均达到100%,满足了芯片验证要求,相比于传统验证方法有效地缩短了验证时间,提高了验证效率。 展开更多
关键词 芯片验证 uvm SYSTEMC uvm Connect 覆盖率
在线阅读 下载PDF
基于UVM验证方法学的AES模块级验证 被引量:17
18
作者 田劲 王小力 《微电子学与计算机》 CSCD 北大核心 2012年第8期86-90,共5页
分析了基于System Verilog语言的UVM(Universal Verification Methodology)高级验证方法学,并使用该方法学对AES(Advanced Encryption Standard)模块进行了功能验证.验证结果表明,此验证平台能够实时监测覆盖率,控制验证进程,优化验证事... 分析了基于System Verilog语言的UVM(Universal Verification Methodology)高级验证方法学,并使用该方法学对AES(Advanced Encryption Standard)模块进行了功能验证.验证结果表明,此验证平台能够实时监测覆盖率,控制验证进程,优化验证事务.该方法提高了验证的效率验和证平台的可重用性,较好地满足了芯片验证需要. 展开更多
关键词 uvm验证方法学 SYSTEM VERILOG AES 随机约束
在线阅读 下载PDF
采用UVM方法学实现验证的可重用与自动化 被引量:14
19
作者 徐金甫 李森森 《微电子学与计算机》 CSCD 北大核心 2014年第11期14-17,22,共5页
在分析UVM的基础上,重点研究了验证的可重用与自动化实现方法.重用体现在验证组件的横向、纵向重用实现和验证场景的继承、组合重用实现.自动化实现依赖平台构建时的Field-Automation机制、脚本控制的RAL模型生成以及平台运行时的仿真... 在分析UVM的基础上,重点研究了验证的可重用与自动化实现方法.重用体现在验证组件的横向、纵向重用实现和验证场景的继承、组合重用实现.自动化实现依赖平台构建时的Field-Automation机制、脚本控制的RAL模型生成以及平台运行时的仿真结果实时在线比对等.最后,以PCI Express Controller的验证工作为例,说明了如何以自动化和重用性方法为指导,快速构建结构化的UVM验证平台,实施功能验证.验证结果表明,基于自动化与可重用的验证方法能够显著提升验证效率. 展开更多
关键词 uvm 自动化 可重用 验证组件 Field-Automation机制
在线阅读 下载PDF
基于UVM验证方法学的纵向可重用研究 被引量:14
20
作者 熊涛 蒋见花 《微电子学与计算机》 CSCD 北大核心 2016年第4期64-68,共5页
现在片上系统(SOC)的复杂度和集成度越来越高,这给验证带来了巨大的挑战.传统的验证方法存在各种不足,在效率方面已经远远达不到生产的要求.UVM是近年来兴起的一种高效的通用验证方法学,不仅可以缩短验证周期,而且具有很好的可重用性.UV... 现在片上系统(SOC)的复杂度和集成度越来越高,这给验证带来了巨大的挑战.传统的验证方法存在各种不足,在效率方面已经远远达不到生产的要求.UVM是近年来兴起的一种高效的通用验证方法学,不仅可以缩短验证周期,而且具有很好的可重用性.UVM验证方法学的可重用主要分为横向的可重用和纵向的可重用,主要阐述了UVM中纵向可重用的方法,并以APB总线为例,描述了从模块级到系统级的验证平台的搭建方法,这种方法很好地体现了纵向重用提高验证效率的优势. 展开更多
关键词 uvm 纵向可重用 APB总线
在线阅读 下载PDF
上一页 1 2 10 下一页 到第
使用帮助 返回顶部