Chisel3 - 使用chisel-iotesters进行验证

https://mp.weixin.qq.com/s/KqyklKrPLtPm38sftMYlHA

 

1. 使用Maven获取库

 

Chisel相关的库基本上都可以使用Maven获取到（https://mvnrepository.com/artifact/edu.berkeley.cs）：

 

​​

 

其中Chisel Iotesters是用来进行验证的库，可以看到各个版本及其发布日期：

​​

 

随便打开一个版本：

​​

可以看到该版本的基本信息，点击jar可以直接下载库的jar包。下面是使用各种构建工具如Maven/Gradle/SBT/Ivy等引入该库的方法。可以复制SBT的引入方法到build.sbt中，即可以下载这个库。

 

下方是该库所依赖的库的信息：

​​

 

其中有chisel3和firrtl，可以看到比我们使用的chisel3 3.1.2新，需要找一个老一点的版本。

 

回溯发现chisel-iotesters 1.2.3刚好匹配，复制如下行到build.sbt:

libraryDependencies += "edu.berkeley.cs" %% "chisel-iotesters" % "1.2.3"

 

如下：

​​

 

然后Intellij IDEA提示Import Changes，选择之后开始下载这个库：

​​

 

点击箭头所示的按钮，可以看到同步的文字信息：

​​

同步完成即可。

 

2. 创建FullAdderTester.scala

 

创建文件，并从chisel-tutorial项目中拷贝代码，如下：

​​

 

直接在该文件中使用main函数验证：

​​

 

看一下这一个Driver()函数签名：

​​

 

这个函数有两个参数列表，即apply(args_a)(args_b)。

 

第一个参数列表包含用来创建一个待测试的模块的函数，即：dutGen: () => T，这个函数不接收参数，返回一个T类型的返回值，T <: MultiIOModule表明类型T是MultiIOModule的子类型，所以返回值是一个模块。

 

第二个参数列表包含一个产生测试器的函数：testerGen: T => PeekPokeTester[T], 即接收一个模块作为参数，返回一个Tester。这里我们返回class FullAdderTest(c: FullAdder) extends PeekPokeTester(c).

 

再来看我们的实现：

​​

在对Driver()函数的调用中，提供了两个参数列表：Driver()()。第一个参数列表提供了一个函数参数，返回FullAdder模块实例，其余的参数都是用默认值。第二个参数列表提供了一个函数参数，返回FullAdderTester。

 

3. 直接执行验证

 

直接点击三角运行符号，运行main函数：

​​

 

可以看到测试成功了，在9个时钟周期里，总共执行了8个测试，都成功了。

 

符合Tester的写法，2个expect循环了4次，总共8个测试。

​​

 

4. sbt shell执行验证

 

compile:

​​

 

因为测试代码放在test而不是main目录下，所以执行test:run命令：

​​

 

也可以使用test:runMain FullAdderTester命令：

​​

 

5. 附录

略