Представлены алгоритмы нахождения свободного планирования для идеальных и неидеальных гнездовых афинных циклов с непостоянными зависимостями. Отмечено, что операции, принадлежащие каждому времени планирования, могут выполняться при условии готовности их операнд. Это позволяет найти максимальный параллелизм в циклах. Алгоритмы требуют применения точного анализа зависимостей. Для реализации предложенных алгоритмов и проведения экспериментальных исследований использован анализ зависимостей Пага и Воннакотта, в котором зависимости имеют вид кортежа реляций. Данные алгоритмы реализованы и верифицированы с помощью программного проекта Омега. Их можно применить для параметризованных и непараметризованных циклов.

Описано методи побудови оптимізувальних компіляторів для VHDL програм, що базуються на перетворенні вихідних тестів і які спрямовані на зменшення числа подій, що роблять процеси VHDL мови активними. Доведено, що трансформації інструкцій IF і CASE процесів мови VHDL з метою мінімізації ефективних подій є коректними. Коректність методів доведено за допомогою інтервальної часової логіки та похідних динамічних моделей для опису семантики мовних конструкцій VHDL.