Производственный модуль

А расширение для производства Libero уже есть и работает?

Кажется да. На sf есть отдельная сборка для производства.