IC验证培训——Accellera Portable Stimulus Standard准备好了么?

2023-10-14 12:10

本文主要是介绍IC验证培训——Accellera Portable Stimulus Standard准备好了么?,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

 

rockeric.com

背景介绍

标准的制定是一个棘手的平衡问题,特别是在进入一个新领域的时候。Accellera开发的Portable Stimulus Standard (可移植激励标准,下称PSS)就是其中之一。

PSS可能是自Verilog和VHDL以来最重要的标准协议了。如果说有什么应该冠以颠覆性的标题,那一定就是它了。它是第一个增加抽象验证过程的同时,正确地重新定义了验证的标准。我们已经存在一种基于非常不稳定的基础架构的验证方法,并且不可否认的是这种验证方法做得很好。它集中精力于激励而不是检测,并且基于检测报告来结束而不是验证的意图。

 

PSS定义了一种基于验证意图的模型。它是最接近正在开发的系统的需求文档的模型。用这个模型可以通过针对虚拟原型,simulation,emulation,FPGA原型甚至实际芯片的任何工具生成自检模板。它还将层次结构和重用的概念引入验证领域,使得模型可以在没有修改的情况下在更大的系统中开发和使用,就像在设计中一样。

 

PSS现状

PSS将为验证流程带来综合的效果。只需要想想RTL综合对硬件设计流程的影响,那就是PSS对验证流程产生的影响。随机约束不能等效于综合,它更像是基于验证工程师制作的指导模型,实现让小白都能做验证。在验证的早期,它提高了生产力并有助于提供更好的质量。但随着设计复杂性的增加,这些收益一直在减少。

 

而PSS远不止于此。 PSS使动态验证和形式验证比以往更加紧密。一个在DVCon(ASIC设计与验证大会)的会议将两方向的人聚集在一起,进行了一些初步讨论。它将改变覆盖率等领域,并将对开发流程的许多方面产生深远的影响。这些是委员会尚未研究过的领域。他们专注于模拟和仿真,这两个领域在如今有着最大的影响,并将为他们提供最快的投资回报。

 

十分合理的说,一个标准应该尽快开发和发布。因为所有厂商都受到基于专有标准的工具的限制,用户群体希望在投入大量时间和精力之前看到标准。这就造成了矛盾冲突。一方面如果没有行业标准,采用率将很低,而另一方面,如果没有充分的采用,工具的潜在范围将无法充分发展。但是如果当前的标准限制了它的最终能力呢?一个行业标准通常只有一次机会,发布之后一旦大家已经充分习惯了它,它要变化将加倍困难。

 

NVIDIA首席工程师Mark Glasser最近撰写了一篇名为“可以保存可移植激励吗?”(“Can Portable Stimulus be saved?” )的博客。在该博客中,他概述了他认为可能限制标准的实用性的一些潜在问题。其他用户也表达了类似的担忧。但是很少有公司和专家有相应的时间和知识来指导这些标准的发展。

 

Accellera委员会明智地延长了该标准的早期采用者版本的公开审查期到10月底,但这仍然给用户带来了挑战。现在不存在工具以允许他们实际尝试任何东西。现有的唯一体验是基于针对几种使用模型的专有语言,而这只是它的最终影响的一小部分。

 

时间已经不多了,这一行业需要其行业杰出者参与此标准。如果没有采用正确的标准,整个行业将在未来几十年内为其付出代价。这样的机会我们不是经常能得到的,不要浪费了它们。

 

 

路桑说

面对PSS真是又激动又担心啊,比掀起新娘的盖头还激动,比产房外面等消息还担心啊!实际上,在路桑的红宝书(第16章 跨平台移植复用)中已经介绍了一些参与到PSS标准制定过程中的公司,和一些已经在应用PSS理念的工具。

