From a97371e83acbd2b41179647058a02a42c9854072 Mon Sep 17 00:00:00 2001 From: Uri Shaked Date: Mon, 20 Nov 2023 17:06:36 +0200 Subject: [PATCH] feat(precheck): make top module name optional if not given, just assume the top module name is the same at the base name of the given GDS file --- precheck/precheck.py | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/precheck/precheck.py b/precheck/precheck.py index d589406..6c2e870 100644 --- a/precheck/precheck.py +++ b/precheck/precheck.py @@ -106,12 +106,17 @@ def klayout_checks(gds: str): def main(): parser = argparse.ArgumentParser() parser.add_argument("--gds", required=True) - parser.add_argument("--toplevel", required=True) + parser.add_argument("--top-module", required=False) args = parser.parse_args() logging.basicConfig(level=logging.INFO, format="%(levelname)s: %(message)s") logging.info(f"PDK_ROOT: {PDK_ROOT}") - assert magic_drc(args.gds, args.toplevel) + if args.top_module: + top_module = args.top_module + else: + top_module = os.path.splitext(os.path.basename(args.gds))[0] + + assert magic_drc(args.gds, top_module) assert klayout_drc(args.gds, "feol") assert klayout_drc(args.gds, "beol")