Circuit modeling and applications to biology, security and new technologies - (from 04/03/2019 to 12/03/2019)

Length: 15 hours - 3 cfu

Abstract

The Ph.D. course will show some modeling techniques, algorithms, and data structures typically exploited
in circuit design. Whereas these methods are widely used in logic synthesis and formal verification
contexts, their use is recently extended in many other computer science areas. The aim of this course is to
provide the students with the experience for choosing logic-based tools for handling problems in their own
research area. In particular, the course will cover SAT based techniques, data structures for manipulation of
Boolean functions such as BDDs, and Boolean modelling through Boolean relations. Some examples will be
provided in classical circuit design, in BioCAD, in the design for new technologies, and in the security area.

Dates & Venue

Lecturer:

Prof.ssa Valentina Ciriani, Dr.ssa Gabriella Trucco

Assessor:

Prof.ssa Valentina Ciriani