From bc222162b8000b7c25a9aebde43724142e9843d5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jean-Fran=C3=A7ois=20Nguyen?= Date: Fri, 15 Apr 2022 16:07:53 +0200 Subject: [PATCH] build.plat: add SBY mode as .build() parameter. --- power_fv/build/plat.py | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/power_fv/build/plat.py b/power_fv/build/plat.py index 66834bb..d07671c 100644 --- a/power_fv/build/plat.py +++ b/power_fv/build/plat.py @@ -112,12 +112,11 @@ class SymbiYosysPlatform(TemplatedPlatform): ] return m - def build(self, top, **kwargs): + def build(self, top, mode="bmc", **kwargs): if not isinstance(top, tb.Testbench): raise TypeError("Top-level must be an instance of power_fv.tb.Testbench") - mode = top.check.mode - skip = top.t_post - depth = skip + 1 + skip = str(top.t_post) + depth = str(top.t_post + 1) return super().build(top, mode=mode, depth=depth, skip=skip, **kwargs)