This application discloses a computing system to identify an interconnection between portions of a circuit design corresponding to different power domains. The computing system can select a subset of power state tables in the circuit design based, at least in part, on power supplies associated with the interconnection, and generate a composite power state table from the selected subset of power state tables. The computing system can analyze the interconnection to identify electrical characteristics based, at least in part, on power states in the composite power state table, and determine whether a power intent specification in the circuit design can prompt synthesis of interface circuitry capable of implementing the electrical characteristics for the interconnection.