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 #154 from jix/sby_design-fixes

Browse source 
sby_design fixes
This commit is contained in:
Jannis Harder 2022-03-31 16:35:40 +02:00 committed by GitHub
parent 43a79965c3 4b512668b2
commit 25e982c238
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
sbysrc/sby_design.py
View file

@ -97,7 +97,7 @@ class SbyModule:
for prop in self:
if cell_name == prop.name.translate(str.maketrans(trans_dict)):
return prop
raise KeyError(f"No such property: {smt2_name}")
raise KeyError(f"No such property: {cell_name}")
def design_hierarchy(filename):
design_json = json.load(filename)
@ -108,7 +108,7 @@ def design_hierarchy(filename):
cells = design_json["modules"][module_name]["cells"]
for cell_name, cell in cells.items():
sub_hierarchy=f"{hierarchy}/{instance_name}" if hierarchy else instance_name
if cell["type"][0] != '$':
if cell["type"][0] != '$' or cell["type"].startswith("$paramod"):
mod.submodules[cell_name] = make_mod_hier(cell_name, cell["type"], hierarchy=sub_hierarchy)
if cell["type"] in ["$assume", "$assert", "$cover", "$live"]:
try: