一个功能较强的交互式混合级逻辑模拟工具SIM 被引量：1

1

作者 边计年 卢勤 +2 位作者 吕昌 刘渝 连永君 《计算机辅助设计与图形学学报》 EI CSCD 1991年第2期55-60,54,共7页

SIM是一个功能较强的交互式混合级逻辑模拟工具,是VLSI CAD系统PANDA的一个重要组成部分。SIM覆盖门级、功能块级和开关级,把三者有机地结合在一起,既能模拟其中任一级的电路,也能模拟三种级别混合的电路。在门和功能块级模拟中可以针... SIM是一个功能较强的交互式混合级逻辑模拟工具,是VLSI CAD系统PANDA的一个重要组成部分。SIM覆盖门级、功能块级和开关级,把三者有机地结合在一起,既能模拟其中任一级的电路,也能模拟三种级别混合的电路。在门和功能块级模拟中可以针对各种延迟类型进行模拟。功能块可以是由用户用功能描述语言FDL描述的任意电路模块。开关级模拟采用类似MOSSIM的算法计算各节点稳态值,直接利用晶体管的长宽比或等效电阻电容等参数进行模拟,在计算延迟时采用较为精确的模型,使得计算精度比门级要高得多,SIM有方便、丰富、直观的交互处理功能,便于用户灵活地操作。在开发SIM的过程中,从一开始就遵循软件工程方法,具有较好的灵活性、可扩充性、可维护性,附有完备的文档资料。本文阐述SIM的基本功能和总体设计思想。 展开更多

关键词 逻辑模拟 SIM 功能块 软件工程方法 总体设计思想 可扩充性 可维护性 功能描述 稳态值 电路模块

在线阅读 下载PDF 职称材料

VITAL——设计ASIC模型的VHDL基准 被引量：5

2

作者 边计年 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 1998年第2期161-166,共6页

ＶＩＴＡＬ是ＩＥＥＥ新近制定的一个用ＶＨＤＬ建立ＡＳＩＣ模型库的基准，它为ＡＳＩＣ库的建立、电路设计的描述提供了便利的、格式相对固定的描述方法，并为提高模拟性能提供了依据和基础．本文介绍ＶＩＴＡＬ的基本内容，并介绍用... ＶＩＴＡＬ是ＩＥＥＥ新近制定的一个用ＶＨＤＬ建立ＡＳＩＣ模型库的基准，它为ＡＳＩＣ库的建立、电路设计的描述提供了便利的、格式相对固定的描述方法，并为提高模拟性能提供了依据和基础．本文介绍ＶＩＴＡＬ的基本内容，并介绍用ＶＩＴＡＬ描述电路模型的方法． 展开更多

关键词 VITAL VHDL路 ASIC模型 专用集成电路 设计

在线阅读 下载PDF 职称材料

V2C++——一个用C++实现的VHDL翻译型模拟器 被引量：4

3

作者 边计年 陈菁 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 1998年第2期167-172,共6页

由于面向对象的Ｃ＋＋语言更贴近描述硬件对象的ＶＨＤＬ语言，用Ｃ＋＋实现翻译型ＶＨＤＬ模拟器，并利用Ｃ＋＋本身的编译器的优化功能，可以得到运行的时间和空间方面效率较高的ＶＨＤＬ模拟器．Ｖ２Ｃ＋＋的原型设计和初步实践表明... 由于面向对象的Ｃ＋＋语言更贴近描述硬件对象的ＶＨＤＬ语言，用Ｃ＋＋实现翻译型ＶＨＤＬ模拟器，并利用Ｃ＋＋本身的编译器的优化功能，可以得到运行的时间和空间方面效率较高的ＶＨＤＬ模拟器．Ｖ２Ｃ＋＋的原型设计和初步实践表明，用Ｃ＋＋实现ＶＨＤＬ翻译性模拟器比解释性模拟器具有较高效率，利于较大规模的电路的模拟． 展开更多

关键词 V2C++语言 C++语言 VHDL语言

在线阅读 下载PDF 职称材料

底层相关的VLSI高层次设计策略 被引量：2

4

作者 边计年 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2000年第11期827-829,共3页

