Анотація: В статье рассматривается технология формализованного синтеза параллельных программ для VLIW-процессоров, обеспечивающая учет временных характеристик операций, конфигурацию процессоров и систему требований (ограничений) к временным характеристикам выполнения программ.