EE 8351 LEC 883 Design Automation Techniques (Twin Cities Fall 2024)