在 VL SI系统设计、行为设计和逻辑设计过程中 ,未考虑到的与半导体制造工艺有关的因素 (如延迟、功耗问题等 )严重影响设计结果的性能 ,以至使物理设计结果的性能远离原来的设计目标 .针对这个问题 ,文中提出与底层有关的 VL SI高层次... 在 VL SI系统设计、行为设计和逻辑设计过程中 ,未考虑到的与半导体制造工艺有关的因素 (如延迟、功耗问题等 )严重影响设计结果的性能 ,以至使物理设计结果的性能远离原来的设计目标 .针对这个问题 ,文中提出与底层有关的 VL SI高层次设计策略 ,将影响性能的底层参数和信息引入高层次设计中 。 展开更多

关键词 VLSI 时处驱动 CAD 高层次设计 工艺映射

在线阅读 下载PDF 职称材料

适应调试功能的VHDL模型及模拟算法 被引量：2

5

作者 边计年 卢峰 郭芳 《计算机学报》 EI CSCD 北大核心 1997年第11期996-1002,共7页

本文提出一个适应调试功能的ＶＨＤＬ模型及ＶＨＤＬ模拟算法──ＶＳＩＭ．它与可视化ＶＨＤＬ原理图输入工具ＶＤＥＳ和高级图形调试器ＶＤＢＸ结合在一起，为设计者检查、修改自己的设计提供了极大的便利．该模拟器采用层次式结构行... 本文提出一个适应调试功能的ＶＨＤＬ模型及ＶＨＤＬ模拟算法──ＶＳＩＭ．它与可视化ＶＨＤＬ原理图输入工具ＶＤＥＳ和高级图形调试器ＶＤＢＸ结合在一起，为设计者检查、修改自己的设计提供了极大的便利．该模拟器采用层次式结构行为混合模型，保存ＶＨＤＬ描述的所有信息和结构，以利于实现调试功能．模拟算法采用基于进程的事件驱动算法及层次式模块调用算法，并提供模拟时间、语句行、模块（包括元件、进程和子程序）、信号／变量、条件等各种中断类型并能继续模拟． 展开更多

关键词 硬件描述语言 VHDL语言 VHDL模拟 算法

在线阅读 下载PDF 职称材料

一种基于层次平台的SoC系统设计方法 被引量：9

6

作者 熊志辉 李思昆 +2 位作者 陈吉华 王海力 边计年 《电子学报》 EI CAS CSCD 北大核心 2004年第11期1815-1819,共5页

本文提出基于层次平台的SoC系统设计方法Hi PBD ,将SoC系统设计分为系统模型层、虚部件层和实部件层 ,达到系统设计中功能与结构分离、计算与通信分离的目的 .Hi PBD通过设计规划与虚 实综合完成 3个设计层次之间的 2次映射 .该方法不... 本文提出基于层次平台的SoC系统设计方法Hi PBD ,将SoC系统设计分为系统模型层、虚部件层和实部件层 ,达到系统设计中功能与结构分离、计算与通信分离的目的 .Hi PBD通过设计规划与虚 实综合完成 3个设计层次之间的 2次映射 .该方法不仅重用 3个层次的设计模板 ,而且重用设计层次间 2次映射的结果 ,提高了重用效率 .此外 ,Hi PBD方法支持在 3个层次修改相应设计模板以增强设计灵活性 ,采用性能约束传播机制确保最终设计目标满足性能要求 .实验表明 ,Hi PBD方法可提高SoC系统级设计效率 30 % 4 0 % ,平台模板重用率达到 75 % 90 % . 展开更多

关键词 系统芯片 基于平台的设计 虚拟设计 IP重用 系统重用

在线阅读 下载PDF 职称材料

OBDD变量排序的自适应选择算法 被引量：8

7

作者 贝劲松 边计年 +2 位作者 薛宏熙 龙望宁 洪先龙 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 1999年第5期412-416,共5页

