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

Merge pull request #260 from jix/prepare-check

Browse source 
sby_design: Also track fairness assumptions
This commit is contained in:
Jannis Harder 2024-02-01 15:34:52 +01:00 committed by GitHub
parent cde9e57507 40bf8fcb87
commit 5c649c8e75
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
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() ASSERT = auto()
COVER = auto() COVER = auto()
LIVE = auto() LIVE = auto()
FAIR = auto()
def __str__(self): def __str__(self):
return self.name return self.name
@ -69,6 +70,8 @@ class SbyProperty:
return c.COVER return c.COVER
if name == "$live": if name == "$live":
return c.LIVE return c.LIVE
if name == "$fair":
return c.FAIR
raise ValueError("Unknown property type: " + name) raise ValueError("Unknown property type: " + name)
@classmethod @classmethod
@ -81,6 +84,8 @@ class SbyProperty:
return c.COVER return c.COVER
if name == "live": if name == "live":
return c.LIVE return c.LIVE
if name == "fair":
return c.FAIR
raise ValueError("Unknown property type: " + name) raise ValueError("Unknown property type: " + name)
name: str name: str
@ -198,7 +203,7 @@ def design_hierarchy(filename):
raise ValueError(f"Cannot find module {module_name}") raise ValueError(f"Cannot find module {module_name}")
for sort in cell_sorts: 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"]: for cell in sort["cells"]:
try: try:
location = cell["attributes"]["src"] location = cell["attributes"]["src"]