Документация Specman 6.1 не содержит псевдо-метода сокращения. Для вашего конкретного примера вы можете получить то, что хотите, с помощью:
bitmap = pack(packing.low, x)
Вы можете найти псевдо-метод «уменьшить» в своей версии Specman, выполнив поиск по «Списку псевдо-методов» в своих документах.
В разделе «Математические и логические псевдо-методы» показаны методы and_all (), average (), or_all (), product () и sum (). Я знаю, что это не мета-решение, но лучше, чем удар в зубы.