有序的二叉决策图（ＯＢＤＤ）是形式验证领域的基础技术之一．由于ＯＢＤＤ的大小对变量序非常敏感，使得变量排序问题成为最关键的一个问题．首先将ＯＢＤＤ变量排序问题分解为３ 个子问题，定义了若干启发信息，给出了上述子问题的... 有序的二叉决策图（ＯＢＤＤ）是形式验证领域的基础技术之一．由于ＯＢＤＤ的大小对变量序非常敏感，使得变量排序问题成为最关键的一个问题．首先将ＯＢＤＤ变量排序问题分解为３ 个子问题，定义了若干启发信息，给出了上述子问题的启发式解法；然后提出了一个变量排序自适应选择算法，从若干候选变量序中选出“最佳”的变量序．最后给出了ＩＳＣＡＳ８５ 电路的实验结果． 展开更多

关键词 布尔函数 OBDD 组合电路 形式验证 集成电路

在线阅读 下载PDF 职称材料

SoC系统级设计方法与技术 被引量：8

8

作者 王海力 边计年 +1 位作者 吴强 熊志辉 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2006年第11期1637-1644,共8页

介绍了以Y图为中心的系统级设计方法研究主题,从软硬件协同设计技术、设计重用技术以及与底层相结合设计技术3方面探讨了系统级关键设计技术的研究进展·从设计方法和技术路线上,将当前的研究工作归纳为基于SpecC自顶向下细化求精... 介绍了以Y图为中心的系统级设计方法研究主题,从软硬件协同设计技术、设计重用技术以及与底层相结合设计技术3方面探讨了系统级关键设计技术的研究进展·从设计方法和技术路线上,将当前的研究工作归纳为基于SpecC自顶向下细化求精的设计方法、基于组件多处理器核SoC自底向上搭积木的设计方法和基于平台上下结合分而治之的设计方法3类·在此基础上,对各类方法的基本思想、描述语言、设计模型和关键技术等进行了分析与对比,并给出了该领域存在的研究问题及其今后的研究方向和重点· 展开更多

关键词 电子设计自动化 系统芯片 系统级设计方法学 知识产权核

在线阅读 下载PDF 职称材料

高层次综合中基于整数线性规划模型的多目标功耗优化算法 被引量：7

9

作者 刘志鹏 边计年 +1 位作者 赵震 周强 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第8期966-972,共7页

考虑峰值周期功耗和峰值模块功耗的同时优化,并尽可能地降低电路的功耗时延乘积指标.利用参数化功能单元库中各个功能模块的具体物理信息,在多供电电压、多调度周期模式下,建立了整数线性规划模型及其相应的6组约束条件,并将高层次综合... 考虑峰值周期功耗和峰值模块功耗的同时优化,并尽可能地降低电路的功耗时延乘积指标.利用参数化功能单元库中各个功能模块的具体物理信息,在多供电电压、多调度周期模式下,建立了整数线性规划模型及其相应的6组约束条件,并将高层次综合中的调度过程和功能单元的绑定过程统一起来进行了模型化.文中算法已经成功地应用到自行开发的高层次综合工具之中,算法中得到的数据结果可以直接用于下一步的布图规划.对测试用例的实验进一步说明:同时优化峰值周期功耗和峰值模块功耗可以取得更好的综合结果,并且改善功耗时延乘积项的值(平均降低了30%),提高电路的可靠性和稳定性. 展开更多

关键词 整数线性规划 峰值周期功耗 峰值模块功耗 功耗时延乘积项

在线阅读 下载PDF 职称材料

RTL验证中的混合可满足性求解 被引量：11

10

作者 邓澍军 吴为民 边计年 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第3期273-278,285,共7页

RTL混合可满足性求解方法分为基于可满足性模理论(SMT)和基于电路结构搜索两大类.前者主要使用逻辑推理的方法,目前已在处理器验证中得到了广泛的应用,主要得益于SMT支持用于描述验证条件的基础理论;后者能够充分地利用电路中的约束信息... RTL混合可满足性求解方法分为基于可满足性模理论(SMT)和基于电路结构搜索两大类.前者主要使用逻辑推理的方法,目前已在处理器验证中得到了广泛的应用,主要得益于SMT支持用于描述验证条件的基础理论;后者能够充分地利用电路中的约束信息,因而求解效率较高.介绍了每一大类中的典型研究及其所采用的重要策略,以及RTL可满足性求解方面的研究进展. 展开更多

