ABC is a system for sequential logic synthesis and formal verification, offering a flexible...