Electrical & Computer Engin 667 - Synthesis/Verification DigiSys

Fall
2019
01
3.00
Maciej Ciesielski
TU TH 10:00AM 11:15AM
UMass Amherst
26067
Marston Hall room 220
ciesiel@ecs.umass.edu
35709
Modern techniques for synthesis and verification of digital systems. Topics in synthesis cover high-level synthesis, decision diagrams, multi-level logic and sequential optimization. Topics in verification include symbolic techniques, combinational and sequential equivalence checking, and functional test generation. Open to Graduate Students only. Recommended Prerequisites in the following: "Undergraduate courses in digital logic design and hardware organization"
Graduate EE & CS-ENG students only.
Permission is required for interchange registration during the add/drop period only.
Link to Campus Courses
Back to the Five College Course Schedule