@modular-circuit/perc 0.1.2 → 0.1.4

package/dist/index.d.mts

@@ -1,5 +1,5 @@
 import * as _modular_circuit_electronics_model from '@modular-circuit/electronics-model';
-import { VECTOR2, BOX2, ELECTRICAL_NODE, ELECTRICAL_PINTYPE, ConnectionSubgraph, ConnectionNodeMap, GS_SCH_SHEET_PATH, ConnectionGraph, CG_SHEET, NL_PowerSymbol, PowerShape, PowerSymbolPort, Connection, ConnectionNode } from '@modular-circuit/electronics-model';
+import { VECTOR2, BOX2, ELECTRICAL_NODE, ELECTRICAL_PINTYPE, ConnectionSubgraph, ConnectionNodeMap, GS_SCH_SHEET_PATH, ConnectionGraph, CG_SHEET, NL_PowerSymbol, DigitalBidirBundle, PowerShape, PowerSymbolPort, Connection, ConnectionNode } from '@modular-circuit/electronics-model';
 import { SCH_ITEM, ModuleResolver, ModuleCircuit, IR_Graph } from '@modular-circuit/ir';
 import { PowerBase } from '@modular-circuit/ir/build/graph/pwr_base';
 import { CC_Visitor } from '@modular-circuit/utils';
@@ -159,6 +159,22 @@ declare const PP_ILLEGAL_CONNECTION: (eda_item_ids: string[], detail: string) =>
     error_message: string;
     eda_item_ids: string[];
 };
+declare const CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT: (bundle_id: string) => {
+    error_code: PP_ERROR;
+    error_message: string;
+    eda_item_ids: string[];
+};
+
+interface REPORT_ITEM {
+    /**
+     * The UUIDs of the eda items that are related to this item.
+     */
+    eda_item_ids: string[];
+    /**
+     * A message describing the details of this specific error
+     */
+    error_message: string;
+}
 
 /**Token from KiCAD
  * https://gitlab.com/kicad/code/kicad/-/blob/master/eeschema/erc/erc_settings.h
@@ -314,7 +330,8 @@ declare enum PP_ERROR {
     OVERCURRENT = "overcurrent",
     INCOMPATIBLE_DIGITAL_THRESHOLDS = "incompatible_digital_thresholds",
     REQUIRES_CONNECTED_SOURCE_OR_BIDIR = "requires_connected_source_or_bidir",
-    ILLEGAL_CONNECTION = "Illegal_connection"
+    ILLEGAL_CONNECTION = "Illegal_connection",
+    CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT = "connection_count_exceeds_bundle_limit"
 }
 declare const DEFAULT_PP_ERROR_SEVERITY: Record<PP_ERROR, SEVERITY>;
 
@@ -347,19 +364,11 @@ declare class NetlistTester implements CG_Visitor {
  *
  * RC_ITEMs can have zero, one, or two related EDA_ITEMs.
  */
