IMC

Overview

FLOW

1、产生覆盖率数据

注：其中5-8为关键步骤

第7步中需自己编写配置文件：配置文件

手册位置：…/Integrated coverage user guide/coverage configuration file
参考流程说明：NC
软件的一些说明：IMC
配置文件CCF的例子
exclude tips
VCS产生代码覆盖率
使用IMC将代码覆盖率转化为HTML模式
代码覆盖率解析

2、从图形界面观察结果

3、分析覆盖率数据

4、生成报告

report

怎么弄呀

Code coverage analysis

目的：code coverage→formal property（formal工具的输入）

操作：

设计元素→assume/propagation barriers

assume：formal的约束设置，当一个表达式为assume时，形式验证将会约束设计的输入→设计功能配置的确认
assume
propagation barrier：能够组织故障传播的设计元素，仅传播到某些元件的故障不会影响安全关键功能

注：来源于JasperGold手册

检查设计元素的类型&值←利用脚本语言分析覆盖报告和源代码
设计示例的输入端口→assume
输出端口→fault propagation barrier

输出结果：

一个文本文件：包含formal property

在这个例子中，由于代码覆盖率显示调试单元(du)中没有活动，它的输入总是零，我们可以忽略传播到它的错误:这种行为被描述为声明调试输入始终为零的假设语句，以及调试数据输出上的故障传播障碍。

Formal method-JasperGold

形式验证工具的一些介绍

形象的解释：

优点：

如何做：

flow：

可测试的安全故障的分析

、

结果验证

FMEDA验证→安全指标计算→ASIL等级

FI——Xcelium

故障覆盖率计算

小姜的毕设_Software相关推荐

闲聊机器人实例四:python实现小姜机器人（检索式chatbot_sentence_vec_by_bert_bert句向量）
bert构建生成句向量,再计算相似度,匹配问答库中的标准问题.为什么使用bert倒数第二层输出构建句向量. 小姜机器人.python.tensorflow.chatbot.dialog.bert中文短 ...
自然语言处理nlp小姜机器人(闲聊) nlp_xiaojiang-996station GitHub鉴赏官
推荐理由:自然语言处理(nlp),小姜机器人(闲聊检索式chatbot),BERT句向量-相似度(Sentence Similarity),XLNET句向量-相似度(text xlnet embedd ...
闲聊机器人实例二:python实现小姜机器人（检索式chatbot_fuzzywuzzy）
小姜机器人.python.tensorflow.chatbot.dialog.fuzzywuzzy.搜索.检索式.生成式.聊天.闲聊.对话.问答.多轮.单轮.开放.封闭.任务.垂直等等描述,都属于自动 ...
esxi虚拟服务器网络搭建,小姜学网络（使用VMware ESXi 5.5搭建VMware虚拟化平台一）...
小姜学网络(CentOS的minimal版本网络以及安装vmware tools) 小姜学网络(先电IaaS云平台基本环境配置二)附带完整代码某职业院校有30余台服务器支撑着全校所有信息化系统的运行 ...
mysql 手工配置_小姜学网络（MySQL数据库的手工安装与配置）附代码
完成小姜学网络(先电IaaS云平台基本环境配置二)附带完整代码中所有内容,即先电IaaS云平台基本环境配置,或者从小姜学网络(先电IaaS云平台基本环境配置一)附带完整代码的镜像开始涉及节点: co ...
闲聊机器人实例三:python实现小姜机器人（检索式chatbot_sentence_vec_by_word_词向量句向量）
word2vec词向量构建生成句向量,再计算相似度,匹配问答库中的标准问题. 小姜机器人.python.tensorflow.chatbot.dialog.fuzzywuzzy.检索式.生成式.聊天. ...
闲聊机器人实例一:python实现小姜机器人chatbot_xiaojiang聊天（概述）
小姜机器人.python.tensorflow.chatbot.dialog.检索式.生成式.聊天.闲聊.对话.问答.多轮.单轮.开放.封闭.任务.垂直等等描述,都属于自动问答领域.而且已经有了比较大 ...
小姜杂谈：屏幕分辨率一次讲清楚
转帖自瘾科技,确实好文章 http://cn.engadget.com/2008/06/18/screen-resolution-explained/ 今天要处理屏幕分块等问题,要对不同分辨率的屏幕做 ...
小姜的Android之路
作者:安辉链接:https://zhuanlan.zhihu.com/p/20810699 1.初级工程师小姜之前完全没接触过Android开发,是个应届生,他的待遇是13k,然后小姜以校招的身份进 ...

小姜的毕设_Software

IMC