diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index b89de3bbfb4..cca2fc35052 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -15,7 +15,7 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        scala: [2.13.4, 2.12.13]
+        scala: [2.13.6, 2.12.14]
     container:
       image: ucbbar/chisel3-tools
       options: --user github --entrypoint /bin/bash
@@ -51,7 +51,7 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        scala: [2.13.4, 2.12.13]
+        scala: [2.13.6, 2.12.14]
     steps:
       - name: Checkout
         uses: actions/checkout@v2
diff --git a/build.sbt b/build.sbt
index 64d27641807..50f67e5cbcc 100644
--- a/build.sbt
+++ b/build.sbt
@@ -4,8 +4,8 @@ enablePlugins(SiteScaladocPlugin)
 
 lazy val commonSettings = Seq(
   organization := "edu.berkeley.cs",
-  scalaVersion := "2.12.13",
-  crossScalaVersions := Seq("2.13.4", "2.12.13")
+  scalaVersion := "2.12.14",
+  crossScalaVersions := Seq("2.13.6", "2.12.14")
 )
 
 lazy val isAtLeastScala213 = Def.setting {
diff --git a/build.sc b/build.sc
index a72874492bf..97a1cfd0d4e 100644
--- a/build.sc
+++ b/build.sc
@@ -10,7 +10,7 @@ import mill.contrib.buildinfo.BuildInfo
 
 import java.io.IOException
 
-object firrtl extends mill.Cross[firrtlCrossModule]("2.12.13", "2.13.4")
+object firrtl extends mill.Cross[firrtlCrossModule]("2.12.14", "2.13.6")
 
 class firrtlCrossModule(val crossScalaVersion: String) extends CrossSbtModule with ScalafmtModule with PublishModule with BuildInfo {
   override def millSourcePath = super.millSourcePath / os.up
diff --git a/project/plugins.sbt b/project/plugins.sbt
index e81ce13966a..dc9d3471dcc 100644
--- a/project/plugins.sbt
+++ b/project/plugins.sbt
@@ -18,7 +18,7 @@ addSbtPlugin("com.simplytyped" % "sbt-antlr4" % "0.8.2")
 
 addSbtPlugin("com.github.sbt" % "sbt-protobuf" % "0.7.0")
 
-addSbtPlugin("ch.epfl.scala" % "sbt-scalafix" % "0.9.29")
+addSbtPlugin("ch.epfl.scala" % "sbt-scalafix" % "0.9.30")
 
 addSbtPlugin("com.thoughtworks.sbt-api-mappings" % "sbt-api-mappings" % "3.0.0")
 
diff --git a/src/main/scala/firrtl/backends/experimental/smt/SMTLibSerializer.scala b/src/main/scala/firrtl/backends/experimental/smt/SMTLibSerializer.scala
index a70adc61eff..f81acce0050 100644
--- a/src/main/scala/firrtl/backends/experimental/smt/SMTLibSerializer.scala
+++ b/src/main/scala/firrtl/backends/experimental/smt/SMTLibSerializer.scala
@@ -145,7 +145,7 @@ object SMTLibSerializer {
     else { s"(ite ${serialize(e)} $bvOne $bvZero)" }
 
   // See <simple_symbol> definition in the Concrete Syntax Appendix of the SMTLib Spec
-  private val simple: Regex = raw"[a-zA-Z\+-/\*\=%\?!\.\$$_~&\^<>@][a-zA-Z0-9\+-/\*\=%\?!\.\$$_~&\^<>@]*".r
+  private val simple: Regex = raw"[a-zA-Z\+-/\*\=%\?!\.$$_~&\^<>@][a-zA-Z0-9\+-/\*\=%\?!\.$$_~&\^<>@]*".r
   def escapeIdentifier(name: String): String = name match {
     case simple() => name
     case _        => if (name.startsWith("|") && name.endsWith("|")) name else s"|$name|"