Title: A formal approach to hardware design
Subjects: Application specific integrated circuits, Computer-aided design, Data processing, Design, Integrated circuits, Application-specific integrated circuits