Electronic design automation tools