Daniel Kasza
Results
3
comments of
Daniel Kasza
trafficstars
FIRRTL transform approach seems to work well: https://github.com/danielkasza/dank-formal/blob/main/src/main/scala/transforms.scala
It looks like it works if I do: ```scala when (numResets > 0.U) { assert(aReg ^ bReg === true.B) } ``` Would it make sense to move that check inside...
@laa did you close this because the issue is fixed?