[magma v3.0.0] Upgrade to magma v3.0.0

leonardt · Dec 6, 2023 · 7cb913e · 7cb913e
1 parent 088fd02
commit 7cb913e
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/examples/sv_tb/sv_tb.py b/examples/sv_tb/sv_tb.py
@@ -5,7 +5,7 @@
 import fault
 
 
-class Queue(m.Generator2):
+class Queue(m.Generator):
     def __init__(self, T, entries, with_bug=False):
         assert entries >= 0
         self.io = m.IO(

diff --git a/fault/assert_immediate.py b/fault/assert_immediate.py
@@ -36,7 +36,7 @@ def _make_assert(type_, cond, success_msg=None, failure_msg=None,
 end
 """
     assert_str = add_compile_guards(compile_guard, assert_str)
-    m.inline_verilog2(assert_str, **format_args, type_=type_)
+    m.inline_verilog(assert_str, **format_args, type_=type_)
 
 
 def _add_docstr(fn):

diff --git a/fault/property.py b/fault/property.py
@@ -264,7 +264,7 @@ def _make_statement(statement, prop, on, disable_iff, compile_guard, name):
             raise TypeError("Expected string for name")
         prop_str = f"{name}: {prop_str}"
     prop_str = add_compile_guards(compile_guard, prop_str)
-    m.inline_verilog2(prop_str, **format_args)
+    m.inline_verilog(prop_str, **format_args)
 
 
 def assert_(prop, on, disable_iff=None, compile_guard=None, name=None):