ECE 474A/574A: Computer-Aided Logic Design

This course is an introduction to Computer-Aided Logic Design. This is a highly-active research area, enabling the design of more complex digital systems. In this course we will focus on three areas: specification, optimization, and the use of software tools. The course will examine how to specify functionality at different abstractions, use industry-standard tools to synthesize and simulate hardware designs, and investigate some of the underlying optimization techniques used.