首页
学习
活动
专区
圈层
工具
发布
首页
学习
活动
专区
圈层
工具
MCP广场
社区首页 >专栏 >一颗小芯片的验证模块划分

一颗小芯片的验证模块划分

作者头像
tech life
发布于 2023-10-02 05:30:23
发布于 2023-10-02 05:30:23
1450
举报

任何芯片都需要把芯片划分成更便于管理的小模块/特性进行验证。

在这里,引入特性(feature)验证的概念,即根据被测芯片的特性分配验证资源和人力。这样做虽然简化了验证资源分配和验证经理跟踪验证进度的难度,但也带来很大的完备性风险

一个特性很少能完全独立于其他特性。多个特性经常共享芯片的资源,它们会相互协作完成整颗芯片的预期功能。因此,单独验证某个特性可能无法发现那些只在特性间交互时才会表现出来的bug。

在完成相应特性验证之后,各个特性的验证负责人完全可以跳出原有的思维,不需要进行这样的划分,应该根据整颗芯片的预期功能而不是某个单一特性来划分。

验证人员就可以选择一些合适的特性组合,目的就是验证一些整颗芯片的预期功能。芯片验证人员应该探索芯片的运行路径,以不同的顺序执行许多特性。

各种特性之间的相互作用

验证生涯中大量存在验证人员竭尽全力验证一个特性后没发现bug,可是当它与其他特性进行交互时却存在bug的情况。

从理论上说,只有把所有的特性两个一组成对验证,然后再三个一组,四个一组,等等.....·才可能确定它们之间的交互是否存在bug。

很明显,使用这样穷尽验证的策略是不现实的,而且在多数情况下也没有必要。

通过询问一系列的问题可以指导确定是否需要将两个特性放在一起验证。首先从特性列表中随意选取两项,然后问自己下面这些问题。

  • 有关输入的问题: 这两个特性会不会处理同一个输入?
  • 有关输出的问题: 这两个特性功能是否影响同一个输出?
  • 有关数据的问题: 这两个特性会操作其共享的一些内部数据?是读取还是修改共享数据?

如果对以上任何一个问题的回答是“是”,那么这两个功能就会相互交互,因此需要放在一起验证。

