In one embodiment, a method includes accessing a description of a chip including multiple sequential elements and a clock mesh, information for modeling the sequential elements and interconnections, and a set of parameters of the clock mesh. The transmission power is adjusted on a relatively slow basis based on quality of data received by a receiver of the transmitted data. A method is disclosed to perform antecedent strengthening on antecedent labels of an assertion graph. The distance between the first side surface and the second side surface is substantially less than a length of the elongated support member.