The e Hardware Verification Language (Information