本文参与 腾讯云自媒体同步曝光计划,分享自微信公众号。
原始发表:2023-09-29 12:09,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 数字芯片实验室 微信公众号,前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体同步曝光计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
暂无评论
推荐阅读
编辑精选文章
换一批
Spring Cloud OAuth2 实现用户认证及单点登录
OAuth 2 有四种授权模式,分别是授权码模式(authorization code)、简化模式(implicit)、密码模式(resource owner password credentials)、客户端模式(client credentials),具体 OAuth2 是什么,可以参考这篇文章。(http://www.ruanyifeng.com/blog/2014/05/oauth_2_0.html)
古时的风筝
2019/10/24
2.1K0
Spring Cloud OAuth2 实现用户认证及单点登录
Spring Cloud Security实现微服务间的安全通信示例
下面是一个使用Spring Cloud Security的示例,该示例包括一个授权服务器和两个客户端,客户端之间通过授权服务器进行安全通信。
堕落飞鸟
2023/04/14
6310
Spring Cloud Security的核心组件-OAuth2示例
下面我们通过一个基于 Spring Cloud Security 的 OAuth2 示例来演示 OAuth2 的工作流程。
堕落飞鸟
2023/04/13
4930
4. spring-security-oauth2 server
主要就加了@EnableAuthorizationServer注解告诉spring启动Server模式,github登录跟上篇文章的代码一样,就是封装了一下,因为以前代码的注解ResourceServerProperties会和spring 的EnableAuthorizationServer冲突,加上了EnableResourceServer,配置/api/**底下的资源是需要权限的,重写AuthenticationManager这个方法很重要,目的是将web登录和oauth登录的manager共享,不然只能有一方生效,这个想了解的可以读一读源码,一时解释不太清楚。
MasterVin
2018/08/30
1.1K0
4. spring-security-oauth2 server
第十节 spring could security实现OAuth2
使用spring could security实现OAuth2来控制服务中api的安全 首先创建一个安全服务spring security,用于控制身份验证和授权。 增加pom依赖 <dependency> <groupId>org.springframework.cloud</groupId> <artifactId>spring-cloud-starter-security</artifactId> </dependency>
用户1418372
2018/09/13
9060
可能是第二好的 Spring OAuth 2.0 文章,艿艿端午在家写了 3 天~
在《芋道 Spring Boot 安全框架 Spring Security 入门》文章中,艿艿分享了如何使用 Spring Security 实现认证与授权的功能,获得广大女粉丝的好评。
芋道源码
2020/07/02
2.3K0
可能是第二好的 Spring OAuth 2.0 文章,艿艿端午在家写了 3 天~
Spring Cloud Security OAuth2 中实现客户端模式
OAuth2客户端模式是OAuth2的一种授权模式,它适用于客户端与服务端之间的授权场景,例如第三方应用程序需要访问受保护的资源时。客户端模式不需要用户的参与,客户端通过自身的身份认证向授权服务器申请访问令牌,然后使用访问令牌来访问受保护的资源。
堕落飞鸟
2023/04/14
6.7K0
spring-cloud-openfeign oauth2拦截器默认配置
spring-cloud:4.1.0 spring-security:6.2.1
路过君
2024/05/24
2170
springsecurity oauth2sso 客户端单点登陆
依赖 <dependency> <groupId>org.springframework.cloud</groupId> <artifactId>spring-cloud-starter-oauth2</artifactId> </dependency> 配置 websecurity @Configuration @EnableWebSecurity @EnableOAuth2Sso public class WebSecurityConfig extends WebSecuri
路过君
2020/06/19
7600
Spring Cloud Security:Oauth2实现单点登录
单点登录(Single Sign On)指的是当有多个系统需要登录时,用户只需登录一个系统,就可以访问其他需要登录的系统而无需登录。
macrozheng
2019/11/15
3.3K0
Spring Security OAuth2 Demo
Spring Security OAuth2 Demo 项目使用的是MySql存储, 需要先创建以下表结构: CREATE SCHEMA IF NOT EXISTS `alan-oauth` DEFAULT CHARACTER SET utf8 ; USE `alan-oauth` ; -- ----------------------------------------------------- -- Table `alan-oauth`.`clientdetails` -- -------------
庞小明
2018/03/08
2.5K0
Spring Security OAuth2 Demo
Spring Cloud Security:Oauth2实现单点登录
单点登录(Single Sign On)指的是当有多个系统需要登录时,用户只需登录一个系统,就可以访问其他需要登录的系统而无需登录。
JAVA葵花宝典
2019/11/18
1.6K0
Spring Cloud Security:Oauth2实现单点登录
spring cloud搭建oauth2资源服务
依赖 pom.xml <parent> <groupId>org.springframework.boot</groupId> <artifactId>spring-boot-starter-parent</artifactId> <version>2.2.5.RELEASE</version> <relativePath/> <!-- lookup parent from repository --> </parent> <properties> <java.ver
路过君
2020/06/19
6060
Spring Cloud Security配置OAuth2客户端来访问受保护的API
OAuth2客户端需要一些配置来与认证服务器通信并获取访问令牌,可以在application.properties或application.yml中进行配置。以下是示例配置:
堕落飞鸟
2023/04/13
2.4K0
使用OAuth2实现授权服务
OAuth 2发明之初是为了解决登录认证过程中的安全性问题,使用“委托”的形式使第三方应用获得数据权限及功能。OAuth 2.0协议中,使用访问令牌ACCESS_TOKEN代替传统的账号密码,提高了互联网环境下的安全性。
关忆北.
2022/09/28
1.6K0
使用OAuth2实现授权服务
Spring Security 系列(2) —— Spring Security OAuth2
OAuth(开放授权)是一个开放标准,允许用户让第三方应用访问该用户在某一网站上存储的私密的资源(如照片,视频,联系人列表),而无需将用户名和密码提供给第三方应用。
求和小熊猫
2022/06/30
6.5K0
spring Cloud微服务 security+oauth2认证授权中心自定义令牌增强,并实现登录和退出
在之前的博客我写了 SpringCloud整合spring security+ oauth2+Redis实现认证授权,本文对返回的token实现自定义增强令牌返回结果,以及对于oauth2存在Redis的数据进行解释。
共饮一杯无
2022/11/28
1.2K0
spring Cloud微服务 security+oauth2认证授权中心自定义令牌增强,并实现登录和退出
Spring Security 6.x 微信公众平台OAuth2授权实战
上一篇介绍了OAuth2协议的基本原理,以及Spring Security框架中自带的OAuth2客户端GitHub的实现细节,本篇以微信公众号网页授权登录为目的,介绍如何在原框架基础上定制开发OAuth2客户端。
fullstackyang
2024/06/23
6250
Spring Security 6.x 微信公众平台OAuth2授权实战
【Spring底层原理高级进阶】【SpringCloud整合Spring Security OAuth2】深入了解 Spring Security OAuth2:底层解析+使用方法+实战
OAuth2(Open Authorization 2.0)是一种用于授权的开放标准协议,用于通过第三方应用程序访问用户在某个服务提供商上存储的资源,而无需共享用户的凭证(例如用户名和密码)。它允许用户授权给第三方应用程序访问受保护的资源,同时确保用户的凭证信息不被直接暴露给第三方应用程序。
苏泽
2024/03/01
3.3K0
【Spring底层原理高级进阶】【SpringCloud整合Spring Security OAuth2】深入了解 Spring Security OAuth2:底层解析+使用方法+实战
SpringCloud-基于Oauth2的SSO单点登录原理解析与实现
单点登录(SSO)是一种身份验证过程,允许用户通过一次登录访问多个系统。本文将深入解析单点登录的原理,并详细介绍如何在Spring Cloud环境中实现单点登录。通过具体的架构图和代码示例,我们将展示SSO的工作机制和优势,帮助开发者更好地理解和应用这一技术。
Damon小智
2024/05/28
2.6K1
SpringCloud-基于Oauth2的SSO单点登录原理解析与实现
推荐阅读
相关推荐
Spring Cloud OAuth2 实现用户认证及单点登录
更多 >
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档