Hardware Description and Verification Language