vmanager的任务流程,如下图所示:
最开始,使用vplan建立验证计划,并且建立验证环境。
使用vmanager运行回归,之后分析faild的case,以及收集的metric,确定状态。
根据状态,判断,是否收敛,如果收敛,那么验证就结束了,可以signoff,如果验证没有收敛,那么就重新运行回归。
这里,就引出了vmanager的两大功能:
下图是vmanager的工作说明:
vmanager支持运行多个验证工具,如irun,formal,PXP等,运行完毕后,将数据进行收集,
在planning center,制定验证计划,关联testbench以及spec。
在regression center,启动回归
在analysis center,对回归结果数据进行分析
在tracking center,对历史的结果进行分析
vmanager,提供了2种工作模式:
这里,推荐,大家用CS模式,这个模式下,各个client,连接一个指定的server进行工作,得到的结果和数据,是会自动上传到这个server,并且进行集中显示,这样可以让大家都可以看到实时的状态。不再需要像之前,要大家指定一个共享目录,大家将自己跑出来的结果和数据,放到该目录下,实现共享。
以下,只介绍CS工作模式,local工作模式和CS工作模式使用是一样的,只是没有server进行集中的数据显示与管理。
在CS模式下,又分为了single-project和multi-project。
server上,只有1个工程,所有的client,均在这个工程下工作。
server,需要2个东西:
server会对应一个port,client根据server的ip以及port,就可以连接到这个server上。
后面,会介绍,如何搭建一个vmanager server。
server上,有多个工程。client连接server的时候,要选择将来工作的工程。
server所需要的2个东西,和single-project,是一样的。
CS模式下,可以不只有1个server,可以有多个server。各个client,可以选择server,选择project进行连接,然后工作。
之后,会介绍,如何创建一个vmanager server。
内角观测值改正后角值°′″°′″计算值改正后的值计算值改正数改正后的值1795958-2″1800000497.140.0040-0.0010.00100监理:日期:计算:复核:A2-4改正数Vβ=(-fβ)/n=-2″/3=-1.00″角度闭合差及改正数之计算∑-0.0040草图∑β理=180°×(3-2)=180°∑△x理=0∑△y理=0fD=√fx2+fy2=√0.004...
Bloom-Filter 数据出重1. Bloom-Filter算法简介Bloom-Filter,即布隆过滤器,1970年由Bloom中提出。它可以用于检索一个元素是否在一个集合中。Bloom Filter(BF)是一种空间效率很高的随机数据结构,它利用位数组很简洁地表示一个集合,并能判断一个元素是否属于这个集合。它是一个判断元素是否存在集合的快速的概率算法。Bloom Filter有可能会...
介绍本章的目的是让你了解和运行 TensorFlow在开始之前, 先看一段使用 Python API 撰写的 TensorFlow 示例代码, 对将要学习的内容有初步的印象.这段很短的 Python 程序生成了一些三维数据, 然后用一个平面拟合它.import tensorflow as tfimport numpy as np# 使用 NumPy 生成假数据(p
为了让大家看到这个游戏代码的写作过程,我将代码分几部分按步骤写出,其中也有一些东西不是这个游戏所必要的,却是pygame游戏里重要的我也一并写出,以下是第一部分'''打地鼠游戏v1.0''''''创建pygame游戏的最小框架1. 导包导库导模块2. 创建主逻辑类 1. 窗口 2. 游戏结束的方法 3. 游戏开始的方法 4. 事件的获取与相应3....
需要获取simunlockstate状态,而这个不由我们这边控制,在免于提Mtk case的情况下,通过Telephony获取这个值,telephony是个服务apk,不能通过android.bp引入,考虑到这个原因,我觉得通过aidl以telephony为服务器端,MtkSettings为客户端,进行跨进程通信。下面说下步骤:1.在服务器端新建aidl目录和文件,这里通过AndroidStudio去生成(New -> Aidl ->AIDL File)。生成完后记得rebuild一下,但是我
1M,作为云服务器最低的带宽配置,到底能承受多大的流量?在选配云服务器带宽的时候,看到带宽大小的时候,头疼病总是发作,带宽买小了,网站太卡,用户体验不好影响业务,带宽买大了,又实在浪费。那么云服务器的带宽,到底多大够用?1M的带宽,流量承受极限是多少?带宽知识扫盲首先普及一下带宽的一些基础知识。云服务器的带宽,指的是出网带宽,用户发起请求,服务器发送数据给终端时,会占用这一部分的带宽。假如云服务器...
一、#ifdef #ifndef #endif三者的意思属性作用#ifdef仅在某个平台上使用#ifndef在除了这个平台的其他平台上使用(非此平台使用)#endif结束条件编译二、2.平台标识的意思标识平台APP-PLUS5+AppMP微信小程序/支付宝小程序/百度小程序/头条小程序/QQ小程序MP-WEIXIN微信小程序MP-ALIPAY支付宝小程序MP-BAIDU百度小程序MP-TOUTIAO
进入virt-manager,进入虚拟机详细信息设置页面,打开IDE Disk 1,Stroage format需要更改为qcow2,一般这里是raw容易出现上述错误。
几日前,笔者碰到一个NGUI的屏幕尺寸的适配问题。情况是这样子的:Unity3d编译了一个iPhone版的Xcode工程,非Universal版,进入真机测试的时候,发现当该iPhone版的工程在iPad2真机上NGUI出现了问题,如下图: 由图片可分析出,NGUI的位置都是正确的,但是大小不正确;显然这是由于屏幕分辨率导致的问题,因为NGUI用的是高
正所谓三人行必有我师,学习不可能闭门造车,我们需要经常与外面的人交流,通过公开的学术论文,论坛等获取知识,讨论心得。作者&编辑 | 言有三学习的方法和渠道有千百种,这一次主要介绍国内外的优质论坛媒体,创作平台,问答社区,谈谈如何从众人的智慧中获取第一手资料进行学习。1 贴吧论坛reddit等新闻资讯平台https://www.reddit.com/r/Machin...
不知大家在做前端页面的时候,有没有遇到类似这样的问题:有一个不是正方形的图片,可能是宽度大于高度的,也可能是高度大于宽度的,而你又并不想用背景图的方式来做,要实现用img标签来让此图片显示出一个正方形的且不变形的效果。即如下图:只显示图片中间部分(红框部分)下面我们便来简单讨论如何实现让长方形图片显示出正方形的效果,首先我们本次讨论中用到的两张图片的原图就是上面的两张图片(一张宽度大于高度,另...
从这里开始再次回顾一下java基础,目的是再次深入一点学习,不是教程,主要以相关知识的重点为主,有时候可能有较强的偏向性,所以可能会遗漏一些基础概念或者之类的东西。泛型学习笔记上篇,主要记录java泛型相关基础,包括为什么引入泛型,泛型的使用方式,以及在JDK或框架中的典型应用。