From f08f8dbb3c480220f92923a7f3242fcbb644b65e Mon Sep 17 00:00:00 2001
From: Jack Koenig
Date: Tue, 13 Aug 2019 12:09:27 +0530
Subject: Infer reset (#1068)

* Add abstract "Reset" which can be inferred to AsyncReset or UInt<1>
* Enhance async reset initial value literal check to support aggregates---
 src/main/scala/firrtl/passes/InferWidths.scala | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/main/scala/firrtl/passes/InferWidths.scala')

diff --git a/src/main/scala/firrtl/passes/InferWidths.scala b/src/main/scala/firrtl/passes/InferWidths.scala
index cf6f2ae0..8f663afd 100644
--- a/src/main/scala/firrtl/passes/InferWidths.scala
+++ b/src/main/scala/firrtl/passes/InferWidths.scala
@@ -262,6 +262,8 @@ class InferWidths extends Transform with ResolvedAnnotationPaths {
         })
       }
     case (t1: VectorType, t2: VectorType) => get_constraints_t(t1.tpe, t2.tpe)
+    case (ResetType, _) => Nil
+    case (_, ResetType) => Nil
   }
 
   def run(c: Circuit, extra: Seq[WGeq]): Circuit = {
-- 
cgit v1.2.3