VHSIC Hardware Description Language