From 8a8c4790abca448165b570ebf7bb6c2296d9f452 Mon Sep 17 00:00:00 2001 From: azidar Date: Mon, 4 May 2015 13:11:22 -0700 Subject: Updated stuff --- src/main/stanza/errors.stanza | 1 + 1 file changed, 1 insertion(+) (limited to 'src') diff --git a/src/main/stanza/errors.stanza b/src/main/stanza/errors.stanza index 3e1d2cb4..b0dbca68 100644 --- a/src/main/stanza/errors.stanza +++ b/src/main/stanza/errors.stanza @@ -149,6 +149,7 @@ defn is-prefix? (s1:Symbol,s2:Symbol) -> True|False : ; * A module has the same name as main of circuit ; * mems cannot be a bundle with flips ; o instance module must be a reference with same name as defined module +; o reset must be UInt<1> public defn check-high-form (c:Circuit) -> Circuit : val errors = Vector() -- cgit v1.2.3