The course introduces students with digital circuit of large complexity and how such circuits
could be built in a methodological way, starting from Boolean logic and applying a set of
rigorous techniques.