Title: Computer hardware description languages and their application