Hello there! I'm synthesizing a design with cadence BuildGates. Since the wireload models of my libraries are very unrealistic I'm over constraining the design and setting the wireload to 0K type mode top (i.e. no wireload at all). My problem is that the synthesis tool sees in some nets negative wireloads. What does that mean? If I set the same constraints to the generated netlist in order to do a STA check these same nets have 0 wireload and therefore I get negative slacks. What can be causing the tool to see negative wireloads?? And what do they mean?? Thanks in advance.