gwbeip/SpinalTemplateSbt
1
0
Fork 0
mirror of https://github.com/SpinalHDL/SpinalTemplateSbt.git synced 2025-10-24 16:38:43 +08:00
Code Issues Packages Projects Releases Wiki Activity

Add formal comment

Browse Source
This commit is contained in:
Dolu1990
2022-04-29 15:26:32 +02:00
parent df28313eea
commit 1e8a644b8a
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
src/main/scala/mylib/MyTopLevelFormal.scala
View File

@@ -3,7 +3,8 @@ package mylib
import spinal.core._ import spinal.core._
import spinal.core.formal._ import spinal.core.formal._
//MyTopLevel's testbench // You need SymbiYosys to be installed.
// See https://spinalhdl.github.io/SpinalDoc-RTD/master/SpinalHDL/Formal%20verification/index.html#installing-requirements
object MyTopLevelFormal { object MyTopLevelFormal {
def main(args: Array[String]) { def main(args: Array[String]) {
FormalConfig.withBMC(10).doVerify(new Component { FormalConfig.withBMC(10).doVerify(new Component {