ip设计与手验证技术 讲义.ppt

一.验证的整体思路二.各模块的验证方法三.采用task改进验证程序 一.验证的整体思路 为了增强设计的使用性，在验证过程中我们应当尽可能得考虑到所有可能出现的情况，并一一模拟出这些情况，然后通过将设计在不同激励下作出的反应与我们的预期进行对比，给出验证的结果。 一.验证的整体思路 鉴于原设计很明确地分为三个模块，故我们在针对这三个模块一一进行验证 的基础上，又对整个设计的复位功能进行了独立的验证。因此我们的验证程序由四个模块组成，依次为： 复位功能的验证；interface模块的验证；counter模块的验证；wdt_out模块的验证。 二.各模块的验证方法 1.复位功能的验证 首先设定watchdog的所有输入均无效，然后只让复位信号有效，待复位作用一小段时间后对所有应该受复位影响的信号进行检查，即把这些信号的实际值与我们的预期进行比较。如果这些信号的实际值与我们的预期相同，则报告复位功能ok，否则将针对每一个与预期不符的信号进行报错。 二.各模块的验证方法 二.各模块的验证方法 值得注意的是当复位功能验证完成后，应当将复位信号置为无效，以免其影响后面的验证。 2. interface模块的验证 原设计的该模块中有四个寄存器，此处我们只验证前三个，将wdt_ccv寄存器留在后面验证。 对于可读可写的寄存器wdt_ctrl，我们可以先向其中写入一个值，然后将其中的值读到APB总线上的prdata中，通过将其余输入的值对比，即可判定该寄存器是否正常工作。 二.各模块的验证方法 然而对于只写的寄存器就不能这样验证了，其验证方法将在后面提出。 3. counter模块的验证 首先向counter中的wdt_op寄存器中写入一个初值，然后让counter工作一定时间后将wdt_ccv寄存器中的值与我们预期的值进行对比，如果二者相同则说明wdt_ccv能够正常地标记计数器当前的值。 二.各模块的验证方法 再让计数器工作预期使其正好溢出的时间段后，观察overflow信号能否正常工作，然后给出验证结果。 4. wdt_out模块的验证 此处主要验证当counter模块的overflow信号有效后，wdt_out模块送出的系统复位信号system_reset的持续有效时间是否与interface模块中的控制字寄存器wdt_ctrl中的系统复位长度位段rst_len所 二.各模块的验证方法 标记的相同，如果二者相同，则表明watchdog最终输出的复位信号能够按照我们的期望正常工作，否则将会出现错误。 三.采用task改进验证程序 由于本验证程序中有多处调用了重复的子程序，如延时程序段，写操作程序段，读程序段，故为了提高代码的效率，我们可以将这三段程序作成三个task，在需要处调用相应的task即可。注意这三个task必须与主程序放在同一个module中，否则不能调用。 一.基于Avalon总线的PWM的设计 3.pwm核心的设计 4.基于Avalon bus的pwm接口设计 5.基于Avalon bus的pwm顶层文件的设计 二.基于Avalon总线的PWM的验证 * 代码见附件 * * 随着深亚微米工艺技术日益成熟，集成电路芯片的规模越来越大。数字IC从基于时序驱动的设计方法，发展到基于IP复用的设计方法，并在SOC设计中得到了广泛应用。在基于IP复用的SoC设计中，片上总线设计是最关键的问题。为此，业界出现了很多片上总线标准。其中，由ARM公司推出的AMBA片上总线受到了广大IP开发商和SoC系统集成者的青睐，已成为一种流行的工业标准片上结构。AMBA规范主要包括了AHB(Advanced High performance Bus)系统总线和APB(Advanced Peripheral Bus)外围总线。 * 随着深亚微米工艺技术日益成熟，集成电路芯片的规模越来越大。数字IC从基于时序驱动的设计方法，发展到基于IP复用的设计方法，并在SOC设计中得到了广泛应用。在基于IP复用的SoC设计中，片上总线设计是最关键的问题。为此，业界出现了很多片上总线标准。其中，由ARM公司推出的AMBA片上总线受到了广大IP开发商和SoC系统集成者的青睐，已成为一种流行的工业标准片上结构。AMBA规范主要包括了AHB(Advanced High performance Bus)系统总线和APB(Advanced Peripheral Bus)外围总线。 * 随着深亚微米工艺技术日益成熟，集成电路芯片的规模越来越大。数字IC从基于时序驱动的设计方法，发展到基于IP复用的设计方法，并在SOC设