diff options
| author | azidar | 2015-05-04 13:11:22 -0700 |
|---|---|---|
| committer | azidar | 2015-05-04 13:11:22 -0700 |
| commit | 8a8c4790abca448165b570ebf7bb6c2296d9f452 (patch) | |
| tree | a538223247610529c257eb07ca316467acf76be0 /src | |
| parent | cfd3149589d03338d1d9735f5c232e89d67767b0 (diff) | |
Updated stuff
Diffstat (limited to 'src')
| -rw-r--r-- | src/main/stanza/errors.stanza | 1 |
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>() |
