Title: Design automation of digital systems
Subjects: Data processing, Design and construction, Electronic circuit design, Electronic data processing, Electronic digital computers