usb-tools/amaranth
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

hdl.ast: Add Assert and Assign statements.

Browse source
This commit is contained in:
William D. Jones 2018-12-28 01:33:19 -05:00 committed by whitequark
parent ea7e19ed5c
commit e6517a33c7
1 changed files with 51 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

53
nmigen/hdl/ast.py
View file

@ -12,8 +12,9 @@ __all__ = [
"Value", "Const", "C", "Operator", "Mux", "Part", "Slice", "Cat", "Repl",
"Array", "ArrayProxy",
"Signal", "ClockSignal", "ResetSignal",
"Statement", "Assign", "Switch", "Delay", "Tick", "Passive",
"ValueKey", "ValueDict", "ValueSet", "SignalKey", "SignalDict", "SignalSet",
"Statement", "Assign", "Assert", "Assume", "Switch", "Delay", "Tick",
"Passive", "ValueKey", "ValueDict", "ValueSet", "SignalKey", "SignalDict",
"SignalSet",
]
@ -826,6 +827,54 @@ class Assign(Statement):
return "(eq {!r} {!r})".format(self.lhs, self.rhs)
class Assert(Statement):
def __init__(self, test, _check=None, _en=None):
self.test = Value.wrap(test)
self._check = _check
if self._check is None:
self._check = Signal(reset_less=True, name="$assert$check")
self._check.src_loc = self.test.src_loc
self._en = _en
if _en is None:
self._en = Signal(reset_less=True, name="$assert$en")
self._en.src_loc = self.test.src_loc
def _lhs_signals(self):
return ValueSet((self._en, self._check))
def _rhs_signals(self):
return self.test._rhs_signals()
def __repr__(self):
return "(assert {!r})".format(self.test)
class Assume(Statement):
def __init__(self, test, _check=None, _en=None):
self.test = Value.wrap(test)
self._check = _check
if self._check is None:
self._check = Signal(reset_less=True, name="$assume$check")
self._check.src_loc = self.test.src_loc
self._en = _en
if self._en is None:
self._en = Signal(reset_less=True, name="$assume$en")
self._en.src_loc = self.test.src_loc
def _lhs_signals(self):
return ValueSet((self._en, self._check))
def _rhs_signals(self):
return self.test._rhs_signals()
def __repr__(self):
return "(assume {!r})".format(self.test)
class Switch(Statement):
def __init__(self, test, cases):
self.test = Value.wrap(test)