ABC: a famous opensource tool for logic synthesis and verification