mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-05 22:14:08 +00:00
Code Activity

sby_design: Also track fairness assumptions

Browse source
This commit is contained in:
Jannis Harder 2024-01-24 16:08:31 +01:00
parent 881082c990
commit 40bf8fcb87
1 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
sbysrc/sby_design.py
View file

@ -55,6 +55,7 @@ class SbyProperty:
ASSERT = auto()
COVER = auto()
LIVE = auto()
FAIR = auto()
def __str__(self):
return self.name
@ -69,6 +70,8 @@ class SbyProperty:
return c.COVER
if name == "$live":
return c.LIVE
if name == "$fair":
return c.FAIR
raise ValueError("Unknown property type: " + name)
@classmethod
@ -81,6 +84,8 @@ class SbyProperty:
return c.COVER
if name == "live":
return c.LIVE
if name == "fair":
return c.FAIR
raise ValueError("Unknown property type: " + name)
name: str
@ -198,7 +203,7 @@ def design_hierarchy(filename):
raise ValueError(f"Cannot find module {module_name}")
for sort in cell_sorts:
if sort["type"] in ["$assume", "$assert", "$cover", "$live"]:
if sort["type"] in ["$assume", "$assert", "$cover", "$live", "$fair"]:
for cell in sort["cells"]:
try:
location = cell["attributes"]["src"]