pin(PinName3) {
direction       : input ;
capacitance     : 0.0005 ;
}

internal_power(pwr_arc){
values("0.000000,0.000000,0.000000,0.000000,0.000000,0.000000,0.000000,0.000000");
related_input : "PinName3" ;

pin(PinName5) {
direction       : input ;
capacitance     : 0.0005 ;
}

internal_power(pwr_arc){
values("0.000000,0.000000,0.000000,0.000000,0.000000,0.000000,0.000000,0.000000");
related_input : "PinName5" ;

pin(PinName6) {
direction       : input ;
capacitance     : 0.0005 ;
}

internal_power(pwr_arc){
values("0.000000,0.000000,0.000000,0.000000,0.000000,0.000000,0.000000,0.000000");
related_input : "PinName6" ;


** Found 3 occurrences of 'AsyncInNoTimingArc' **