ELECTRONIC DESIGN AUTOMATION SOFTWARE FOR USE IN DESIGNING INTEGRATED CIRCUITS, NAMELY FOR USE IN AUTOMATICALLY IDENTIFYING DESIGN RULE VIOLATIONS