Void avoidance verifications for electronic circuit designs

A method comprising:

• accessing an electronic circuit design of an electronic design automation (EDA) tool;
• accessing an input file specifying net names, net keywords, or both, to perform a void avoidance verification;
• identifying nets in the electronic circuit design corresponding to each of the net names or net keywords specified in the input file;
• performing the void avoidance verification for the identified nets in the electronic circuit design by, for each particular net:
• determining whether the particular net violates threshold void distance criteria applicable to the particular net, wherein the threshold void distance criteria specifies a threshold distance between the particular net and voids in the electronic circuit design;
• and
• responsive to a determination that the particular net violates the threshold void distance criteria with respect to a particular void in the electronic circuit design:
• determining whether the electronic circuit design includes a different net that is:
• located on a different side of a particular plane that the particular net is located on;
• and
• violates, with respect to the particular void, threshold void distance criteria applicable to the different net.

A non-transitory machine-readable medium comprising instructions executable by a processing resource to:

• access an electronic circuit design of an electronic design automation (EDA) tool to perform a void avoidance verification;
• identify a first net in the electronic circuit design and a first threshold distance from voids in electronic circuit design applicable to the first net;
• identify a second net in the electronic circuit design and a second threshold distance from voids in the electronic circuit design applicable to the second net;
• and
• generate a double violation alert responsive to a determination that:
• the first net is within the first threshold distance from a particular void in the electronic circuit design;
• the second net is within the second threshold distance from the particular void;
• and
• the first net and second net are located on different sides of the same plane in the electronic circuit design.