Stav dette: Теория эквивалентных преобразований алгоритмов в САПР СБИС