Реконвергентное разветвление
Реконвергентное разветвление — это метод, позволяющий сделать СБИС логическое моделирование менее пессимистичным.
Статический временной анализ пытается определить наилучшую и наихудшую оценку времени для каждого сигнала при его прохождении через электронное устройство. Всякий раз, когда сигнал проходит через узел, ко времени, необходимому для прохождения сигнала через это устройство, необходимо добавить немного неопределенности. Эти неопределенные задержки суммируются, поэтому после прохождения через множество устройств время сигнала в худшем случае может быть неоправданно пессимистичным.
Обычно два сигнала имеют один и тот же путь, некоторое время разветвляются и следуют по разным путям, а затем сходятся обратно в одну и ту же точку, чтобы получить результат. Когда это происходит, вы можете устранить изрядную долю неопределенности из общей задержки, поскольку знаете, что какое-то время они разделяли общий путь. Несмотря на то, что каждый сигнал имеет неопределенную задержку, поскольку их задержки были одинаковыми на протяжении части пути, общую неопределенность можно уменьшить. Это ужесточает оценку задержки сигнала в худшем случае и обычно позволяет небольшое, но важное ускорение работы всего устройства.
Этот термин начинает использоваться и в более общем смысле. Каждый раз, когда сигнал разделяется на две части, а затем снова сходится, можно провести определенную оптимизацию. Термин реконвергентное разветвление использовался для описания подобных оптимизаций в теории графов и статическом анализе кода .