projects
/
gram.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Raise ValueError if RefreshTimer period is unsupported (fixing #48)
[gram.git]
/
gram
/
core
/
refresher.py
diff --git
a/gram/core/refresher.py
b/gram/core/refresher.py
index 45d88f7192493f6e3b874358e831e7b1fbb19b62..02211d3cfd79c114985ec04bf64abf53f5e41def 100644
(file)
--- a/
gram/core/refresher.py
+++ b/
gram/core/refresher.py
@@
-160,8
+160,8
@@
class RefreshTimer(Elaboratable):
"""
def __init__(self, trefi):
- # TODO: we don't pass formal verification for trefi = 1
- assert trefi != 1
+ if trefi < 2:
+ raise ValueError("trefi values under 2 are currently unsupported")
self.wait = Signal()
self.done = Signal()