[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 <tnt@246tNt.com>
TinyTapeout · Mar 13, 2024 · 76803d3 · 76803d3
1 parent 2469890
commit 76803d3
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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')