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

new MyTopLevel -> MyTopLevel()

Browse Source
This commit is contained in:
Côme ALLART
2022-11-18 00:37:28 +01:00
parent d40940a924
commit bbbac09f8f
3 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -9,7 +9,7 @@ object MyTopLevelFormal extends App {
FormalConfig
.withBMC(10)
.doVerify(new Component {
val dut = FormalDut(new MyTopLevel)
val dut = FormalDut(MyTopLevel())
// Ensure the formal test start with a reset
assumeInitial(clockDomain.isResetActive)