Specialized computer language used to describe the structure and behavior of electronic circuits, and most commonly, digital logic circuits