Closed Martoni closed 4 years ago
It could be that you are seeing this error because of incompatible Chisel versions.
On a cursory glance it look like your project is using chisel 3.4.0
:
https://github.com/Martoni/GbVga/blob/master/chisel/build.sbt#L45
Whereas chisel-formal
depends on chisel 3.4-RC1
:
https://github.com/tdb-alcorn/chisel-formal/blob/master/build.sbt#L32
Updating chisel-formal
to use the 3.4.0
release version might help.
Thank you, it was exactly that \o/ !
As a tip, SBT does warn about these kind of things, but it's easy to ignore (everyone does, myself included):
sbt:gbvga> compile
[warn] There may be incompatibilities among your library dependencies; run 'evicted' to see detailed eviction warnings.
[info] Compiling 5 Scala sources to /scratch/koenig/GbVga/chisel/target/scala-2.12/classes ...
[success] Total time: 2 s, completed Oct 23, 2020 11:49:56 AM
If you run evicted
, you'll see:
sbt:gbvga> evicted
[warn] Found version conflict(s) in library dependencies; some are suspected to be binary incompatible:
[warn] * edu.berkeley.cs:firrtl_2.12:1.4.0 is selected over {1.4.0-RC1, 1.2.7, 1.2.7, 1.2.7}
[warn] +- edu.berkeley.cs:chisel3-core_2.12:3.4.0 (depends on 1.4.0)
[warn] +- edu.berkeley.cs:treadle_2.12:1.1.7 (depends on 1.2.7)
[warn] +- edu.berkeley.cs:firrtl-interpreter_2.12:1.2.7 (depends on 1.2.7)
[warn] +- edu.berkeley.cs:chisel-iotesters_2.12:1.3.7 (depends on 1.2.7)
[warn] +- edu.berkeley.cs:chisel-formal_2.12:0.1-SNAPSHOT (depends on 1.4.0-RC1)
[info] Here are other dependency conflicts that were resolved:
[info] * org.json4s:json4s-native_2.12:3.6.9 is selected over 3.6.7
[info] +- edu.berkeley.cs:firrtl_2.12:1.4.0 (depends on 3.6.9)
[info] +- edu.berkeley.cs:treadle_2.12:1.1.7 (depends on 3.6.7)
[success] Total time: 0 s, completed Oct 23, 2020 11:46:30 AM
sbt:gbvga>
This is before your recent fix, however, even with the fix, you're likely to run into other binary incompatibilies:
sbt:gbvga> evicted
[warn] Found version conflict(s) in library dependencies; some are suspected to be binary incompatible:
[warn] * edu.berkeley.cs:chisel3_2.12:3.4.0-RC1 is selected over 3.2.7
[warn] +- eu.fabienm:gbvga_2.12:0.1 (depends on 3.4.0-RC1)
[warn] +- edu.berkeley.cs:chisel-iotesters_2.12:1.3.7 (depends on 3.2.7)
[warn] * edu.berkeley.cs:firrtl_2.12:1.4.0-RC1 is selected over {1.2.7, 1.2.7, 1.2.7}
[warn] +- edu.berkeley.cs:chisel-formal_2.12:0.1-SNAPSHOT (depends on 1.4.0-RC1)
[warn] +- edu.berkeley.cs:chisel3-core_2.12:3.4.0-RC1 (depends on 1.4.0-RC1)
[warn] +- edu.berkeley.cs:chisel3_2.12:3.4.0-RC1 (depends on 1.4.0-RC1)
[warn] +- edu.berkeley.cs:chisel3-macros_2.12:3.4.0-RC1 (depends on 1.4.0-RC1)
[warn] +- edu.berkeley.cs:treadle_2.12:1.1.7 (depends on 1.2.7)
[warn] +- edu.berkeley.cs:firrtl-interpreter_2.12:1.2.7 (depends on 1.2.7)
[warn] +- edu.berkeley.cs:chisel-iotesters_2.12:1.3.7 (depends on 1.2.7)
[info] Here are other dependency conflicts that were resolved:
[info] * org.json4s:json4s-native_2.12:3.6.9 is selected over 3.6.7
[info] +- edu.berkeley.cs:firrtl_2.12:1.4.0-RC1 (depends on 3.6.9)
[info] +- edu.berkeley.cs:treadle_2.12:1.1.7 (depends on 3.6.7)
[success] Total time: 0 s, completed Oct 23, 2020 11:51:01 AM
sbt:gbvga>
In particular:
[warn] +- edu.berkeley.cs:chisel-iotesters_2.12:1.3.7 (depends on 3.2.7)
You should update to chisel-iotesters
to 1.5.0-RC1
(iotesters is always 1 major version ahead) which was published against chisel3
3.4.0-RC1
.
With following versions:
(I also forced sbt version 1.4.1 in chisel-formal file
project/build.properties
with the same error)I'm trying to use chisel-formal on several computer with different installation. The Module under test is named GbWrite.
I published chisel-formal locally with git master clone :
And in my project, if I comment the trait :
I can execute the driver correctly with sbt :
But if I uncomment the trait
with Formal
I've got this stack error: