Et språk med spesielle konstruksjoner, og noen ganger bekreftelse protokoller, brukt til å utvikle, analysere og dokumentere en hardware design.