Registros relacionados: Logic synthesis and verifications algorithms