Luca Gaetano Amaru

• New Data Structures and Algorithms for Logic Synthesis and Verification