From 7cb913ed2a3d2ce87083c6d6c97aba42150481c1 Mon Sep 17 00:00:00 2001 From: rsetaluri Date: Tue, 5 Dec 2023 16:11:23 -0800 Subject: [PATCH] [magma v3.0.0] Upgrade to magma v3.0.0 --- examples/sv_tb/sv_tb.py | 2 +- fault/assert_immediate.py | 2 +- fault/property.py | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/examples/sv_tb/sv_tb.py b/examples/sv_tb/sv_tb.py index c52da14c..9e2a8338 100644 --- 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 index 699ffd85..c83215fc 100644 --- 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 index be3ed613..6a6ddc76 100644 --- 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):