to miniaturize [ miniaturized ; miniaturized ]