摘要： 1：Booth算法 Booth算法可以减少部分积的数目，用来计算有符号数的相乘与相除，提高运算速度。 基本思想就是不断比较除数与被除数的大小，是否同号来确定上商为1还是0，如下表所示： 简化，商值可由下表确定 阅读全文

摘要： 本节内容：为什么使用随机化，随机化选项，随机化的object等等 一：随机化的目的 1：随机测试与直接测试 激励产生是验证中很重要的一个组成部分，激励产生有下面几种可选方法。 1）直接测试 2）直接随机测试 3）随机测试 每种激励产生策略所覆盖的测试空间的范围是不一样的。如下图所示： 直接测试比较适 阅读全文

摘要： 本节关键字：class，methods，数据及其对数据的操作封装起来，继承（inheritance），多态（polymorphism）等等 一：OOP的概念 将数据及其对数据的操作封装在一个独立的对象中。在面向对象编程中， 对象的使用者无须知道对象内部的实现细节， 使用者只要知道如何通过对象的方法和 阅读全文

摘要： sv提供了下列处理并发进程的能力： fork...join并发结构， 通过mailbox实现进程间的通信， 通过semaphore实现进程互斥与仲裁， 通过event实现进程之间的同步 一：fork...join fork...join能够启动产生多个并发进程，提供三种并发方式：fork...joi 阅读全文

摘要： 本节内容是sv里的剩余语法，task，function，automatic 一：procedural statement 1：新操作符 1） i++，++i，i--，--i 同c语言，但易出现race现象。 2） ==?,!=? 如：a==？b ，x与z只能出现在右侧，即b的值有x或者z 3） in 阅读全文

摘要： 本节主要内容：动态数组，队列，联合数组，数组基本操作，结构体类型，枚举类型 一：动态数组 1：基础 在run-time才知道元素个数，在compile-time不知道 可以在仿真的时候再确定元素个数 2：表示 data_type name_of_dynamic_array[]; name_of_ d 阅读全文

摘要： 主要内容：4-state，2-state，固定数组 一：基本数据类型 1：sv的位扩展 2：4-state sv里面使用logic来代替verilog里面的reg，有4值：0，1，x，z reg不可用于连续赋值语句，但logic可用于连续赋值语句；但logic不能用于多驱动，比如线与，双向驱动。 例 阅读全文

摘要： 本节主要内容：testbench与design的连接，verilog连接testbench与design的方法，SV的interface，stimulus timing，clocking blocks，timing region，program block。（感觉很抽象） 一：design与test 阅读全文

摘要： 一：认识sv 1：关键字 verification，assertion，coverage，功能验证，simulation技术，OOP属性 2：主要内容 （1）verification plan and environment,验证计划，目标 （2）sv constructs；sv的语法 （3）sv 阅读全文

摘要： 一：串行解串器的包格式与搜索代码 1：并行输入32bit数据，串行传输时，有特定的格式 上面的x表示8比特有效数据里的某一个比特。先发送和接收的是MSB（左侧数据）。为了给接收端的PLL提供一个同步的时钟，我们将在这个串行数据流中寻找从2‘b11到2’b00的递减计数值，当找到时，可输出一个foun 阅读全文