aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorazidar2015-05-04 13:11:22 -0700
committerazidar2015-05-04 13:11:22 -0700
commit8a8c4790abca448165b570ebf7bb6c2296d9f452 (patch)
treea538223247610529c257eb07ca316467acf76be0 /src
parentcfd3149589d03338d1d9735f5c232e89d67767b0 (diff)
Updated stuff
Diffstat (limited to 'src')
-rw-r--r--src/main/stanza/errors.stanza1
1 files changed, 1 insertions, 0 deletions
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<HighFormException>()