From a210fdda0f178a60e82d9e029752e3f1731fc3d1 Mon Sep 17 00:00:00 2001 From: Matt Guthaus Date: Sun, 24 Feb 2019 10:49:35 -0800 Subject: [PATCH] Fix arguments for none verification --- compiler/verify/assura.py | 6 +++--- compiler/verify/calibre.py | 2 +- compiler/verify/magic.py | 2 +- compiler/verify/none.py | 4 ++-- 4 files changed, 7 insertions(+), 7 deletions(-) diff --git a/compiler/verify/assura.py b/compiler/verify/assura.py index d3c605f3..af034730 100644 --- a/compiler/verify/assura.py +++ b/compiler/verify/assura.py @@ -30,7 +30,7 @@ num_drc_runs = 0 num_lvs_runs = 0 num_pex_runs = 0 -def run_drc(name, gds_name): +def run_drc(name, gds_name, final_verification=False): """Run DRC check on a given top-level name which is implemented in gds_name.""" @@ -93,7 +93,7 @@ def run_drc(name, gds_name): return errors -def run_lvs(name, gds_name, sp_name): +def run_lvs(name, gds_name, sp_name, final_verification=False): """Run LVS check on a given top-level name which is implemented in gds_name and sp_name. """ @@ -178,7 +178,7 @@ def run_lvs(name, gds_name, sp_name): return errors -def run_pex(name, gds_name, sp_name, output=None): +def run_pex(name, gds_name, sp_name, output=None, final_verification=False): """Run pex on a given top-level name which is implemented in gds_name and sp_name. """ debug.error("PEX extraction not implemented with Assura.",-1) diff --git a/compiler/verify/calibre.py b/compiler/verify/calibre.py index 2de76386..5f8d2c73 100644 --- a/compiler/verify/calibre.py +++ b/compiler/verify/calibre.py @@ -282,7 +282,7 @@ def run_lvs(cell_name, gds_name, sp_name, final_verification=False): return total_errors -def run_pex(cell_name, gds_name, sp_name, output=None): +def run_pex(cell_name, gds_name, sp_name, output=None, final_verification=False): """Run pex on a given top-level name which is implemented in gds_name and sp_name. """ diff --git a/compiler/verify/magic.py b/compiler/verify/magic.py index 29a26b5e..7db9a5c2 100644 --- a/compiler/verify/magic.py +++ b/compiler/verify/magic.py @@ -259,7 +259,7 @@ def run_lvs(cell_name, gds_name, sp_name, final_verification=False): return total_errors -def run_pex(name, gds_name, sp_name, output=None): +def run_pex(name, gds_name, sp_name, output=None, final_verification=False): """Run pex on a given top-level name which is implemented in gds_name and sp_name. """ diff --git a/compiler/verify/none.py b/compiler/verify/none.py index 531a394d..c69ed93b 100644 --- a/compiler/verify/none.py +++ b/compiler/verify/none.py @@ -9,7 +9,7 @@ drc_warned = False lvs_warned = False pex_warned = False -def run_drc(cell_name, gds_name, extract=False): +def run_drc(cell_name, gds_name, extract=False, final_verification=False): global drc_warned if not drc_warned: debug.warning("DRC unable to run.") @@ -25,7 +25,7 @@ def run_lvs(cell_name, gds_name, sp_name, final_verification=False): # Since we warned, return a failing test. return 1 -def run_pex(name, gds_name, sp_name, output=None): +def run_pex(name, gds_name, sp_name, output=None, final_verification=False): global pex_warned if not pex_warned: debug.warning("PEX unable to run.")