librelane 3.1.0.dev3__tar.gz → 3.1.0.dev5__tar.gz

{librelane-3.1.0.dev3 → librelane-3.1.0.dev5}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: librelane
-Version: 3.1.0.dev3
+Version: 3.1.0.dev5
 Summary: An infrastructure for implementing chip design flows
 License-Expression: Apache-2.0
 Maintainer: Mohamed Gaber
@@ -12,7 +12,8 @@ Classifier: Programming Language :: Python :: 3.11
 Classifier: Programming Language :: Python :: 3.12
 Classifier: Programming Language :: Python :: 3.13
 Classifier: Programming Language :: Python :: 3.14
-Requires-Dist: ciel (>=2.3.1,<3)
+Classifier: Programming Language :: Python :: 3.15
+Requires-Dist: ciel (>=3.2.0,<4)
 Requires-Dist: click (>=8,<8.4)
 Requires-Dist: cloup (>=3.0.5,<4)
 Requires-Dist: deprecated (>=1.2.10,<2)
@@ -79,7 +80,7 @@ LibreLane includes two reference flows (`Classic` and `Chip`) that are built
 entirely using open-source EDA tools.
 
 You can find the documentation
-[here](https://librelane.readthedocs.io/en/latest/getting_started/) to get
+[here](https://librelane.readthedocs.io/en/stable/getting_started/) to get
 started. You can discuss LibreLane in the
 [FOSSi Chat Matrix Server](https://fossi-chat.org).
 
@@ -120,7 +121,7 @@ Works for macOS and Linux (x86-64 and aarch64). Recommended, as it is more
 integrated with your filesystem and overall has less upload and download deltas.
 
 See
-[Nix-based installation](https://librelane.readthedocs.io/en/latest/installation/nix_installation/index.html)
+[Nix-based installation](https://librelane.readthedocs.io/en/stable/installation/nix_installation/index.html)
 in the docs for more info.
 
 ### Docker
@@ -128,7 +129,7 @@ in the docs for more info.
 Works for Windows, macOS and Linux (x86-64 and aarch64).
 
 See
-[Docker-based installation](https://librelane.readthedocs.io/en/latest/installation/docker_installation/index.html)
+[Docker-based installation](https://librelane.readthedocs.io/en/stable/installation/docker_installation/index.html)
 in the docs for more info.
 
 Do note you'll need to add `--dockerized` right after `librelane` in most CLI
@@ -144,7 +145,9 @@ python3 -m pip install --upgrade librelane
 ```
 
 Python-only installations are presently unsupported and entirely at your own
-risk.
+risk, but you may consult
+[Manual installation](https://librelane.readthedocs.io/en/stable/installation/manual_installation/index.html)
+in the docs for more info.
 
 ## Usage
 

{librelane-3.1.0.dev3 → librelane-3.1.0.dev5}/Readme.md

@@ -45,7 +45,7 @@ LibreLane includes two reference flows (`Classic` and `Chip`) that are built
 entirely using open-source EDA tools.
 
 You can find the documentation
-[here](https://librelane.readthedocs.io/en/latest/getting_started/) to get
+[here](https://librelane.readthedocs.io/en/stable/getting_started/) to get
 started. You can discuss LibreLane in the
 [FOSSi Chat Matrix Server](https://fossi-chat.org).
 
@@ -86,7 +86,7 @@ Works for macOS and Linux (x86-64 and aarch64). Recommended, as it is more
 integrated with your filesystem and overall has less upload and download deltas.
 
 See
-[Nix-based installation](https://librelane.readthedocs.io/en/latest/installation/nix_installation/index.html)
+[Nix-based installation](https://librelane.readthedocs.io/en/stable/installation/nix_installation/index.html)
 in the docs for more info.
 
 ### Docker
@@ -94,7 +94,7 @@ in the docs for more info.
 Works for Windows, macOS and Linux (x86-64 and aarch64).
 
 See
-[Docker-based installation](https://librelane.readthedocs.io/en/latest/installation/docker_installation/index.html)
+[Docker-based installation](https://librelane.readthedocs.io/en/stable/installation/docker_installation/index.html)
 in the docs for more info.
 
 Do note you'll need to add `--dockerized` right after `librelane` in most CLI
@@ -110,7 +110,9 @@ python3 -m pip install --upgrade librelane
 ```
 
 Python-only installations are presently unsupported and entirely at your own
-risk.
+risk, but you may consult
+[Manual installation](https://librelane.readthedocs.io/en/stable/installation/manual_installation/index.html)
+in the docs for more info.
 
 ## Usage
 

{librelane-3.1.0.dev3 → librelane-3.1.0.dev5}/librelane/common/__init__.py

@@ -33,6 +33,7 @@ from .misc import (
     get_librelane_root,
     get_script_dir,
     get_pdk_hash,
+    get_ciel_pdk_hash,
     slugify,
     protected,
     final,

{librelane-3.1.0.dev3 → librelane-3.1.0.dev5}/librelane/common/misc.py

@@ -40,6 +40,7 @@ from typing import (
 )
 
 import httpx
+from deprecated.sphinx import deprecated
 
 from ..__version__ import __version__
 from .types import AnyPath, Path
@@ -75,6 +76,11 @@ def get_script_dir() -> str:
     )
 
 
+@deprecated(
+    version="3.1.0",
+    reason="Use get_ciel_pdk_hash, this method can force an exit in some codepaths",
+    action="once",
+)
 def get_pdk_hash(pdk_variant) -> str:
     """
     Gets the PDK version hash confirmed compatible with this version of LibreLane.
@@ -92,6 +98,27 @@ def get_pdk_hash(pdk_variant) -> str:
     exit(1)
 
 
+def get_ciel_pdk_hash(pdk_variant: str) -> str:
+    """
+    Gets the PDK version hash confirmed compatible with this version of LibreLane.
+
+    Requires ciel
+    """
+    import ciel
+
+    with open(os.path.join(get_librelane_root(), "pdk_hashes.yaml"), "r") as file:
+        pdk_hashes = yaml.safe_load(file)
+
+    pdk_family = ciel.resolve_pdk_family(pdk_variant)
+
+    if pdk_family not in pdk_hashes:
+        raise ValueError(
+            f"LibreLane does not have a validated version for Ciel PDK family {pdk_family}."
+        )
+
+    return pdk_hashes[pdk_family]
+
+
 # The following code snippet has been adapted under the following license:
 #
 # Copyright (c) Django Software Foundation and individual contributors.

{librelane-3.1.0.dev3 → librelane-3.1.0.dev5}/librelane/common/toolbox.py

@@ -367,6 +367,11 @@ class Toolbox(object):
             warn(f"Failed to generate preview: {e}.")
             return None
 
+    @deprecated(
+        version="3.1.0",
+        reason="No longer needed by internal LibreLane steps and will be removed in LibreLane 4.0.",
+        action="once",
+    )
     def remove_cells_from_lib(
         self,
         input_lib_files: FrozenSet[str],

{librelane-3.1.0.dev3 → librelane-3.1.0.dev5}/librelane/config/__init__.py

@@ -1,3 +1,7 @@
+# Copyright 2025 LibreLane Contributors
+#
+# Adapted from OpenLane 2
+#
 # Copyright 2023 Efabless Corporation
 #
 # Licensed under the Apache License, Version 2.0 (the "License");

{librelane-3.1.0.dev3 → librelane-3.1.0.dev5}/librelane/config/__main__.py

@@ -1,3 +1,7 @@
+# Copyright 2025 LibreLane Contributors
+#
+# Adapted from OpenLane 2
+#
 # Copyright 2023 Efabless Corporation
 #
 # Licensed under the Apache License, Version 2.0 (the "License");

{librelane-3.1.0.dev3 → librelane-3.1.0.dev5}/librelane/config/config.py

@@ -1,3 +1,7 @@
+# Copyright 2025 LibreLane Contributors
+#
+# Adapted from OpenLane 2
+#
 # Copyright 2023 Efabless Corporation
 #
 # Licensed under the Apache License, Version 2.0 (the "License");
@@ -815,7 +819,7 @@ class Config(GenericImmutableDict[str, Any]):
             try:
                 import ciel
 
-                pdk_root = ciel.get_ciel_home(pdk_root)
+                pdk_root = str(ciel.get_ciel_home(pdk_root))
             except ImportError:
                 raise ValueError(
                     "The pdk_root argument is required as Ciel is not installed."

{librelane-3.1.0.dev3 → librelane-3.1.0.dev5}/librelane/config/flow.py

@@ -1,6 +1,6 @@
 # Copyright 2025 LibreLane Contributors
 #
-# Adapted from OpenLane
+# Adapted from OpenLane 2
 #
 # Copyright 2023 Efabless Corporation
 #

{librelane-3.1.0.dev3 → librelane-3.1.0.dev5}/librelane/config/pdk_compat.py

@@ -1,3 +1,7 @@
+# Copyright 2025 LibreLane Contributors
+#
+# Adapted from OpenLane 2
+#
 # Copyright 2023-2025 Efabless Corporation
 #
 # Licensed under the Apache License, Version 2.0 (the "License");
@@ -350,4 +354,20 @@ def migrate_old_config(config: Mapping[str, Any]) -> Dict[str, Any]:
         if "HEURISTIC_ANTENNA_THRESHOLD" not in config:
             new["HEURISTIC_ANTENNA_THRESHOLD"] = 130
 
+    # x7. KLAYOUT_DRC_OPTIONS to defines
+    if new["PDK"].startswith("sky130") and "KLAYOUT_DRC_OPTIONS" in new:
+        tcl_dict = new["KLAYOUT_DRC_OPTIONS"]
+        ws_rx = re.compile(r"\s+")
+        del new["KLAYOUT_DRC_OPTIONS"]
+        new["KLAYOUT_DRC_DEFINES"] = {}
+        # deliberately not checking for bad dicts or dicts that require quoting
+        # it's already overkill to assume people modified the PDK files here
+        #
+        # if someone complains we can parse a Tcl dict later
+        tcl_dict_entries = ws_rx.split(tcl_dict)
+        while len(tcl_dict_entries):
+            key = tcl_dict_entries.pop(0)
+            value = tcl_dict_entries.pop(0)
+            new["KLAYOUT_DRC_DEFINES"][key] = value
+
     return new

{librelane-3.1.0.dev3 → librelane-3.1.0.dev5}/librelane/config/preprocessor.py

@@ -1,3 +1,7 @@
+# Copyright 2025 LibreLane Contributors
+#
+# Adapted from OpenLane 2
+#
 # Copyright 2023 Efabless Corporation
 #
 # Licensed under the Apache License, Version 2.0 (the "License");

{librelane-3.1.0.dev3 → librelane-3.1.0.dev5}/librelane/config/removals.py

@@ -1,3 +1,7 @@
+# Copyright 2025 LibreLane Contributors
+#
+# Adapted from OpenLane 2
+#
 # Copyright 2023 Efabless Corporation
 #
 # Licensed under the Apache License, Version 2.0 (the "License");

{librelane-3.1.0.dev3 → librelane-3.1.0.dev5}/librelane/config/variable.py

@@ -1,3 +1,7 @@
+# Copyright 2025 LibreLane Contributors
+#
+# Adapted from OpenLane 2
+#
 # Copyright 2023 Efabless Corporation
 #
 # Licensed under the Apache License, Version 2.0 (the "License");
@@ -241,6 +245,8 @@ class Macro:
 
         # we need to make a copy here, as we're modifying the dictionary as we iterate
         for instance_name, instance in self.instances.copy().items():
+            if not isinstance(instance, Instance):
+                instance = Instance(**instance)
             if (array := instance.array) is not None:
                 # we have a macro to expand
                 # first, check it's valid

{librelane-3.1.0.dev3 → librelane-3.1.0.dev5}/librelane/flows/cli.py

@@ -43,7 +43,7 @@ from cloup.constraints import (
 from cloup.typing import Decorator
 
 from .flow import Flow
-from ..common import set_tpe, cli, get_pdk_hash, _get_process_limit
+from ..common import set_tpe, cli, get_ciel_pdk_hash, _get_process_limit
 from ..logging import set_log_level, verbose, err, options, LogLevels
 from ..state import State, InvalidState
 
@@ -517,8 +517,7 @@ def cloup_flow_opts(
                     import ciel
                     from ciel.source import StaticWebDataSource
 
-                    opdks_rev = volare_pdk_override or get_pdk_hash(pdk)
-                    ciel_home = ciel.get_ciel_home(pdk_root)
+                    ciel_home = str(ciel.get_ciel_home(pdk_root))
 
                     include_libraries = ["default"]
                     if scl is not None:
@@ -527,32 +526,35 @@ def cloup_flow_opts(
                     if pad is not None:
                         include_libraries.append(pad)
 
-                    pdk_family = None
-                    if family := ciel.Family.by_name.get(pdk):
-                        pdk = family.default_variant
-                        pdk_family = family.name
-                        verbose(f"Resolved PDK variant {family.default_variant}.")
-                    else:
-                        for family in ciel.Family.by_name.values():
-                            if pdk in family.variants:
-                                pdk_family = family.name
-                                break
-
-                    if pdk_family is None:
-                        err(f"Could not resolve the PDK '{pdk}'.")
+                    selector = pdk
+
+                    try:
+                        pdk = ciel.resolve_pdk_variant(pdk)
+                        if pdk != selector:
+                            verbose(f"Resolved PDK variant {pdk}.")
+                    except ValueError as e:
+                        err(str(e))
+                        err("If you're using a non-Ciel PDK, please pass --manual-pdk.")
+                        exit(1)
+
+                    try:
+                        opdks_rev = volare_pdk_override or get_ciel_pdk_hash(pdk)
+                    except ValueError as e:
+                        err(str(e))
+                        err("Please specify a PDK manually with '--manual-pdk'.")
                         exit(1)
 
                     try:
                         version = ciel.fetch(
                             ciel_home,
-                            pdk_family,
+                            pdk,  # only pull default libraries for resolved variant since we have a message saying "Resolved variant {pdk}..."
                             opdks_rev,
                             data_source=StaticWebDataSource(
                                 "https://fossi-foundation.github.io/ciel-releases"
                             ),
                             include_libraries=include_libraries,
                         )
-                        pdk_root = version.get_dir(ciel_home)
+                        pdk_root = str(version.get_dir(ciel_home))
                     except ValueError as e:
                         err(f"Failed to download PDK: {e}")
                         exit(1)

{librelane-3.1.0.dev3 → librelane-3.1.0.dev5}/librelane/flows/synth_explore.py

@@ -79,6 +79,7 @@ class SynthesisExploration(Flow):
         options.set_condensed_mode(True)
 
         for strategy in [
+            "DEFAULT",
             "AREA 0",
             "AREA 1",
             "AREA 2",

librelane-3.1.0.dev5/librelane/pdk_hashes.yaml

@@ -0,0 +1,4 @@
+sky130: 792ef67037d74c8c51811eab3ce23cf793491296
+gf180mcu: 792ef67037d74c8c51811eab3ce23cf793491296
+ihp-sg13: 89d42ee6d2fd9b50b86a1aada6fee6673c3e6008
+freepdk45: 784b1a483a5f4de362d6f3629378de1199453f3c

{librelane-3.1.0.dev3 → librelane-3.1.0.dev5}/librelane/scripts/odbpy/check_antenna_properties.py

@@ -65,7 +65,7 @@ def check_cells(odb_cells):
         }
         report.append(entry)
 
-        return report
+    return report
 
 
 def get_top_level_cell(input_lefs, design_lef, cell_name):

{librelane-3.1.0.dev3 → librelane-3.1.0.dev5}/librelane/scripts/odbpy/defutil.py

@@ -562,7 +562,10 @@ def remove_obstructions(reader, input_lefs, obstructions):
             if (odb_layer, odb_bbox) == (layer, bbox):
                 print(f"Removing obstruction on {layer} at {bbox} (DBU)…")
                 found = True
-                odb.dbObstruction_destroy(odb_obj)
+                if not odb_obj.isSystemReserved():
+                    odb.dbObstruction_destroy(odb_obj)
+                else:
+                    print("[WARNING] Obstruction is system-reserved.")
             if found:
                 break
         if not found:

{librelane-3.1.0.dev3 → librelane-3.1.0.dev5}/librelane/scripts/openroad/common/io.tcl

@@ -19,11 +19,23 @@ source $::env(_TCL_ENV_IN)
 source $::env(SCRIPTS_DIR)/openroad/common/set_global_connections.tcl
 
 namespace eval lln {
+    proc scene_name {scene} {
+        # OpenSTA >= 3.1 (commit 998806cb, 2026-06-30) bridges scenes as SWIG
+        # objects instead of strings. Older OpenSTA 3 bridges them as strings,
+        # in which case the value already is the name.
+        if { [sta::is_object $scene] } {
+            return [sta::get_property $scene name]
+        }
+        return $scene
+    }
     proc get_corner_names {} {
         # returns: names as a Tcl list, compatible with both OpenSTA 2 and 3
         if {[string length [namespace which sta::scenes]] != 0} {
-            # scenes are bridged as a list of strings
-            return [sta::scenes]
+            set result [list]
+            foreach scene [sta::scenes] {
+                lappend result [scene_name $scene]
+            }
+            return $result
         } else {
             # corners are not bridged as strings
             set result [list]
@@ -36,12 +48,14 @@ namespace eval lln {
     proc get_corner_dict {} {
         # returns: Tcl dictionary from corner names to whatever object is
         # interpreted as a corner for internal commands that expect corners:
-        # - in OpenSTA 3, that's the scene's name again
+        # - in OpenSTA 3, that's whatever sta::find_scene returns (a name in
+        #   OpenSTA 3.0, a Scene object since 3.1)
         # - in OpenSTA 2, that's an opaque Tcl pointer
         set result [dict create]
         if {[string length [namespace which sta::scenes]] != 0} {
             foreach scene [sta::scenes] {
-                dict set result $scene $scene
+                set name [scene_name $scene]
+                dict set result $name [sta::find_scene $name]
             }
         } else {
             foreach corner [sta::corners] {
@@ -52,7 +66,11 @@ namespace eval lln {
     }
 
     proc set_sta_cmd_corner {corner_name} {
-        if {[string length [namespace which sta::set_cmd_scene]] != 0} {
+        # sta::set_scene takes a name in every OpenSTA 3; sta::set_cmd_scene
+        # takes a name before 998806cb and a Scene object after.
+        if {[string length [namespace which sta::set_scene]] != 0} {
+            sta::set_scene $corner_name
+        } elseif {[string length [namespace which sta::set_cmd_scene]] != 0} {
             sta::set_cmd_scene $corner_name
         } else {
             set corner_object [sta::find_corner $corner_name]
@@ -111,7 +129,7 @@ proc read_current_sdc {} {
     }
 
     puts "Reading design constraints file at '$::env(_SDC_IN)'…"
-    if {[catch {read_sdc $::env(_SDC_IN)} errmsg]} {
+    if {[catch {log_cmd read_sdc $::env(_SDC_IN)} errmsg]} {
         puts stderr $errmsg
         exit 1
     }
@@ -119,10 +137,10 @@ proc read_current_sdc {} {
     if { ![string_in_file $::env(_SDC_IN) "set_propagated_clock"] && ![string_in_file $::env(_SDC_IN) "unset_propagated_clock"] } {
         if { [info exists ::env(OPENLANE_SDC_IDEAL_CLOCKS)] && $::env(OPENLANE_SDC_IDEAL_CLOCKS) } {
             puts "\[INFO\] No information on clock propagation in input SDC file-- unpropagating all clocks."
-            unset_propagated_clock [all_clocks]
+            log_cmd unset_propagated_clock [all_clocks]
         } else {
             puts "\[INFO\] No information on clock propagation in input SDC file-- propagating all clocks."
-            set_propagated_clock [all_clocks]
+            log_cmd set_propagated_clock [all_clocks]
         }
     }
 
@@ -140,6 +158,12 @@ proc read_current_sdc {} {
         unset ::env(SYNTH_DRIVING_CELL_PIN)
         set ::env(SYNTH_DRIVING_CELL) $synth_driving_cell_bk
     }
+
+    # this maneuver is so it ends up in the report directory even if it's not
+    # the step directory
+    puts "%OL_CREATE_REPORT resolved.sdc"
+    write_sdc /dev/stdout
+    puts "%OL_END_REPORT"
 }
 
 proc read_pad_cfg {} {
@@ -192,20 +216,20 @@ proc read_current_netlist {args} {
 
     if { [info exists flags(-powered)] } {
         puts "Reading top-level powered netlist at '$::env(CURRENT_PNL)'…"
-        if {[catch {read_verilog $::env(CURRENT_PNL)} errmsg]} {
+        if {[catch {log_cmd read_verilog $::env(CURRENT_PNL)} errmsg]} {
             puts stderr $errmsg
             exit 1
         }
     } else {
         puts "Reading top-level netlist at '$::env(CURRENT_NL)'…"
-        if {[catch {read_verilog $::env(CURRENT_NL)} errmsg]} {
+        if {[catch {log_cmd read_verilog $::env(CURRENT_NL)} errmsg]} {
             puts stderr $errmsg
             exit 1
         }
     }
 
     puts "Linking design '$::env(DESIGN_NAME)' from netlist…"
-    link_design $::env(DESIGN_NAME)
+    log_cmd link_design $::env(DESIGN_NAME)
     set_global_vars
     read_current_sdc
 }
@@ -219,27 +243,27 @@ proc read_timing_info {args} {
         return
     }
     set corner_name $::env(_CURRENT_CORNER_NAME)
-    log_cm define_corners $corner_name
+    log_cmd define_corners $corner_name
 
     puts "Reading timing models for corner $corner_name…"
 
     foreach lib $::env(_CURRENT_CORNER_LIBS) {
         puts "Reading cell library for the '$corner_name' corner at '$lib'…"
-        read_liberty -corner $corner_name $lib
+        log_cmd read_liberty -corner $corner_name $lib
     }
 
     if { [info exists ::env(EXTRA_LIBS) ] } {
         puts "Reading explicitly-specified extra libs for $corner_name…"
         foreach extra_lib $::env(EXTRA_LIBS) {
             puts "Reading extra timing library for the '$corner_name' corner at '$extra_lib'…"
-            read_liberty -corner $corner_name $extra_lib
+            log_cmd read_liberty -corner $corner_name $extra_lib
         }
     }
 
     set blackbox_wildcard {/// sta-blackbox}
     foreach nl $::env(_CURRENT_CORNER_NETLISTS) {
         puts "Reading macro netlist at '$nl'…"
-        if { [catch {read_verilog $nl} err] } {
+        if { [catch {log_cmd read_verilog $nl} err] } {
             puts stderr "Error while reading macro netlist '$nl':"
             puts stderr $err
             puts stderr "Make sure that this a gate-level netlist and not an RTL file."
@@ -250,7 +274,7 @@ proc read_timing_info {args} {
         foreach verilog_file $::env(EXTRA_VERILOG_MODELS) {
             if { [string_in_file $verilog_file $blackbox_wildcard] } {
                 puts "Found '$blackbox_wildcard' in '$verilog_file', skipping…"
-            } elseif { [catch {puts "Reading Verilog model at '$verilog_file'…"; read_verilog $verilog_file} err] } {
+            } elseif { [catch {puts "Reading Verilog model at '$verilog_file'…"; log_cmd read_verilog $verilog_file} err] } {
                 puts stderr "Error while reading $verilog_file:"
                 puts stderr $err
                 puts stderr "Make sure that this a gate-level netlist and not an RTL file, otherwise, you can add the following comment '$blackbox_wildcard' in the file to skip it and blackbox the modules inside if needed."
@@ -277,7 +301,7 @@ proc read_spefs {} {
     if { [info exists ::env(_CURRENT_SPEF_BY_CORNER)] } {
         set corner_name $::env(_CURRENT_CORNER_NAME)
         puts "Reading top-level design parasitics for the '$corner_name' corner at '$::env(_CURRENT_SPEF_BY_CORNER)'…"
-        read_spef -corner $corner_name $::env(_CURRENT_SPEF_BY_CORNER)
+        log_cmd read_spef -corner $corner_name $::env(_CURRENT_SPEF_BY_CORNER)
     }
     if { [info exists ::env(_CURRENT_CORNER_SPEFS)] } {
         set corner_name $::env(_CURRENT_CORNER_NAME)
@@ -285,7 +309,7 @@ proc read_spefs {} {
             set instance_path [lshift spefs]
             foreach spef $spefs {
                 puts "Reading '$instance_path' parasitics for the '$corner_name' corner at '$spef'…"
-                read_spef -corner $corner_name -path $instance_path $spef
+                log_cmd read_spef -corner $corner_name -path $instance_path $spef
             }
         }
     }
@@ -298,7 +322,7 @@ proc read_spefs {} {
                 if { "[get_property $cell ref_name]" eq "$module_name"} {
                     set instance_path [get_property $cell full_name]
                     puts "Reading '$instance_path' parasitics for the '$corner_name' corner at '$spef'…"
-                    read_spef -corner $corner_name -path $instance_path $spef
+                    log_cmd read_spef -corner $corner_name -path $instance_path $spef
                 }
             }
         }
@@ -318,7 +342,7 @@ proc read_pnr_libs {args} {
         lappend corner_names $corner_name
     }
 
-    define_corners {*}[array name corner]
+    log_cmd define_corners {*}[array name corner]
 
     foreach corner_name [array name corner] {
         puts "Reading timing models for corner $corner_name…"
@@ -326,14 +350,14 @@ proc read_pnr_libs {args} {
         set corner_models $corner($corner_name)
         foreach model $corner_models {
             puts "Reading timing library for the '$corner_name' corner at '$model'…"
-            read_liberty -corner $corner_name $model
+            log_cmd read_liberty -corner $corner_name $model
         }
 
         if { [info exists ::env(EXTRA_LIBS) ] } {
             puts "Reading explicitly-specified extra libs for $corner_name…"
             foreach extra_lib $::env(EXTRA_LIBS) {
                 puts "Reading extra timing library for the '$corner_name' corner at '$extra_lib'…"
-                read_liberty -corner $corner_name $extra_lib
+                log_cmd read_liberty -corner $corner_name $extra_lib
             }
         }
     }
@@ -343,7 +367,7 @@ proc read_tech_lef {{tlef_key "TECH_LEF"}} {
     set tlef $::env($tlef_key)
 
     puts "Reading technology LEF file at '$tlef'…"
-    read_lef $tlef
+    log_cmd read_lef $tlef
 
     # Make fake I/O sites
     if { [info exists ::env(PAD_FAKE_SITES)] } {
@@ -352,7 +376,7 @@ proc read_tech_lef {{tlef_key "TECH_LEF"}} {
             set height [lindex $size 1]
 
             puts "Making fake IO site $site_name…"
-            make_fake_io_site -name $site_name -width $width -height $height
+            log_cmd make_fake_io_site -name $site_name -width $width -height $height
         }
     }
 }
@@ -360,24 +384,24 @@ proc read_tech_lef {{tlef_key "TECH_LEF"}} {
 proc read_other_lefs {} {
     foreach lef $::env(CELL_LEFS) {
         puts "Reading cell LEF file at '$lef'…"
-        read_lef $lef
+        log_cmd read_lef $lef
     }
     if { [info exist ::env(MACRO_LEFS)] } {
         foreach lef $::env(MACRO_LEFS) {
             puts "Reading macro LEF file at '$lef'…"
-            read_lef $lef
+            log_cmd read_lef $lef
         }
     }
     if { [info exist ::env(PAD_LEFS)] } {
         foreach lef $::env(PAD_LEFS) {
             puts "Reading gpio pad LEF file at '$lef'…"
-            read_lef $lef
+            log_cmd read_lef $lef
         }
     }
     if { [info exist ::env(EXTRA_LEFS)] } {
         foreach lef $::env(EXTRA_LEFS) {
             puts "Reading extra LEF file at '$lef'…"
-            read_lef $lef
+            log_cmd read_lef $lef
         }
     }
 }
@@ -398,7 +422,7 @@ proc read_current_odb {args} {
 
     read_pnr_libs
     puts "Reading OpenROAD database at '$::env(CURRENT_ODB)'…"
-    if { [ catch {read_db $::env(CURRENT_ODB)} errmsg ]} {
+    if { [ catch {log_cmd read_db $::env(CURRENT_ODB)} errmsg ]} {
         puts stderr $errmsg
         exit 1
     }