A formal port associated with an actual port or signal. A formal port associated with the reserved word open is said to be unconnected.