Logic Synthesis

We have developed a tool to perform fast Boolean Matching based on the well-known CUDD library. The tool is composed of a C library and a Python front-end.

The goal of the project is to study and re-engineer the tool, making it suitable for external use and development.

The project is suitable for one student, but can be extended by adding some algorithm implementation (e.g., technology mapping).

The supervisors for this project are Giovanni Agosta and Gerardo Pelosi.