Unresolved Supply Net SN1 SN2 SW EN Example 1. SN2 is Unresolved; 1 Driver – SW out port SN1 SN2 SW EN SP2 OUT SN4 Example 2. SN1 is Unresolved; 1 Source: SP1 in port 1 Driver: SP1 with no hiconn SN2 is Unresolved (example 1) SN4 is unresolved; 1 Source SP2 out port 1 Driver SW out port SN2 & SN4 can have sinks in & out block INSP1
Resolved Supply Net SN1 SW1 EN1 Example 3. Error if SN2 unresolved. 2 Drivers: SW1 out port and SW2 out port Legal resolutions: one_hot or parallel_one_hot Illegal resolution: parallel resolution SN1 SN2 SW EN SP2 OUT SN4 Example 4. Error if SN4 is unresolved 2 Sources SP2 & SP3 out ports 1 Driver SW out port Legal resolutions: parallel or parallel_one_hot Illegal resolutions: one_hot SN2, SN3 and SN4 can all have sinks INSP1 SN3 SN2 SW2 EN2 IN OUT SP3 OUT SN3
Resolved Supply Net SN1 SN2 SW1 EN1 SP2 IO SN4 Example 5. Error if SN4 is unresolved 3 Sources SP2 & SP3 out ports & SP5 INOUT port 2 Drivers SW1 & SW2 out ports Legal resolution: parallel_one_hot Illegal resolutions: one_hot or parallel NOTE: SP2, SP3 and SP5 must be IO as sources are defined on both hi/loconns of the ports And it is assumed sinks exist for SN2, SN3, SN4 and SN6 INSP1 IN OUT SP3 IO SW2 EN2 INSP4 SP5 SN3 SN5 SN6
Resolved Supply Net SN1 SN2 SW1 EN1 SP2 IO SN4 Example 6. SP1 and SP4 are connected To the same supply driver SN4 can be resolved with parallel Or parallel_one_hot (where the one_hot resolution is a no-op as there’s a single root supply driver) INSP1 IN OUT SP3 IO SW2 EN2 INSP4 SP5 SN3 SN5 SN6