另外,2019年的DVCon中国大会已经即将要开始广发英雄帖召集各路高手提交论文摘要了,路桑作为明年的大会主席,也将在9月初与大家更详细地介绍DVCon的设计验证领域论文摘要的征集情况,以及路科给出的沉甸甸的诚意(有奖征文活动,就让我们九月初拭目以待DVCon中国2019年的论文征集揭幕吧!

 

 

原文来自Semiengineering “Getting A Standard Right The First Time”

https://semiengineering.com/getting-a-standard-right-the-first-time/

想更多的了解路科验证?

 路科验证官网:路科验证 - 专注于数字芯片验证的系统思想和前沿工程领域

 EETOP路科首页: EETOP - 路科验证 - IC验证培训 

 CSDN路科首页:CSDN - 路科验证 - IC验证培训

 技术培训或商业合作,请发送邮件至rocker.ic@vip.163.com

 

这篇关于IC验证培训——Accellera Portable Stimulus Standard准备好了么?的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/210415

相关文章

Spring Security基于数据库验证流程详解

Spring Security 校验流程图 相关解释说明(认真看哦) AbstractAuthenticationProcessingFilter 抽象类 /*** 调用 #requiresAuthentication(HttpServletRequest, HttpServletResponse) 决定是否需要进行验证操作。* 如果需要验证,则会调用 #attemptAuthentica

C++ | Leetcode C++题解之第393题UTF-8编码验证

题目: 题解: class Solution {public:static const int MASK1 = 1 << 7;static const int MASK2 = (1 << 7) + (1 << 6);bool isValid(int num) {return (num & MASK2) == MASK1;}int getBytes(int num) {if ((num &

C语言 | Leetcode C语言题解之第393题UTF-8编码验证

题目: 题解: static const int MASK1 = 1 << 7;static const int MASK2 = (1 << 7) + (1 << 6);bool isValid(int num) {return (num & MASK2) == MASK1;}int getBytes(int num) {if ((num & MASK1) == 0) {return

easyui同时验证账户格式和ajax是否存在

accountName: {validator: function (value, param) {if (!/^[a-zA-Z][a-zA-Z0-9_]{3,15}$/i.test(value)) {$.fn.validatebox.defaults.rules.accountName.message = '账户名称不合法(字母开头,允许4-16字节,允许字母数字下划线)';return fal

easyui 验证下拉菜单select

validatebox.js中添加以下方法: selectRequired: {validator: function (value) {if (value == "" || value.indexOf('请选择') >= 0 || value.indexOf('全部') >= 0) {return false;}else {return true;}},message: '该下拉框为必选项'}

内卷时代无人机培训机构如何做大做强

在当今社会,随着科技的飞速发展,“内卷”一词频繁被提及,反映了各行业竞争日益激烈的现象。对于无人机培训行业而言,如何在这样的时代背景下脱颖而出,实现做大做强的目标,成为每个培训机构必须深思的问题。以下是从八个关键方面提出的策略,旨在帮助无人机培训机构在内卷时代中稳步前行。 1. 精准定位市场需求 深入研究市场:通过市场调研,了解无人机行业的最新趋势、政策导向及未来发展方向。 明确目标

web群集--nginx配置文件location匹配符的优先级顺序详解及验证

文章目录 前言优先级顺序优先级顺序(详解)1. 精确匹配(Exact Match)2. 正则表达式匹配(Regex Match)3. 前缀匹配(Prefix Match) 匹配规则的综合应用验证优先级 前言 location的作用 在 NGINX 中,location 指令用于定义如何处理特定的请求 URI。由于网站往往需要不同的处理方式来适应各种请求,NGINX 提供了多种匹

Detectorn2预训练模型复现:数据准备、训练命令、日志分析与输出目录

Detectorn2预训练模型复现:数据准备、训练命令、日志分析与输出目录 在深度学习项目中,目标检测是一项重要的任务。本文将详细介绍如何使用Detectron2进行目标检测模型的复现训练,涵盖训练数据准备、训练命令、训练日志分析、训练指标以及训练输出目录的各个文件及其作用。特别地,我们将演示在训练过程中出现中断后,如何使用 resume 功能继续训练,并将我们复现的模型与Model Zoo中的

React 笔记 父子组件传值 | 父组件调用子组件数据 | defaultProps | propsType合法性验证

1.通过props实现父组件像子组件传值 、方法、甚至整个父组件 传递整个父组件则   [变量名]={this} import Header from "./Header"render(){return(<Header msg={"我是props传递的数据"}/>)} import React,{Component} from "react";class Header extends

第十章 【后端】环境准备(10.4)——Vagrant

10.4 Vagrant Vagrant 官网 Vagrant 镜像仓库 下载 安装 直接 install。 设置环境变量 Vagrant 默认将镜像保存在用户文件夹的 .vagrant.d 目录下,若用户文件夹在C盘,下载的镜像文件会大量占用C盘空间。设置环境变量 VAGRANT_HOME 后,Vagrant 会将镜像保存到环境变量指定的文件夹下。