HART: A hardware for logic minimization and verification