Geahča maid: Logic synthesis and verifications algorithms