关键词 形式验证 寄存器传输级 可满足性 可满足性模理论

在线阅读 下载PDF 职称材料

支持平台设计方法的系统芯片协同设计环境 被引量：4

11

作者 熊志辉 李思昆 +2 位作者 陈吉华 王海力 边计年 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2005年第7期1401-1406,共6页

面向基于平台的设计方法,开发了系统芯片软/硬件协同设计环境YH-PBDE·在描述YH-PBDE的总体结构之后,详细介绍了该环境中的三个设计层次与二次映射过程,重点论述了YH-PBDE中基于约束任务流图的系统建模方法、具有初始信息素的蚂蚁... 面向基于平台的设计方法,开发了系统芯片软/硬件协同设计环境YH-PBDE·在描述YH-PBDE的总体结构之后,详细介绍了该环境中的三个设计层次与二次映射过程,重点论述了YH-PBDE中基于约束任务流图的系统建模方法、具有初始信息素的蚂蚁寻优软硬件划分算法和基于层次有向无环图的设计约束分配方法·结合具有录音功能的MP3播放器芯片的系统级设计方法,说明了在YH-PBDE中进行系统芯片软硬件协同设计的过程· 展开更多

关键词 基于平台的设计 系统芯片(SoC) 软/硬件协同设计 系统重用

在线阅读 下载PDF 职称材料

基于抽象体系结构模板的多路软硬件划分算法 被引量：7

12

作者 吴强 边计年 薛宏熙 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第11期1562-1567,共6页

随着系统芯片技术在嵌入式系统中的应用 ,软硬件划分从传统的二划分问题转化为多划分问题 文中对此提出了一个由通信通道连接的处理单元网络的抽象模型来描述多处理模块结构 ,并利用模拟退火算法与启发式的调度算法分别完成多路软硬件... 随着系统芯片技术在嵌入式系统中的应用 ,软硬件划分从传统的二划分问题转化为多划分问题 文中对此提出了一个由通信通道连接的处理单元网络的抽象模型来描述多处理模块结构 ,并利用模拟退火算法与启发式的调度算法分别完成多路软硬件划分与系统性能和代价的估算 初步的实验结果表明 ,该算法能有效地选择合适的体系结构 。 展开更多

关键词 多路软硬件划分 抽象体系结构模板 系统芯片 嵌入式系统

在线阅读 下载PDF 职称材料

一种时间复杂度为O(m)的无向超图核值求解算法 被引量：4

13

作者 冷明 孙凌宇 +1 位作者 边计年 马昱春 《小型微型计算机系统》 CSCD 北大核心 2013年第11期2568-2573,共6页

阐述了图核的全局信息在结点匹配中的应用,将图核理论扩展到超图上,提出了超图的核等相关概念,并给出了超图核值的形式化描述;分析了超图k水平p-核的构造性属性,给出了求解超图核值算法的基本步骤,进而讨论了降低时间复杂度的改进措施,... 阐述了图核的全局信息在结点匹配中的应用,将图核理论扩展到超图上,提出了超图的核等相关概念,并给出了超图核值的形式化描述;分析了超图k水平p-核的构造性属性,给出了求解超图核值算法的基本步骤,进而讨论了降低时间复杂度的改进措施,提出了基于结点属性函数快速求解超图核值的算法框架;重点阐述了无向超图的改进压缩存储格式,将无向超图核值的求解算法从结点的度属性扩展到不同的结点属性函数,并给出了基于该存储格式的结点属性函数p5(v,U)核值求解算法,其时间复杂度为O(m),空间复杂度为O(n+m+z);最后,基于ISPD98测试基准的18组无向超图进行了结点的度和核值的求解对比实验,其数据对比表明:核值相比结点的度更能反映出结点在超图中的重要程度. 展开更多

关键词 无向超图 核值 时间复杂度 算法

在线阅读 下载PDF 职称材料

SoC接口综合的层次化通信模型 被引量：3

14

作者 王海力 边计年 +2 位作者 熊志辉 李思昆 陈吉华 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2005年第8期1803-1808,共6页

