From 76803d3ab241f9a61ff6f65a16ae6f8f664d82c7 Mon Sep 17 00:00:00 2001 From: Sylvain Munaut Date: Wed, 13 Mar 2024 21:34:13 +0100 Subject: [PATCH] [of] formal/py: Update the modules.yaml generation script for OF * PG is enabled by default but not processed by formal so disable it * Larger grid Signed-off-by: Sylvain Munaut --- py/gen_formal.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/py/gen_formal.py b/py/gen_formal.py index 9516733..8117972 100755 --- a/py/gen_formal.py +++ b/py/gen_formal.py @@ -16,5 +16,6 @@ print("modules:") for x in range(16): - for y in range(24): + for y in range(32): print(f' - name: "{args.module}"') + print(f' pg_vdd: false')