Title: Mechanized reasoning and hardware design
Subjects: Microprocessors, Computer-aided design, Logic design, Data processing, Economic conditions