以自主研发的软硬件协同设计平台YH-PBDE为基础,提出一个逐层细化的层次化通信模型.该模型遵循计算与通信相分离的设计原则,分为系统、虚部件和实部件三个层次,层与层之间的接口通过映射和细化两种方式实现;同时,基于该模型阐述了一种... 以自主研发的软硬件协同设计平台YH-PBDE为基础,提出一个逐层细化的层次化通信模型.该模型遵循计算与通信相分离的设计原则,分为系统、虚部件和实部件三个层次,层与层之间的接口通过映射和细化两种方式实现;同时,基于该模型阐述了一种新颖的虚实部件接口综合算法流程,为不同知识产权核之间的平滑通信提供了实用的解决方案.该模型和方法可以有效地实现不同核之间的自动集成,使复用技术成为可能. 展开更多

关键词 系统级设计 层次化通信模型 接口综合 知识产权核

在线阅读 下载PDF 职称材料

高层次综合中面向功耗优化的方法与技术 被引量：5

15

作者 刘志鹏 边计年 周强 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第11期1373-1380,共8页

介绍了高层次综合阶段面向电路功耗的主要优化方法及其研究进展.集成电路设计制造工艺的持续发展使得电路功耗逐步超越了原有的面积、时延等指标,一举成为设计的主导因素.研究表明:集成电路设计层次越高,对电路功耗的优化潜力也就越大,... 介绍了高层次综合阶段面向电路功耗的主要优化方法及其研究进展.集成电路设计制造工艺的持续发展使得电路功耗逐步超越了原有的面积、时延等指标,一举成为设计的主导因素.研究表明:集成电路设计层次越高,对电路功耗的优化潜力也就越大,这就要求设计人员在高层次综合阶段即开始考虑对功耗进行有效的降低和优化.对本领域具有代表性的算法进行了系统的描述,并且对这些算法的基本思路进行了相应的分析和总结. 展开更多

关键词 高层次综合 低功耗 开关频度 热密度

在线阅读 下载PDF 职称材料

软硬件协同验证系统平台间通讯设计 被引量：4

16

作者 朱明 边计年 薛宏熙 《计算机工程与应用》 CSCD 北大核心 2003年第27期122-124,共3页

软硬件协同设计是软件、硬件的并行设计,包括系统描述、软硬件划分、设计实现和软硬件协同验证等几个阶段[1]。软硬件协同验证同时验证软件和硬件,使用处理器仿真器进行协同验证是其中一种重要的方法。一个能够对片上系统(SOC)设计进行... 软硬件协同设计是软件、硬件的并行设计,包括系统描述、软硬件划分、设计实现和软硬件协同验证等几个阶段[1]。软硬件协同验证同时验证软件和硬件,使用处理器仿真器进行协同验证是其中一种重要的方法。一个能够对片上系统(SOC)设计进行全面快速验证的测试系统将会大大提高协同设计的效率[2]。测试系统中不同平台之间数据和信号的发送与接收是系统中必不可少的组成部分。该文介绍了测试系统平台间通讯方式和通讯协议的设计与实现。 展开更多

关键词 软硬件协同设计 软硬件协同验证 通讯 并口 JTAG加载 SOC

在线阅读 下载PDF 职称材料

超图划分问题的元胞自动机模型及算法研究 被引量：2

17

作者 冷明 孙凌宇 +2 位作者 边计年 马昱春 朱平 《计算机工程》 CAS CSCD 2012年第15期23-27,共5页

对超图划分问题运用元胞自动机理论进行分析建模,提出一种元胞自动机模型以及基于该模型的赋权超图划分优化算法。在该模型中,元胞对应于赋权超图中的结点,邻接元胞对应于邻接超边所包含的结点,元胞的状态对应于所在的划分子集。引入二... 对超图划分问题运用元胞自动机理论进行分析建模,提出一种元胞自动机模型以及基于该模型的赋权超图划分优化算法。在该模型中,元胞对应于赋权超图中的结点,邻接元胞对应于邻接超边所包含的结点,元胞的状态对应于所在的划分子集。引入二维辅助数组存储每条超边在划分子集中的结点个数,给出快速的元胞收益值和划分割切值的计算方法,从而避免遍历超边中的结点。实验结果表明,与赋权图划分算法和迁移方法相比,该算法可以取得更优的划分,且时间复杂度和空间复杂度较低。 展开更多

