Hardware description language