US11675951B2 - Methods and Systems for Congestion Prediction in Logic Synthesis Using Graph Neural Networks