summaryrefslogtreecommitdiff
path: root/src/test/scala/chiselTests/experimental/verification/VerificationSpec.scala
AgeCommit message (Expand)Author
2021-09-23make all verification statements publically available (#2089)Kevin Laeufer
2021-08-23Remove chisel3's own firrtl Emitter, use firrtl SerializerJack Koenig
2021-06-24create and extend annotatable BaseSim class for verification nodes (#1968)Deborah Soung
2021-04-29verification: guard statements with module reset (#1891)Kevin Laeufer
2021-03-17Fix incorrect usage of emitFirrtl in test (#1817)Schuyler Eldridge
2020-10-01Move Chisel3 to SPDX license conventions (#1604)Chick Markley
2020-08-26Add ChiselPhase, Stop writing files in ChiselStage$ methods, Expand ChiselSta...Schuyler Eldridge
2020-07-22Basic model checking API (#1499)Tom Alcorn