Merge branch 'main' of github.com:substrate-labs/substrate

Author: rohanku

substrate/src/data.rs

@@ -655,14 +655,15 @@ impl SubstrateCtx {
         params: &T::Params,
         work_dir: impl AsRef<Path>,
         pex_netlist_path: impl Into<PathBuf>,
+        ground_net: &str,
     ) -> Result<PexOutput>
     where
         T: Component,
     {
         let work_dir = work_dir.as_ref();
 
         with_err_context(
-            self._write_pex::<T>(params, work_dir, pex_netlist_path),
+            self._write_pex::<T>(params, work_dir, pex_netlist_path, ground_net),
             || {
                 ErrorContext::Task(arcstr::format!(
                     "running PEX in working directory {:?}",
@@ -677,6 +678,7 @@ impl SubstrateCtx {
         params: &T::Params,
         work_dir: impl AsRef<Path>,
         pex_netlist_path: impl Into<PathBuf>,
+        ground_net: &str,
     ) -> Result<PexOutput>
     where
         T: Component,
@@ -701,6 +703,7 @@ impl SubstrateCtx {
             source_cell_name: cell_name,
             pex_netlist_path: pex_netlist_path.into(),
             opts: HashMap::new(),
+            ground_net: ground_net.to_string(),
         })
     }
 

substrate/src/verification/pex/mod.rs

@@ -28,6 +28,8 @@ pub struct PexInput {
     pub pex_netlist_path: PathBuf,
     /// Unstructured options.
     pub opts: HashMap<ArcStr, ArcStr>,
+    /// The name of the ground net.
+    pub ground_net: String,
 }
 
 /// An enumeration describing the high-level result of a PEX run.