第6章逻辑电路的设计验证祥解.pptVIP

* 6.5.2 断言编写举例 (1)信号范围 最简单类型的断言是检测一个信号的值是否在预定的范围内。这可以通过将信号值与最小界限和最大界限比较来完成。如果该值处于界外，则发出错误信息。 例： always@(posedge clock) begin if((ready_to_check==1)((`LOWERS)||(S`UPPER))) $display(“signal S=%b is out of bound”,S); end (2)奇偶校验 检验信号中1的个数是奇数或偶数。可以利用缩减的异或运算计算校验值，给出奇偶校验断言。 (3)信号成员 确保一组信号等于期望的值，或者与不需要的值相异。预期的值可以是有效的操作码。例如：p174图6-35。 * (4)独热码/独冷码信号 独热码指一个信号在任意时刻恰好只有一位是1，独冷码指一个信号在任意时刻恰好只有一位是0 。举例：p174图6-36。 (5)时序断言 时序断言包括变量过去和当前的值，需要建立一个能够保存变量过去值的信号文档。简单的文档是为每个变量建立一个移位寄存器，使得在每个时钟边沿将当前信号移入。在对断言求值时，从移位寄存器恢复变量的过去值。举例：见p175图6-37。 * 6.6 验证质量评估 因为无法使用穷举法检验设计所有的输入和状态，所以验证的质量必须通过一定的量化指标来表征。 验证覆盖率是表示所有验证条目中已经得到验证的百分比。 通常作为覆盖评估的度量有代码覆盖、参数覆盖和功能覆盖。 6.6.1 代码覆盖 代码覆盖观察系统的设计代码是否被仿真程序所执行到。 代码体包括语句、语句块、路径、表达式、跳变、序列以及倒换。不同的实体可以具有不同的验证覆盖率。 语句覆盖收集有关在仿真中执行的语句的统计结果。举例：p175图6-38。 语句块覆盖：语句块是指不带控制的顺序语句序列。 路径覆盖：条件语句建立不同的执行路径，每个条件语句就是一个执行分叉点。路径覆盖的度量是对运行路径百分比的度量。 * 表达式覆盖：某些语句的执行并不一定表明语句中的表达式全部被计算。举例：p176图6-39。 状态覆盖：在一个有限状态机中计算已经访问的状态数占状态总数之比。状态抽取自RTL代码。举例：p176图6-40。 转移覆盖：转移覆盖记录已经经历的状态转移的百分数。 序列覆盖：序列覆盖计算用户定义的已经经历的状态序列的百分数。用户定义的状态序列 能够代表系统设计的关键功能或边缘情况。 为了计算上述代码覆盖率，RTL代码必须首先设计一种机制来检测语句的执行并收集覆盖数据。举例：p177图6-41。 目前大多数商业仿真器可以提供内建的代码覆盖率统计和分析工具。 6.6.2功能覆盖 规范定义了需要实现的功能的集合，而功能覆盖测量该功能集合实现的完整性与正确性。 进行功能覆盖分析的关键是从规范获得尽可能完整的一个功能集合。功能覆盖率是已经验证的功能的百分比。例p178-180。 人有了知识，就会具备各种分析能力， 明辨是非的能力。 所以我们要勤恳读书，广泛阅读， 古人说“书中自有黄金屋。 ”通过阅读科技书籍，我们能丰富知识， 培养逻辑思维能力； 通过阅读文学作品，我们能提高文学鉴赏水平， 培养文学情趣； 通过阅读报刊，我们能增长见识，扩大自己的知识面。 有许多书籍还能培养我们的道德情操， 给我们巨大的精神力量， 鼓舞我们前进。 * * AES时序仿真波形图-输入明文 * AES时序仿真波形图-输出密文 * AES时序仿真波形图-输入密文 * AES时序仿真波形图-输出明文 * 硬件仿真举例:可移动电脑加密机。 * 可移动电脑加密机样机的主要技术指标： （1）加/解密算法：可移动高性能电脑加密机能够实现AES加/解密算法和RSA加/解密算法。其中，AES是对称密钥分组算法，其密钥、明文和密文分组长度均为128位；RSA是非对称密钥分组算法，其模数、密钥、明文和密文分组长度均为1024位。另外，由于加密芯片采用FPGA实现，因此可以根据应用的需要，方便快捷地更换或升级加/解密算法。 （2）加/解密芯片的性能与规模：可移动高性能电脑加密机中的AES加/解密芯片和RSA加/解密芯片均采用Altera公司Cyclone系列的EP1C12Q240C8 FPGA实现。其中，AES芯片的加/解密速度可达465Mbps(时钟频率40Mhz)，规模为4102个逻辑单元（logic elements）和40960个存储位（memory bits）；RSA芯片的加/解密速度可达7812bps(时钟频率48Mhz)，规模为7271个逻辑单元和5120个存储位。 （3）与电脑的接口：可移动高性能电脑加密机采用USB2.0接口与电脑通信，数据传输率为480Mbps，支持热插拔，可以即插即用。 *