Title: An embedded language approach to hardware description and verification
Subjects: Computer hardware description languages