数字IC验证综合知识

接口的强大功能：一是简化模块之间的连接；二是实现类和模块之间的通信。可以说接口的功能固然强大，但是问题又来了：

首先，因为事务交易处理器中的方法采用了层次化应用的方式去访问对应端口的信号，所以我们只能为两个相同功能的接口分别编写两个几乎一样的事务交易处理器，为什么呢？因为采用的是层次化的应用，假如设计中的某个引脚名字需要修改，我们只能修改驱动这个端口的方法！这样还是有点繁琐，那么sv中有了虚接口的概念，事情就会变得更加简单了！

到底是如何操作的呢？

虚接口和对应的通用方法可以把设计和验证平台分隔开来，保证其不受设计改动的影响。当我们对一个设计的引脚名字进行改动的时候，我们无须改动驱动这个接口的方法，而是只需要在例化该事务交易处理器的时候，给虚接口绑定对应连接的实体接口即可。以此来实现事务交易处理器的更大重用性。

虚接口的定义：

virtual interface_type variable;

虚接口可以定义为类的一个成员，可以通过构造函数的参数或者过程进行初始化。

虚接口应用的具体步骤：

到此，我们就可以在事务交易处理器中，编写针对该接口的通用方法（如request和wait_for_bus），只要针对虚接口进行操作就可以，而该虚接口不针对特定的具体器件，只有在事务交易处理器的对象例化创建时，根据具体传递给他参数确定。

数字IC密码算法介绍

数字IC密码算法主要分三类：对称算法、非对称算法、杂凑算法。

SM1对称密码算法：一种分组密码算法，分组长度为128位，密钥长度为128比特。

主要产品有：智能IC卡、智能密码钥匙、加密卡、加密机等安全产品。

SM2椭圆曲线公钥密码算法（非对称）：一种椭圆曲线公钥密码算法，其密钥长度为256比特。

SM3杂凑算法：一种密码杂凑算法，其输出为256比特。

适用于SM22椭圆曲线公钥密码算法中的数字签名和验证。

SM4对称密码算法：一个分组算法，用于无线局域网产品。

SM7对称密码算法：一种分组算法，分组长度为128比特，密钥长度为128比特。

适用于非IC卡应用，例如门禁卡、参赛证、门票，支付类校园一卡通，公交一卡通，企业一卡通

**SM9非对称算法：**是基于对的标识密码算法，与SM2类似。区别于SM2算法，SM9算法是以用户的标识（例如：、邮箱等）作为公钥，省略了交换数字证书公钥过程。

适用于云存储安全、物联网安全、电子邮件安全、智能终端保护等。

数字集成电路电流测试

集成电路(IC)被生产出来以后要进行测试。IC测试贯穿在IC设计、制造、封装及应用的全过程,被认为是IC产业的4个分支(设计、制造、封装与测试)中一个极为重要的组成部分,它已经成为IC产业发展中的一个瓶颈。有人预计,到2012年,可能会有多达48%的好芯片不能通过测试,IC测试所需的费用将在IC设计、制造、封装和测试的总费用中占80%～90%的比例。 工业界常采用电压测试和稳态电流(I_(DDQ))测试来测试数字CMOS IC。

电压测试包括逻辑测试和时延测试两方面的测试内容,前者验证IC的功能是否正确,后者验证IC的时间特性是否正确。电压测试方法可以检测出大量的物理缺陷,而且比较简单,速度较快。但是,由于电压测试所使用的故障模型存在局限性,而且测试常常不能全速进行,因此一般来说,电压测试只善于验证电路的功能。与电压测试相比,(I_(DDQ))测试更善于检测由于生产过程中的细微偏差而导致的一些“小”缺陷,它的优点是能大幅度地降低测试数字CMOS IC的费用,提高它们的可靠性。但是,(I_(DDQ))测试除不能检测那些不导致(I_(DDQ))增加的缺陷或故障(如串扰故障)之外,还受到深亚微米技术的挑战。

 瞬态电流(I_(DDT))测试是一种从供电回路,通过观察被测电路所吸取的瞬间动态电流来检测故障的一种方法,被认为可以检测出一些经电压测试和(I_(DDQ))测试所不能检测的故障。这种方法作为传统的电压测试和(I_(DDQ))测试方法的一个补充,正逐渐受到研究领域和工业界的关注。 (I_(DDT))测试研究虽然进行了近10年的时间,但目前仍处在初级阶段,所面临的问题很多,离实际应用还有相当一段距离。本研究采用基于积分的平均电流分析法来研究(I_(DDT))测试,进行了一些有益的探索性工作。