(cherry picked from commit d5e65a33) # Conflicts: # src/test/scala/chiselTests/LTLSpec.scala # src/test/scala/chiselTests/VerificationSpec.scala