关键词 赋权超图 划分算法 元胞自动机 时间复杂度 空间复杂度

在线阅读 下载PDF 职称材料

系统级综合中结合资源分配的调度算法(英文) 被引量：3

18

作者 吴强 边计年 薛宏熙 《软件学报》 EI CSCD 北大核心 2007年第2期220-228,共9页

在系统级综合中,资源的分配通常由设计者指定,或在设计空间搜索的最外层循环中进行枚举探索.提出了一种结合资源分配的启发式调度算法.它根据当前系统划分的结果,在调度过程中寻找合适的所需资源实例的数目,从而确定系统的资源分配以及... 在系统级综合中,资源的分配通常由设计者指定,或在设计空间搜索的最外层循环中进行枚举探索.提出了一种结合资源分配的启发式调度算法.它根据当前系统划分的结果,在调度过程中寻找合适的所需资源实例的数目,从而确定系统的资源分配以及调度指派方案.应用该调度算法可使设计空间搜索过程简化为划分、调度和评估三个步骤,省去了最外层的资源分配枚举循环,提高了搜索效率.实验结果验证了该算法的可行性和有效性. 展开更多

关键词 任务调度 资源分配 启发式算法 设计空间搜索 系统级综合

在线阅读 下载PDF 职称材料

形式验证中同步时序电路的VHDL描述到S^2-FSM的转换 被引量：3

19

作者 贝劲松 李洪星 +2 位作者 边计年 薛宏熙 洪先龙 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 1999年第3期196-199,共4页

符号模型检查（ＳｙｍｂｏｌｉｃＭｏｄｅｌＣｈｅｃｋｉｎｇ，ＳＭＣ）是一种有效的形式验证方法．该方法主要有２个难点：一个是建模，即如何建立并用有限内存来表示电路的状态机模型；另一个是在此模型基础上的验证算法．由于验证时... 符号模型检查（ＳｙｍｂｏｌｉｃＭｏｄｅｌＣｈｅｃｋｉｎｇ，ＳＭＣ）是一种有效的形式验证方法．该方法主要有２个难点：一个是建模，即如何建立并用有限内存来表示电路的状态机模型；另一个是在此模型基础上的验证算法．由于验证时间和有限状态机模型的大小是直接相关的，因而模型的大小就成为ＳＭＣ中的关键问题．本文提出一种基于同步电路行为描述的新的有限状态机模型Ｓ２－ＦＳＭ，并给出从同步电路的ＶＨＤＬ描述建立这种模型的过程．由于该模型的状态转换函数是基于时钟周期的，消去了与时钟无关的大量中间变量，所以同Ｄｅｈａｒｂｅ提出的模型相比，它的状态数大大减少．若干电路的实验结果表明，该模型由于减少了状态规模，建模时间和可达性分析时间大大减少，效果十分显著． 展开更多

关键词 形式验证 VHDL S^2-FSM 同步时序电路

在线阅读 下载PDF 职称材料

软硬件划分中基于一种新的层次化控制数据流图的粒度变换 被引量：2

20

作者 吴强 Wang +3 位作者 Yun-feng 王云峰 边计年 薛宏熙 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2005年第3期387-393,共7页

在一种控制数据流图定义的基础上 ,提出了面向软硬件划分中粒度选择的粒度变换方法 变换以层次化结点为中介 ,包括合并和展开操作 ,并遵循所指定的若干要求以保证变换前后的系统表示在形式和功能上的一致性 分析表明 ,这一变换过程简... 在一种控制数据流图定义的基础上 ,提出了面向软硬件划分中粒度选择的粒度变换方法 变换以层次化结点为中介 ,包括合并和展开操作 ,并遵循所指定的若干要求以保证变换前后的系统表示在形式和功能上的一致性 分析表明 ,这一变换过程简单快速 ,变换前后功能一致、形式统一 。 展开更多

关键词 层次化控制数据流图 粒度选择 粒度变换 软硬件划分

在线阅读 下载PDF 职称材料