国外做的比较的ppt网站有哪些方面,建设论坛网站,重庆seo顾问,北京注册公司代理机构PSS是Accellera组织定义的测试用例生成规范#xff0c;其思想是定义一个抽象模型#xff0c;EDA工具可以从中生成适用于每个设计层次结构和每个验证平台的测试#xff0c;即PSS定义了统一的测试场景#xff0c;而场景的使用可以横跨不同验证层次和配置。 这种特性决定了PSS…PSS是Accellera组织定义的测试用例生成规范其思想是定义一个抽象模型EDA工具可以从中生成适用于每个设计层次结构和每个验证平台的测试即PSS定义了统一的测试场景而场景的使用可以横跨不同验证层次和配置。 这种特性决定了PSS本身是不可执行的用户需要EDA工具分析抽象模型从而生成实现。
一、概述
1.1 技术特征
垂直复用性不同验证层次包括模块级、子系统级、以及系统级验证软件仿真/EMU/FPGA/硅后测试水平复用性不同验证项目跨平台使用不同验证环境例如cache子系统验证、pcie子系统验证等
1.2 技术生态
商用PSS工具
Synopsys VCPS
二、具体实现
2.1 架构层次 #mermaid-svg-ajwTXVrWpaoYJJ80 {font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;fill:#333;}#mermaid-svg-ajwTXVrWpaoYJJ80 .error-icon{fill:#552222;}#mermaid-svg-ajwTXVrWpaoYJJ80 .error-text{fill:#552222;stroke:#552222;}#mermaid-svg-ajwTXVrWpaoYJJ80 .edge-thickness-normal{stroke-width:2px;}#mermaid-svg-ajwTXVrWpaoYJJ80 .edge-thickness-thick{stroke-width:3.5px;}#mermaid-svg-ajwTXVrWpaoYJJ80 .edge-pattern-solid{stroke-dasharray:0;}#mermaid-svg-ajwTXVrWpaoYJJ80 .edge-pattern-dashed{stroke-dasharray:3;}#mermaid-svg-ajwTXVrWpaoYJJ80 .edge-pattern-dotted{stroke-dasharray:2;}#mermaid-svg-ajwTXVrWpaoYJJ80 .marker{fill:#333333;stroke:#333333;}#mermaid-svg-ajwTXVrWpaoYJJ80 .marker.cross{stroke:#333333;}#mermaid-svg-ajwTXVrWpaoYJJ80 svg{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;}#mermaid-svg-ajwTXVrWpaoYJJ80 .label{font-family:"trebuchet ms",verdana,arial,sans-serif;color:#333;}#mermaid-svg-ajwTXVrWpaoYJJ80 .cluster-label text{fill:#333;}#mermaid-svg-ajwTXVrWpaoYJJ80 .cluster-label span{color:#333;}#mermaid-svg-ajwTXVrWpaoYJJ80 .label text,#mermaid-svg-ajwTXVrWpaoYJJ80 span{fill:#333;color:#333;}#mermaid-svg-ajwTXVrWpaoYJJ80 .node rect,#mermaid-svg-ajwTXVrWpaoYJJ80 .node circle,#mermaid-svg-ajwTXVrWpaoYJJ80 .node ellipse,#mermaid-svg-ajwTXVrWpaoYJJ80 .node polygon,#mermaid-svg-ajwTXVrWpaoYJJ80 .node path{fill:#ECECFF;stroke:#9370DB;stroke-width:1px;}#mermaid-svg-ajwTXVrWpaoYJJ80 .node .label{text-align:center;}#mermaid-svg-ajwTXVrWpaoYJJ80 .node.clickable{cursor:pointer;}#mermaid-svg-ajwTXVrWpaoYJJ80 .arrowheadPath{fill:#333333;}#mermaid-svg-ajwTXVrWpaoYJJ80 .edgePath .path{stroke:#333333;stroke-width:2.0px;}#mermaid-svg-ajwTXVrWpaoYJJ80 .flowchart-link{stroke:#333333;fill:none;}#mermaid-svg-ajwTXVrWpaoYJJ80 .edgeLabel{background-color:#e8e8e8;text-align:center;}#mermaid-svg-ajwTXVrWpaoYJJ80 .edgeLabel rect{opacity:0.5;background-color:#e8e8e8;fill:#e8e8e8;}#mermaid-svg-ajwTXVrWpaoYJJ80 .cluster rect{fill:#ffffde;stroke:#aaaa33;stroke-width:1px;}#mermaid-svg-ajwTXVrWpaoYJJ80 .cluster text{fill:#333;}#mermaid-svg-ajwTXVrWpaoYJJ80 .cluster span{color:#333;}#mermaid-svg-ajwTXVrWpaoYJJ80 div.mermaidTooltip{position:absolute;text-align:center;max-width:200px;padding:2px;font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:12px;background:hsl(80, 100%, 96.2745098039%);border:1px solid #aaaa33;border-radius:2px;pointer-events:none;z-index:100;}#mermaid-svg-ajwTXVrWpaoYJJ80 :root{--mermaid-font-family:"trebuchet ms",verdana,arial,sans-serif;} 导入 导入 DSL 解析器 C testcase 输入
测试用例的描述文件分为两种格式分别是DSL格式Domain Specific Language领域特定语言和C语言格式。
输出
输出就是不同验证层次下的测试用例。
2.2 设计流程
验证计划制定根据功能点搭建PSS模型模型中主要包括对测试场景或行为进行描述的action、不同action之间的组合调度、约束信息以及覆盖率组信息随后将PSS模型基于PSS解析器生成用于特定平台的测试用例。 此外也可以通过PSS模型中的覆盖率组收集基于图形的覆盖率对该类覆盖率的分析可以发现现有测试约束以及配置中可能存在的缺陷或漏洞从而得知当前生成的case是否满足验证计划中要求的全部测试场景。case生成完成后进入动态仿真阶段。 注意PSS模型构建的工作主要分为两部分其一是利用PSS做测试场景建模其二是采用PSS测试场景并为之提供映射测试单元动作的接口语言实现。由于PSS调用了验证人员提供的接口库确保了在特定场景下的随机性因此通常先利用PSS实现测试场景描述再利用PSS测试场景来生成更为详尽且针对DUT随机性更强、覆盖更全的测试代码。
2.3 举例说明
以PCIe控制器的模块级、子系统、系统级验证举例说明。
PSS模型构建——跨层次验证测试用例生成
模块级验证关注单一功能的测试场景例如PCIe控制的AXI总线接口组件的读写功能、ATU地址转换、TL层模块的cfg/mem报文等 子系统验证关注多个模块间的协调组合场景例如AXI slave接口事务到ATU地址转换单元再到不同的TLP事务之间的组合 而在系统级验证除了多个模块单元间的协调组合还会加入多个子系统之间的调度与协调例如PCIe控制器接入到SoC后与中断控制器中断路由、与DDR的数据读写交互等。 因此从验证流程来讲验证层次越高验证场景越复杂但大多会涵盖底层级验证中的测试场景。
三、PSS标准
action的特征
