Title: Languages, Design Methods, and Tools for Electronic System Design
Subjects: Software engineering, Computer software, verification, Computer hardware description languages