Block LevelVerification Flow
来源:互联网 发布:台湾人用淘宝吗 编辑:程序博客网 时间:2024/06/10 06:58
1 Abstract
验证,其实是一份高度依赖于工程师职业素养的工作。对于同一个Block的Verification,不同的Verifier把关能力可能会有较大差异。为了尽可能的避免这些差异带来的影响,需要建立一套完善的flow来确保验证工作的准确性和完善性。
2 Verification Flow
2.1 PDCA
做事情前首先要有一个清晰的步骤,而笔者接触最多的就是PDCA循环了,如图2.1所示:
图2.1 PDCA循环
P(Plan) —— 计划,确定方针、目标和活动计划
D(Do) —— 执行,实现计划中的内容
C(Check)—— 检查,总结执行计划的结果,找出问题
A(Action)—— 行动,对总结检查的结果进行处理
对于验证流程而言,PDCA同样适用。在业界,各大公司都有定义自家的验证flow,大同小异。我们以一位Mentor的工程师所作的验证流程为例,如图2.2所示。
图2.2 Verification Flow
3 PLAN
对于验证人员来说,我们的最终目标就是“FindBugs Early & Fast”。那么,从设计需求诞生的那一刻起,验证的工作就要展开了。在PLAN阶段,主要需要完成两个任务,VerificationSpecification以及Verification Objective。
3.1 Verification Specification
阅读全文
0 0
- Block LevelVerification Flow
- flow
- flow
- flow
- flow
- flow
- flow
- Block
- block
- Block
- block
- block
- block
- block
- block
- block
- Block
- block
- MYSQL手把手教你安装和配置OGG,并实现单向DML复制技术
- oracle 5种b*树索引扫描方式
- 安卓取图片(一)进入相机
- activiti-explorer与cas结合实现伪单点登录
- 【状压DP】【cofun1040】混乱奶牛
- Block LevelVerification Flow
- git获取指定的远程分支
- 2016最流行的Android组件、工具、框架大全
- 每秒钟执行一次一个函数
- workers.properties配置详解
- 推导公式中的arg min,arg max的含义
- LeetCode 43 Multiply Strings(高精度乘法)
- 创建table 过程中,定义 添加 默认/表达式.sys_guid和sysdate等等
- set IDENTITY_INSERT on 和 off 的设置