-interface RC_ITEM {
-    /**
-     * The UUIDs of the eda items that are related to this item.
-     */
-    eda_item_ids: string[];
+interface RC_ITEM extends REPORT_ITEM {
     /**
      *  The error code's numeric value
      */
     error_code: ERCE_T | PP_ERROR;
-    /**
-     * A message describing the details of this specific error
-     */
-    error_message: string;
     /**
      * The string describing the type of error
      */
@@ -410,11 +419,10 @@ interface ERC_CONTEXT {
 }
 declare class ERC_TESTER {
     private ctx;
-    constructor(ctx: ERC_CONTEXT);
+    private report;
+    constructor(ctx: ERC_CONTEXT, report: ERC_REPORT);
     run_test(): {
         connection_graph: ConnectionGraph;
-        markers: SCH_MARKER[];
-        erc_errors: SCH_ERC_ITEM[];
     };
 }
 
@@ -423,12 +431,23 @@ interface CG_SCHEMATIC {
     sheets: CG_SHEET[];
     powers: NL_PowerSymbol[];
 }
+interface BundleInfo {
+    bundle: DigitalBidirBundle;
+    block_name: string;
+    circuit?: ModuleCircuit;
+}
 declare class IR_GRAPH_CONVERTER implements GRAPH_CONVERTER {
     private readonly circuits;
     private graph;
     private connection_node_map;
     private schematics;
+    private bundle_consumed_port_count;
+    private bundles;
     private reporter_context;
+    get_bundle_consumed_port_count(): {
+        bundle_consumed_port_count: Record<string, number>;
+        bundles: Record<string, BundleInfo>;
+    };
     get_report_context(): ERC_REPORTER_CONTEXT;
     constructor(circuits: Record<string, ModuleCircuit>);
     convert_to_graph(designs: Record<string, IR_Graph>): true | Error[];
@@ -445,7 +464,6 @@ declare class ConnectionGraphsBuilder implements CC_Visitor {
     private readonly connection_node_map;
     private net_count;
     private connection_graph;
-    private bundle_consumed_port_count;
     constructor(connection_node_map: ConnectionNodeMap);
     end_visit_component(cc: string[]): void;
     resolve_net_drive(nodes: ConnectionNode[], sub_graph: ConnectionSubgraph): void;
@@ -454,6 +472,10 @@ declare class ConnectionGraphsBuilder implements CC_Visitor {
 declare function build_connection_graph(ctx: CONNECTION_GRAPH_BUILDER_CTX): Promise<{
     connection_graph: ConnectionGraph;
     cg_schematics: Record<string, CG_SCHEMATIC>;
+    bundle_consume_status: {
+        bundle_consumed_port_count: Record<string, number>;
+        bundles: Record<string, BundleInfo>;
+    };
     pin_name_table: Record<string, string>;
     pin_module_name_table: Record<string, string>;
 }>;
@@ -462,12 +484,15 @@ type ERC_INPUT = CONNECTION_GRAPH_BUILDER_CTX & Omit<ERC_CONTEXT, 'connection_gr
 declare function graph_ecr(ctx: Omit<ERC_INPUT, 'schematics'> & {
     schematics: Record<string, IR_Graph>;
 }): Promise<{
+    erc_report: ERC_REPORT;
     connection_graph: _modular_circuit_electronics_model.ConnectionGraph;
     cg_schematics: Record<string, CG_SCHEMATIC>;
+    bundle_consume_status: {
+        bundle_consumed_port_count: Record<string, number>;
+        bundles: Record<string, BundleInfo>;
+    };
     pin_name_table: Record<string, string>;
     pin_module_name_table: Record<string, string>;
-    markers: SCH_MARKER[];
-    erc_errors: SCH_ERC_ITEM[];
 }>;
 
-export { type ADT_AdjacencyList, type ADT_Graph, type CG_SCHEMATIC, type CONNECTION_GRAPH_BUILDER_CTX, ConnectionGraphsBuilder, DEFAULT_ERC_SETTING, DEFAULT_PIN_MAP, DEFAULT_PP_ERROR_SEVERITY, DEFAULT_SEVERITY, DrivenPinTypes, DrivingPinTypes, ERCE_DRIVER_CONFLICT, ERCE_PIN_NOT_CONNECTED, ERCE_PIN_TO_PIN_ERROR, ERCE_T, ERCE_UNANNOTATED, type ERC_CONTEXT, type ERC_INPUT, type ERC_ITEM, type ERC_REPORT, type ERC_REPORTER_CONTEXT, ERC_SETTING, ERC_TESTER, type GRAPH_CONVERTER, IR_GRAPH_CONVERTER, MakerType, type MarkerBase, NetlistTester, PIN_COMPATIBILITY_MATRIX_TESTER, PIN_ERROR, type PIN_TO_PIN_TEST_CONTEXT, PP_DUPLICATED_SOURCES, PP_ERROR, PP_ILLEGAL_CONNECTION, PP_IMPEDANCE_SIGNAL_INTEGRITY, PP_INAPPROPRIATE_FUNC, PP_INCOMPATIBLE_DIGITAL_THRESHOLDS, PP_INCOMPATIBLE_SIGNAL_LEVELS, PP_INCOMPATIBLE_VOLTAGE_LEVELS, PP_INSUFFICIENT_DRIVER, PP_NOT_DRIVEN, PP_OVERCURRENT, PP_OVER_DRIVEN, PP_REQUIRES_CONNECTED_SOURCE_OR_BIDIR, PP_SIGNAL_LEVELS_NOT_CONTAINED_WITHIN_VOLTAGE, type ParameterPropagationTestContext, ParameterPropagationTester, PowerDrivingPinTypes, type RC_ITEM, type SCH_ERC_ITEM, type SCH_MARKER, SEVERITY, build_connection_graph, fmt_erc_item_description, get_erc_severity, graph_ecr };
+export { type ADT_AdjacencyList, type ADT_Graph, type BundleInfo, type CG_SCHEMATIC, CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT, type CONNECTION_GRAPH_BUILDER_CTX, ConnectionGraphsBuilder, DEFAULT_ERC_SETTING, DEFAULT_PIN_MAP, DEFAULT_PP_ERROR_SEVERITY, DEFAULT_SEVERITY, DrivenPinTypes, DrivingPinTypes, ERCE_DRIVER_CONFLICT, ERCE_PIN_NOT_CONNECTED, ERCE_PIN_TO_PIN_ERROR, ERCE_T, ERCE_UNANNOTATED, type ERC_CONTEXT, type ERC_INPUT, type ERC_ITEM, type ERC_REPORT, type ERC_REPORTER_CONTEXT, ERC_SETTING, ERC_TESTER, type GRAPH_CONVERTER, IR_GRAPH_CONVERTER, MakerType, type MarkerBase, NetlistTester, PIN_COMPATIBILITY_MATRIX_TESTER, PIN_ERROR, type PIN_TO_PIN_TEST_CONTEXT, PP_DUPLICATED_SOURCES, PP_ERROR, PP_ILLEGAL_CONNECTION, PP_IMPEDANCE_SIGNAL_INTEGRITY, PP_INAPPROPRIATE_FUNC, PP_INCOMPATIBLE_DIGITAL_THRESHOLDS, PP_INCOMPATIBLE_SIGNAL_LEVELS, PP_INCOMPATIBLE_VOLTAGE_LEVELS, PP_INSUFFICIENT_DRIVER, PP_NOT_DRIVEN, PP_OVERCURRENT, PP_OVER_DRIVEN, PP_REQUIRES_CONNECTED_SOURCE_OR_BIDIR, PP_SIGNAL_LEVELS_NOT_CONTAINED_WITHIN_VOLTAGE, type ParameterPropagationTestContext, ParameterPropagationTester, PowerDrivingPinTypes, type RC_ITEM, type REPORT_ITEM, type SCH_ERC_ITEM, type SCH_MARKER, SEVERITY, build_connection_graph, fmt_erc_item_description, get_erc_severity, graph_ecr };

package/dist/index.d.ts

@@ -1,5 +1,5 @@
 import * as _modular_circuit_electronics_model from '@modular-circuit/electronics-model';
-import { VECTOR2, BOX2, ELECTRICAL_NODE, ELECTRICAL_PINTYPE, ConnectionSubgraph, ConnectionNodeMap, GS_SCH_SHEET_PATH, ConnectionGraph, CG_SHEET, NL_PowerSymbol, PowerShape, PowerSymbolPort, Connection, ConnectionNode } from '@modular-circuit/electronics-model';
+import { VECTOR2, BOX2, ELECTRICAL_NODE, ELECTRICAL_PINTYPE, ConnectionSubgraph, ConnectionNodeMap, GS_SCH_SHEET_PATH, ConnectionGraph, CG_SHEET, NL_PowerSymbol, DigitalBidirBundle, PowerShape, PowerSymbolPort, Connection, ConnectionNode } from '@modular-circuit/electronics-model';
 import { SCH_ITEM, ModuleResolver, ModuleCircuit, IR_Graph } from '@modular-circuit/ir';
 import { PowerBase } from '@modular-circuit/ir/build/graph/pwr_base';
 import { CC_Visitor } from '@modular-circuit/utils';
@@ -159,6 +159,22 @@ declare const PP_ILLEGAL_CONNECTION: (eda_item_ids: string[], detail: string) =>
     error_message: string;
     eda_item_ids: string[];
 };
+declare const CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT: (bundle_id: string) => {
+    error_code: PP_ERROR;
+    error_message: string;
+    eda_item_ids: string[];
+};
+
+interface REPORT_ITEM {
+    /**
+     * The UUIDs of the eda items that are related to this item.
+     */
+    eda_item_ids: string[];
+    /**
+     * A message describing the details of this specific error
+     */
+    error_message: string;
+}
 
 /**Token from KiCAD
  * https://gitlab.com/kicad/code/kicad/-/blob/master/eeschema/erc/erc_settings.h
@@ -314,7 +330,8 @@ declare enum PP_ERROR {
     OVERCURRENT = "overcurrent",
     INCOMPATIBLE_DIGITAL_THRESHOLDS = "incompatible_digital_thresholds",
     REQUIRES_CONNECTED_SOURCE_OR_BIDIR = "requires_connected_source_or_bidir",
-    ILLEGAL_CONNECTION = "Illegal_connection"
+    ILLEGAL_CONNECTION = "Illegal_connection",
+    CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT = "connection_count_exceeds_bundle_limit"
 }
 declare const DEFAULT_PP_ERROR_SEVERITY: Record<PP_ERROR, SEVERITY>;
 
@@ -347,19 +364,11 @@ declare class NetlistTester implements CG_Visitor {
  *
  * RC_ITEMs can have zero, one, or two related EDA_ITEMs.
  */
-interface RC_ITEM {
-    /**
-     * The UUIDs of the eda items that are related to this item.
-     */
-    eda_item_ids: string[];
+interface RC_ITEM extends REPORT_ITEM {
     /**
      *  The error code's numeric value
      */
     error_code: ERCE_T | PP_ERROR;
-    /**
-     * A message describing the details of this specific error
-     */
-    error_message: string;
     /**
      * The string describing the type of error
      */
@@ -410,11 +419,10 @@ interface ERC_CONTEXT {
 }
 declare class ERC_TESTER {
     private ctx;
-    constructor(ctx: ERC_CONTEXT);
+    private report;
+    constructor(ctx: ERC_CONTEXT, report: ERC_REPORT);
     run_test(): {
         connection_graph: ConnectionGraph;
-        markers: SCH_MARKER[];
-        erc_errors: SCH_ERC_ITEM[];
     };
 }
 
@@ -423,12 +431,23 @@ interface CG_SCHEMATIC {
     sheets: CG_SHEET[];
     powers: NL_PowerSymbol[];
 }
+interface BundleInfo {
+    bundle: DigitalBidirBundle;
+    block_name: string;
+    circuit?: ModuleCircuit;
+}
 declare class IR_GRAPH_CONVERTER implements GRAPH_CONVERTER {
     private readonly circuits;
     private graph;
     private connection_node_map;
     private schematics;
+    private bundle_consumed_port_count;
+    private bundles;
     private reporter_context;
+    get_bundle_consumed_port_count(): {
+        bundle_consumed_port_count: Record<string, number>;
+        bundles: Record<string, BundleInfo>;
+    };
     get_report_context(): ERC_REPORTER_CONTEXT;
     constructor(circuits: Record<string, ModuleCircuit>);
     convert_to_graph(designs: Record<string, IR_Graph>): true | Error[];
@@ -445,7 +464,6 @@ declare class ConnectionGraphsBuilder implements CC_Visitor {
     private readonly connection_node_map;
     private net_count;
     private connection_graph;
-    private bundle_consumed_port_count;
     constructor(connection_node_map: ConnectionNodeMap);
     end_visit_component(cc: string[]): void;
     resolve_net_drive(nodes: ConnectionNode[], sub_graph: ConnectionSubgraph): void;
@@ -454,6 +472,10 @@ declare class ConnectionGraphsBuilder implements CC_Visitor {
 declare function build_connection_graph(ctx: CONNECTION_GRAPH_BUILDER_CTX): Promise<{
     connection_graph: ConnectionGraph;
     cg_schematics: Record<string, CG_SCHEMATIC>;
+    bundle_consume_status: {
+        bundle_consumed_port_count: Record<string, number>;
+        bundles: Record<string, BundleInfo>;
+    };
     pin_name_table: Record<string, string>;
     pin_module_name_table: Record<string, string>;
 }>;
@@ -462,12 +484,15 @@ type ERC_INPUT = CONNECTION_GRAPH_BUILDER_CTX & Omit<ERC_CONTEXT, 'connection_gr
 declare function graph_ecr(ctx: Omit<ERC_INPUT, 'schematics'> & {
     schematics: Record<string, IR_Graph>;
 }): Promise<{
+    erc_report: ERC_REPORT;
     connection_graph: _modular_circuit_electronics_model.ConnectionGraph;
     cg_schematics: Record<string, CG_SCHEMATIC>;
+    bundle_consume_status: {
+        bundle_consumed_port_count: Record<string, number>;
+        bundles: Record<string, BundleInfo>;
+    };
     pin_name_table: Record<string, string>;
     pin_module_name_table: Record<string, string>;
-    markers: SCH_MARKER[];
-    erc_errors: SCH_ERC_ITEM[];
 }>;
 
-export { type ADT_AdjacencyList, type ADT_Graph, type CG_SCHEMATIC, type CONNECTION_GRAPH_BUILDER_CTX, ConnectionGraphsBuilder, DEFAULT_ERC_SETTING, DEFAULT_PIN_MAP, DEFAULT_PP_ERROR_SEVERITY, DEFAULT_SEVERITY, DrivenPinTypes, DrivingPinTypes, ERCE_DRIVER_CONFLICT, ERCE_PIN_NOT_CONNECTED, ERCE_PIN_TO_PIN_ERROR, ERCE_T, ERCE_UNANNOTATED, type ERC_CONTEXT, type ERC_INPUT, type ERC_ITEM, type ERC_REPORT, type ERC_REPORTER_CONTEXT, ERC_SETTING, ERC_TESTER, type GRAPH_CONVERTER, IR_GRAPH_CONVERTER, MakerType, type MarkerBase, NetlistTester, PIN_COMPATIBILITY_MATRIX_TESTER, PIN_ERROR, type PIN_TO_PIN_TEST_CONTEXT, PP_DUPLICATED_SOURCES, PP_ERROR, PP_ILLEGAL_CONNECTION, PP_IMPEDANCE_SIGNAL_INTEGRITY, PP_INAPPROPRIATE_FUNC, PP_INCOMPATIBLE_DIGITAL_THRESHOLDS, PP_INCOMPATIBLE_SIGNAL_LEVELS, PP_INCOMPATIBLE_VOLTAGE_LEVELS, PP_INSUFFICIENT_DRIVER, PP_NOT_DRIVEN, PP_OVERCURRENT, PP_OVER_DRIVEN, PP_REQUIRES_CONNECTED_SOURCE_OR_BIDIR, PP_SIGNAL_LEVELS_NOT_CONTAINED_WITHIN_VOLTAGE, type ParameterPropagationTestContext, ParameterPropagationTester, PowerDrivingPinTypes, type RC_ITEM, type SCH_ERC_ITEM, type SCH_MARKER, SEVERITY, build_connection_graph, fmt_erc_item_description, get_erc_severity, graph_ecr };
+export { type ADT_AdjacencyList, type ADT_Graph, type BundleInfo, type CG_SCHEMATIC, CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT, type CONNECTION_GRAPH_BUILDER_CTX, ConnectionGraphsBuilder, DEFAULT_ERC_SETTING, DEFAULT_PIN_MAP, DEFAULT_PP_ERROR_SEVERITY, DEFAULT_SEVERITY, DrivenPinTypes, DrivingPinTypes, ERCE_DRIVER_CONFLICT, ERCE_PIN_NOT_CONNECTED, ERCE_PIN_TO_PIN_ERROR, ERCE_T, ERCE_UNANNOTATED, type ERC_CONTEXT, type ERC_INPUT, type ERC_ITEM, type ERC_REPORT, type ERC_REPORTER_CONTEXT, ERC_SETTING, ERC_TESTER, type GRAPH_CONVERTER, IR_GRAPH_CONVERTER, MakerType, type MarkerBase, NetlistTester, PIN_COMPATIBILITY_MATRIX_TESTER, PIN_ERROR, type PIN_TO_PIN_TEST_CONTEXT, PP_DUPLICATED_SOURCES, PP_ERROR, PP_ILLEGAL_CONNECTION, PP_IMPEDANCE_SIGNAL_INTEGRITY, PP_INAPPROPRIATE_FUNC, PP_INCOMPATIBLE_DIGITAL_THRESHOLDS, PP_INCOMPATIBLE_SIGNAL_LEVELS, PP_INCOMPATIBLE_VOLTAGE_LEVELS, PP_INSUFFICIENT_DRIVER, PP_NOT_DRIVEN, PP_OVERCURRENT, PP_OVER_DRIVEN, PP_REQUIRES_CONNECTED_SOURCE_OR_BIDIR, PP_SIGNAL_LEVELS_NOT_CONTAINED_WITHIN_VOLTAGE, type ParameterPropagationTestContext, ParameterPropagationTester, PowerDrivingPinTypes, type RC_ITEM, type REPORT_ITEM, type SCH_ERC_ITEM, type SCH_MARKER, SEVERITY, build_connection_graph, fmt_erc_item_description, get_erc_severity, graph_ecr };

package/dist/index.js

@@ -20,6 +20,7 @@ var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: tru
 // src/index.ts
 var index_exports = {};
 __export(index_exports, {
+  CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT: () => CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT,
   ConnectionGraphsBuilder: () => ConnectionGraphsBuilder,
   DEFAULT_ERC_SETTING: () => DEFAULT_ERC_SETTING,
   DEFAULT_PIN_MAP: () => DEFAULT_PIN_MAP,
@@ -121,6 +122,7 @@ var PP_ERROR = /* @__PURE__ */ ((PP_ERROR2) => {
   PP_ERROR2["INCOMPATIBLE_DIGITAL_THRESHOLDS"] = "incompatible_digital_thresholds";
   PP_ERROR2["REQUIRES_CONNECTED_SOURCE_OR_BIDIR"] = "requires_connected_source_or_bidir";
   PP_ERROR2["ILLEGAL_CONNECTION"] = "Illegal_connection";
+  PP_ERROR2["CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT"] = "connection_count_exceeds_bundle_limit";
   return PP_ERROR2;
 })(PP_ERROR || {});
 var DEFAULT_PP_ERROR_SEVERITY = {
@@ -154,7 +156,8 @@ var DEFAULT_PP_ERROR_SEVERITY = {
   ["overcurrent" /* OVERCURRENT */]: 16 /* RPT_SEVERITY_WARNING */,
   ["incompatible_digital_thresholds" /* INCOMPATIBLE_DIGITAL_THRESHOLDS */]: 16 /* RPT_SEVERITY_WARNING */,
   ["requires_connected_source_or_bidir" /* REQUIRES_CONNECTED_SOURCE_OR_BIDIR */]: 16 /* RPT_SEVERITY_WARNING */,
-  ["Illegal_connection" /* ILLEGAL_CONNECTION */]: 32 /* RPT_SEVERITY_ERROR */
+  ["Illegal_connection" /* ILLEGAL_CONNECTION */]: 32 /* RPT_SEVERITY_ERROR */,
+  ["connection_count_exceeds_bundle_limit" /* CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT */]: 32 /* RPT_SEVERITY_ERROR */
 };
 
 // src/erc/parameter_propagation/tester.ts
@@ -260,6 +263,11 @@ var PP_ILLEGAL_CONNECTION = (eda_item_ids, detail) => ({
   error_message: `Illegal connection: ${detail}`,
   eda_item_ids
 });
+var CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT = (bundle_id) => ({
+  error_code: "connection_count_exceeds_bundle_limit" /* CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT */,
+  error_message: "Connections count exceeds bundle limit.",
+  eda_item_ids: [bundle_id]
+});
 
 // src/erc/parameter_propagation/link_testers/tester_impl.ts
 var import_electronics_model3 = require("@modular-circuit/electronics-model");
@@ -1545,13 +1553,13 @@ var NetlistTester = class {
 
 // src/tester/erc_tester.ts
 var ERC_TESTER = class {
-  constructor(ctx) {
+  constructor(ctx, report) {
     this.ctx = ctx;
+    this.report = report;
   }
   run_test() {
-    const report = { erc_errors: [], markers: [] };
     const tester_context = {
-      report,
+      report: this.report,
       ...this.ctx
     };
     const visitors = [
@@ -1565,7 +1573,6 @@ var ERC_TESTER = class {
       }
     }
     return {
-      ...report,
       connection_graph: this.ctx.connection_graph
     };
   }
@@ -1582,11 +1589,19 @@ var IR_GRAPH_CONVERTER = class {
     this.graph = {};
     this.connection_node_map = {};
     this.schematics = {};
+    this.bundle_consumed_port_count = {};
+    this.bundles = {};
     this.reporter_context = {
       pin_name_table: {},
       pin_module_name_table: {}
     };
   }
+  get_bundle_consumed_port_count() {
+    return {
+      bundle_consumed_port_count: this.bundle_consumed_port_count,
+      bundles: this.bundles
+    };
+  }
   get_report_context() {
     return this.reporter_context;
   }
@@ -1595,6 +1610,12 @@ var IR_GRAPH_CONVERTER = class {
     if (Object.keys(designs).length > 1) {
       throw new Error("Multiple designs are not supported");
     }
+    const handle_graph_node = (uuid, port_block_name, port_name, port) => {
+      this.add_node(uuid);
+      this.connection_node_map[uuid] = port;
+      this.reporter_context.pin_module_name_table[port.uuid] = port_block_name;
+      this.reporter_context.pin_name_table[port.uuid] = port_name;
+    };
     for (const [sch_name, design] of Object.entries(designs)) {
       this.schematics[sch_name] = { uuid: design.uuid ?? (0, import_utils.gen_uuid)(), sheets: [], powers: [] };
       for (const block of design.blocks ?? []) {
@@ -1608,17 +1629,29 @@ var IR_GRAPH_CONVERTER = class {
           });
           const port_map = (0, import_utils.get_circuit_ports)(circuit);
           for (const port of block.ports) {
-            const param = (0, import_utils.deep_copy)(port_map[port.index]);
+            let param = (0, import_utils.deep_copy)(port_map[port.index]);
+            if (!param || typeof param !== "object" || typeof param.type !== "string") {
+              console.warn(`Cannot find port ${port.index} in circuit ${circuit.name}`);
+              param = {
+                type: import_electronics_model8.PortType.Passive,
+                name: "GENERATED_PORT_DUE_DO_INDEX_NOT_FOUND"
+              };
+            }
             const uuid = port.uuid;
-            this.add_node(uuid);
-            this.connection_node_map[uuid] = {
+            if (param.type === import_electronics_model8.PortType.DigitalBidirBundle) {
+              this.bundles[uuid] = {
+                bundle: param,
+                block_name: circuit.name,
+                circuit
+              };
+              continue;
+            }
+            handle_graph_node(uuid, circuit.name, port.name, {
               uuid,
               type: import_electronics_model8.ConnectionNodeType.Port,
               param,
               label_shapes: (0, import_utils.get_port_labels)(param, circuit)
-            };
-            this.reporter_context.pin_module_name_table[port.uuid] = circuit.name;
-            this.reporter_context.pin_name_table[port.uuid] = port.name;
+            });
           }
         } else {
           const sheet_name = design.name ?? block.name;
@@ -1631,17 +1664,21 @@ var IR_GRAPH_CONVERTER = class {
           for (const port of block.ports) {
             const param = port.port;
             const uuid = port.uuid;
-            this.add_node(uuid);
-            this.connection_node_map[uuid] = {
+            if (typeof port.port !== "string" && port.port.type === import_electronics_model8.PortType.DigitalBidirBundle) {
+              this.bundles[uuid] = {
+                bundle: port.port,
+                block_name: sheet_name
+              };
+              continue;
+            }
+            handle_graph_node(uuid, sheet_name, typeof port.port === "string" ? port.port : port.port.name, {
               uuid,
               type: import_electronics_model8.ConnectionNodeType.Port,
               param: typeof param === "string" ? {
                 type: import_electronics_model8.PortType.Passive,
                 name: port.port
               } : param
-            };
-            this.reporter_context.pin_module_name_table[port.uuid] = sheet_name;
-            this.reporter_context.pin_name_table[port.uuid] = typeof port.port === "string" ? port.port : port.port.name;
+            });
           }
         }
       }
@@ -1687,10 +1724,47 @@ var IR_GRAPH_CONVERTER = class {
         this.add_node(uuid);
         this.connection_node_map[uuid] = { uuid, type: import_electronics_model8.ConnectionNodeType.Graphics };
       }
-      for (const connection of design.wires ?? []) {
-        const uuid = connection.uuid;
-        this.add_connection(connection.from, connection.to);
-        this.connection_node_map[uuid] = { uuid, type: import_electronics_model8.ConnectionNodeType.Graphics };
+      const handel_wire_instance = (abstract_or_actual_wire, actual_wire_id) => {
+        this.add_connection(abstract_or_actual_wire.from, abstract_or_actual_wire.to);
+        this.connection_node_map[abstract_or_actual_wire.uuid] = {
+          uuid: actual_wire_id,
+          type: import_electronics_model8.ConnectionNodeType.Graphics
+        };
+      };
+      const handel_bundle_connection = (bundle_id) => {
+        const uuid = (0, import_utils.gen_uuid)();
+        const bundle_info = this.bundles[bundle_id];
+        const consumed_count = bundle_id in this.bundle_consumed_port_count ? this.bundle_consumed_port_count[bundle_id] : 0;
+        this.bundle_consumed_port_count[bundle_id] = consumed_count + 1;
+        let labels_shapes = void 0;
+        if (bundle_info.circuit) labels_shapes = (0, import_utils.get_port_labels)(bundle_info.bundle, bundle_info.circuit);
+        const label = bundle_info.bundle.labels_associated[consumed_count] ?? `${bundle_info.bundle.name}-${consumed_count}`;
+        const label_shape = labels_shapes?.[label];
+        handle_graph_node(uuid, bundle_info.block_name, bundle_info.bundle.name, {
+          type: import_electronics_model8.ConnectionNodeType.Port,
+          label_shapes: label_shape ? { [label]: label_shape } : void 0,
+          param: {
+            ...{
+              ...bundle_info.bundle,
+              labels_associated: void 0,
+              type: import_electronics_model8.PortType.DigitalBidir,
+              label_associated: label
+            }
+          },
+          uuid
+        });
+        return uuid;
+      };
+      for (const actual_wire of design.wires ?? []) {
+        const actual_wire_id = actual_wire.uuid;
+        const connection = { ...actual_wire };
+        if (connection.from in this.bundles) {
+          connection.from = handel_bundle_connection(connection.from);
+        }
+        if (connection.to in this.bundles) {
+          connection.to = handel_bundle_connection(connection.to);
+        }
+        handel_wire_instance(connection, actual_wire_id);
       }
     }
     return errors.length ? errors : true;
@@ -1766,7 +1840,6 @@ var ConnectionGraphsBuilder = class {
   constructor(connection_node_map) {
     this.connection_node_map = connection_node_map;
     this.net_count = 0;
-    this.bundle_consumed_port_count = {};
     this.connection_graph = {
       subgraphs: []
     };
@@ -1775,26 +1848,7 @@ var ConnectionGraphsBuilder = class {
     const sub_graph = {};
     sub_graph.is_global_pwr = false;
     sub_graph.is_isolated = cc.length < 2;
-    const nodes = cc.map((id) => {
-      const node = this.connection_node_map[id];
-      if (node.type === import_electronics_model10.ConnectionNodeType.Port) {
-        const port = node.param;
-        if (port.type === import_electronics_model10.PortType.DigitalBidirBundle) {
-          const consumed_count = id in this.bundle_consumed_port_count ? this.bundle_consumed_port_count[id] : 0;
-          this.bundle_consumed_port_count[id] = consumed_count + 1;
-          const labels = port.labels_associated;
-          return {
-            ...node,
-            param: {
-              ...node.param,
-              type: import_electronics_model10.PortType.DigitalBidir,
-              label_associated: labels[consumed_count] ?? `${node.param.name}-${consumed_count}`
-            }
-          };
-        }
-      }
-      return node;
-    });
+    const nodes = cc.map((id) => this.connection_node_map[id]);
     sub_graph.nodes = nodes;
     this.resolve_net_drive(nodes, sub_graph);
     this.connection_graph.subgraphs.push(sub_graph);
@@ -1863,21 +1917,39 @@ async function build_connection_graph(ctx) {
   return {
     ...converter.get_report_context(),
     connection_graph: cc_builder.get_connection_graph(),
-    cg_schematics: converter.get_schematics()
+    cg_schematics: converter.get_schematics(),
+    bundle_consume_status: converter.get_bundle_consumed_port_count()
   };
 }
 
 // src/tester/graph/graph_erc.ts
 async function graph_ecr(ctx) {
+  const erc_report = {
+    markers: [],
+    erc_errors: []
+  };
   const connection_graph = await build_connection_graph(ctx);
-  const tester = new ERC_TESTER({
-    ...ctx,
-    connection_graph: connection_graph.connection_graph
-  });
-  return { ...tester.run_test(), ...connection_graph };
+  for (const [port_id, count] of Object.entries(connection_graph.bundle_consume_status.bundle_consumed_port_count)) {
+    const bundle_info = connection_graph.bundle_consume_status.bundles[port_id];
+    const bundle = bundle_info.bundle;
+    if (Array.isArray(bundle.labels_associated) && count > bundle.labels_associated.length) {
+      erc_report.erc_errors.push(CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT(port_id));
+    } else {
+      console.warn(`Illegal bundle: ${port_id} , no associated labels`);
+    }
+  }
+  const tester = new ERC_TESTER(
+    {
+      ...ctx,
+      connection_graph: connection_graph.connection_graph
+    },
+    erc_report
+  );
+  return { ...tester.run_test(), ...connection_graph, erc_report };
 }
 // Annotate the CommonJS export names for ESM import in node:
 0 && (module.exports = {
+  CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT,
   ConnectionGraphsBuilder,
   DEFAULT_ERC_SETTING,
   DEFAULT_PIN_MAP,

package/dist/index.mjs

@@ -56,6 +56,7 @@ var PP_ERROR = /* @__PURE__ */ ((PP_ERROR2) => {
   PP_ERROR2["INCOMPATIBLE_DIGITAL_THRESHOLDS"] = "incompatible_digital_thresholds";
   PP_ERROR2["REQUIRES_CONNECTED_SOURCE_OR_BIDIR"] = "requires_connected_source_or_bidir";
   PP_ERROR2["ILLEGAL_CONNECTION"] = "Illegal_connection";
+  PP_ERROR2["CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT"] = "connection_count_exceeds_bundle_limit";
   return PP_ERROR2;
 })(PP_ERROR || {});
 var DEFAULT_PP_ERROR_SEVERITY = {
@@ -89,7 +90,8 @@ var DEFAULT_PP_ERROR_SEVERITY = {
   ["overcurrent" /* OVERCURRENT */]: 16 /* RPT_SEVERITY_WARNING */,
   ["incompatible_digital_thresholds" /* INCOMPATIBLE_DIGITAL_THRESHOLDS */]: 16 /* RPT_SEVERITY_WARNING */,
   ["requires_connected_source_or_bidir" /* REQUIRES_CONNECTED_SOURCE_OR_BIDIR */]: 16 /* RPT_SEVERITY_WARNING */,
-  ["Illegal_connection" /* ILLEGAL_CONNECTION */]: 32 /* RPT_SEVERITY_ERROR */
+  ["Illegal_connection" /* ILLEGAL_CONNECTION */]: 32 /* RPT_SEVERITY_ERROR */,
+  ["connection_count_exceeds_bundle_limit" /* CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT */]: 32 /* RPT_SEVERITY_ERROR */
 };
 
 // src/erc/parameter_propagation/tester.ts
@@ -201,6 +203,11 @@ var PP_ILLEGAL_CONNECTION = (eda_item_ids, detail) => ({
   error_message: `Illegal connection: ${detail}`,
   eda_item_ids
 });
+var CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT = (bundle_id) => ({
+  error_code: "connection_count_exceeds_bundle_limit" /* CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT */,
+  error_message: "Connections count exceeds bundle limit.",
+  eda_item_ids: [bundle_id]
+});
 
 // src/erc/parameter_propagation/link_testers/tester_impl.ts
 import {
@@ -1500,13 +1507,13 @@ var NetlistTester = class {
 
 // src/tester/erc_tester.ts
 var ERC_TESTER = class {
-  constructor(ctx) {
+  constructor(ctx, report) {
     this.ctx = ctx;
+    this.report = report;
   }
   run_test() {
-    const report = { erc_errors: [], markers: [] };
     const tester_context = {
-      report,
+      report: this.report,
       ...this.ctx
     };
     const visitors = [
@@ -1520,7 +1527,6 @@ var ERC_TESTER = class {
       }
     }
     return {
-      ...report,
       connection_graph: this.ctx.connection_graph
     };
   }
@@ -1553,11 +1559,19 @@ var IR_GRAPH_CONVERTER = class {
     this.graph = {};
     this.connection_node_map = {};
     this.schematics = {};
+    this.bundle_consumed_port_count = {};
+    this.bundles = {};
     this.reporter_context = {
       pin_name_table: {},
       pin_module_name_table: {}
     };
   }
+  get_bundle_consumed_port_count() {
+    return {
+      bundle_consumed_port_count: this.bundle_consumed_port_count,
+      bundles: this.bundles
+    };
+  }
   get_report_context() {
     return this.reporter_context;
   }
@@ -1566,6 +1580,12 @@ var IR_GRAPH_CONVERTER = class {
     if (Object.keys(designs).length > 1) {
       throw new Error("Multiple designs are not supported");
     }
+    const handle_graph_node = (uuid, port_block_name, port_name, port) => {
+      this.add_node(uuid);
+      this.connection_node_map[uuid] = port;
+      this.reporter_context.pin_module_name_table[port.uuid] = port_block_name;
+      this.reporter_context.pin_name_table[port.uuid] = port_name;
+    };
     for (const [sch_name, design] of Object.entries(designs)) {
       this.schematics[sch_name] = { uuid: design.uuid ?? gen_uuid(), sheets: [], powers: [] };
       for (const block of design.blocks ?? []) {
@@ -1579,17 +1599,29 @@ var IR_GRAPH_CONVERTER = class {
           });
           const port_map = get_circuit_ports(circuit);
           for (const port of block.ports) {
-            const param = deep_copy(port_map[port.index]);
+            let param = deep_copy(port_map[port.index]);
+            if (!param || typeof param !== "object" || typeof param.type !== "string") {
+              console.warn(`Cannot find port ${port.index} in circuit ${circuit.name}`);
+              param = {
+                type: PortType3.Passive,
+                name: "GENERATED_PORT_DUE_DO_INDEX_NOT_FOUND"
+              };
+            }
             const uuid = port.uuid;
-            this.add_node(uuid);
-            this.connection_node_map[uuid] = {
+            if (param.type === PortType3.DigitalBidirBundle) {
+              this.bundles[uuid] = {
+                bundle: param,
+                block_name: circuit.name,
+                circuit
+              };
+              continue;
+            }
+            handle_graph_node(uuid, circuit.name, port.name, {
               uuid,
               type: ConnectionNodeType3.Port,
               param,
               label_shapes: get_port_labels(param, circuit)
-            };
-            this.reporter_context.pin_module_name_table[port.uuid] = circuit.name;
-            this.reporter_context.pin_name_table[port.uuid] = port.name;
+            });
           }
         } else {
           const sheet_name = design.name ?? block.name;
@@ -1602,17 +1634,21 @@ var IR_GRAPH_CONVERTER = class {
           for (const port of block.ports) {
             const param = port.port;
             const uuid = port.uuid;
-            this.add_node(uuid);
-            this.connection_node_map[uuid] = {
+            if (typeof port.port !== "string" && port.port.type === PortType3.DigitalBidirBundle) {
+              this.bundles[uuid] = {
+                bundle: port.port,
+                block_name: sheet_name
+              };
+              continue;
+            }
+            handle_graph_node(uuid, sheet_name, typeof port.port === "string" ? port.port : port.port.name, {
               uuid,
               type: ConnectionNodeType3.Port,
               param: typeof param === "string" ? {
                 type: PortType3.Passive,
                 name: port.port
               } : param
-            };
-            this.reporter_context.pin_module_name_table[port.uuid] = sheet_name;
-            this.reporter_context.pin_name_table[port.uuid] = typeof port.port === "string" ? port.port : port.port.name;
+            });
           }
         }
       }
@@ -1658,10 +1694,47 @@ var IR_GRAPH_CONVERTER = class {
         this.add_node(uuid);
         this.connection_node_map[uuid] = { uuid, type: ConnectionNodeType3.Graphics };
       }
-      for (const connection of design.wires ?? []) {
-        const uuid = connection.uuid;
-        this.add_connection(connection.from, connection.to);
-        this.connection_node_map[uuid] = { uuid, type: ConnectionNodeType3.Graphics };
+      const handel_wire_instance = (abstract_or_actual_wire, actual_wire_id) => {
+        this.add_connection(abstract_or_actual_wire.from, abstract_or_actual_wire.to);
+        this.connection_node_map[abstract_or_actual_wire.uuid] = {
+          uuid: actual_wire_id,
+          type: ConnectionNodeType3.Graphics
+        };
+      };
+      const handel_bundle_connection = (bundle_id) => {
+        const uuid = gen_uuid();
+        const bundle_info = this.bundles[bundle_id];
+        const consumed_count = bundle_id in this.bundle_consumed_port_count ? this.bundle_consumed_port_count[bundle_id] : 0;
+        this.bundle_consumed_port_count[bundle_id] = consumed_count + 1;
+        let labels_shapes = void 0;
+        if (bundle_info.circuit) labels_shapes = get_port_labels(bundle_info.bundle, bundle_info.circuit);
+        const label = bundle_info.bundle.labels_associated[consumed_count] ?? `${bundle_info.bundle.name}-${consumed_count}`;
+        const label_shape = labels_shapes?.[label];
+        handle_graph_node(uuid, bundle_info.block_name, bundle_info.bundle.name, {
+          type: ConnectionNodeType3.Port,
+          label_shapes: label_shape ? { [label]: label_shape } : void 0,
+          param: {
+            ...{
+              ...bundle_info.bundle,
+              labels_associated: void 0,
+              type: PortType3.DigitalBidir,
+              label_associated: label
+            }
+          },
+          uuid
+        });
+        return uuid;
+      };
+      for (const actual_wire of design.wires ?? []) {
+        const actual_wire_id = actual_wire.uuid;
+        const connection = { ...actual_wire };
+        if (connection.from in this.bundles) {
+          connection.from = handel_bundle_connection(connection.from);
+        }
+        if (connection.to in this.bundles) {
+          connection.to = handel_bundle_connection(connection.to);
+        }
+        handel_wire_instance(connection, actual_wire_id);
       }
     }
     return errors.length ? errors : true;
@@ -1704,7 +1777,6 @@ var IR_GRAPH_CONVERTER = class {
 import {
   ConnectionNodeType as ConnectionNodeType4,
   PRIORITY,
-  PortType as PortType4,
   get_connection_node_priority
 } from "@modular-circuit/electronics-model";
 import { test_connected_components } from "@modular-circuit/utils";
@@ -1745,7 +1817,6 @@ var ConnectionGraphsBuilder = class {
   constructor(connection_node_map) {
     this.connection_node_map = connection_node_map;
     this.net_count = 0;
-    this.bundle_consumed_port_count = {};
     this.connection_graph = {
       subgraphs: []
     };
@@ -1754,26 +1825,7 @@ var ConnectionGraphsBuilder = class {
     const sub_graph = {};
     sub_graph.is_global_pwr = false;
     sub_graph.is_isolated = cc.length < 2;
-    const nodes = cc.map((id) => {
-      const node = this.connection_node_map[id];
-      if (node.type === ConnectionNodeType4.Port) {
-        const port = node.param;
-        if (port.type === PortType4.DigitalBidirBundle) {
-          const consumed_count = id in this.bundle_consumed_port_count ? this.bundle_consumed_port_count[id] : 0;
-          this.bundle_consumed_port_count[id] = consumed_count + 1;
-          const labels = port.labels_associated;
-          return {
-            ...node,
-            param: {
-              ...node.param,
-              type: PortType4.DigitalBidir,
-              label_associated: labels[consumed_count] ?? `${node.param.name}-${consumed_count}`
-            }
-          };
-        }
-      }
-      return node;
-    });
+    const nodes = cc.map((id) => this.connection_node_map[id]);
     sub_graph.nodes = nodes;
     this.resolve_net_drive(nodes, sub_graph);
     this.connection_graph.subgraphs.push(sub_graph);
@@ -1842,20 +1894,38 @@ async function build_connection_graph(ctx) {
   return {
     ...converter.get_report_context(),
     connection_graph: cc_builder.get_connection_graph(),
-    cg_schematics: converter.get_schematics()
+    cg_schematics: converter.get_schematics(),
+    bundle_consume_status: converter.get_bundle_consumed_port_count()
   };
 }
 
 // src/tester/graph/graph_erc.ts
 async function graph_ecr(ctx) {
+  const erc_report = {
+    markers: [],
+    erc_errors: []
+  };
   const connection_graph = await build_connection_graph(ctx);
-  const tester = new ERC_TESTER({
-    ...ctx,
-    connection_graph: connection_graph.connection_graph
-  });
-  return { ...tester.run_test(), ...connection_graph };
+  for (const [port_id, count] of Object.entries(connection_graph.bundle_consume_status.bundle_consumed_port_count)) {
+    const bundle_info = connection_graph.bundle_consume_status.bundles[port_id];
+    const bundle = bundle_info.bundle;
+    if (Array.isArray(bundle.labels_associated) && count > bundle.labels_associated.length) {
+      erc_report.erc_errors.push(CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT(port_id));
+    } else {
+      console.warn(`Illegal bundle: ${port_id} , no associated labels`);
+    }
+  }
+  const tester = new ERC_TESTER(
+    {
+      ...ctx,
+      connection_graph: connection_graph.connection_graph
+    },
+    erc_report
+  );
+  return { ...tester.run_test(), ...connection_graph, erc_report };
 }
 export {
+  CONNECTIONS_COUNT_EXCEEDS_BUNDLE_LIMIT,
   ConnectionGraphsBuilder,
   DEFAULT_ERC_SETTING,
   DEFAULT_PIN_MAP,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@modular-circuit/perc",
-  "version": "0.1.2",
+  "version": "0.1.4",
   "description": "Programmable Electronic Circuit Check",
   "main": "./dist/index.js",
   "module": "./dist/index.mjs",
@@ -26,8 +26,8 @@
     "typescript": "^5.4.5"
   },
   "dependencies": {
-    "@modular-circuit/ir": "0.1.2",
     "@modular-circuit/electronics-model": "0.1.1",
+    "@modular-circuit/ir": "0.1.2",
     "@modular-circuit/utils": "0.1.2"
   },
   "scripts": {