Часть 9: ИНСТРУМЕНТЫ

Инструмент логической пробы проверяет цифровую схему и определяет оптимальный размер транзистора для использования в плане получения максимальной скорости. Инструмент базируется на книге Logical Effort, by Ivan Sutherland, Bob Sproull, and David Harris (Morgan Kaufmann, San Francisco, 1999).

Когда логическая проба запущена, она помечает каждый цифровой вентиль схемы коэффициентом ветвления, который может использоваться для определения размера транзисторов внутри этого вентиля. Это сделано для разработчика (или, потенциально, для каких-то других средств), принимающего решение, использовать ли эту информацию в реальной компоновке IC.

Инструмент логической пробы имеет две функции: path analysis (анализ пути) и whole-facet analysis (полный анализ фасета).

В анализе пути пользователь должен выбрать две точки в схеме, которые определяют концы пути. Выбор этих двух точек выполняется щелчком клавиши selection по первой точке, а затем клавишей toggle select по второй. Емкостная нагрузка на концах пути может быть задана созданием объектов Load и параметризацией их емкости. Эти объекты Load создаются субкомандой New Arc Load команды Logical Effort меню Tools. Для проведения анализа пути используйте субкоманду Analyze Path, которая определяет оптимальный коэффициент ветвления для каждого шага в пути. Кроме маркировки каждого вентиля значением коэффициента ветвления (показываемого в форме "h=2.5"),  вдоль пути отображаются значения промежуточной емкости.

В полном анализе фасета (whole-facet analysis) инструмент логической пробы многократно предлагает емкостную нагрузку пока не определится коэффициент ветвления цепи. Заново емкости могут быть заданы субкомандой New Arc Load команды Logical Effort меню Tools. Тогда субкоманда Analyze Facet повторно проходит по цепи, пробуя найти коэффициент, который "меньше, чем" или "равен" максимальному усилению на каскад (первоначально 3). Как и в анализе пути, каждый вентиль маркируется значением коэффициента ветвления, и промежуточные емкости отображаются на схеме. Для изменения максимального усиления на каскад, используемого при полном анализе фасета, выполните субкоманду Logical Effort Options... команды Logical Effort меню Tools. 

Есть возможность переписать заданное по умолчанию вычисление логической пробы на единичном узле, для этого используйте субкоманду Set Node Effort... команды Logical Effort меню Tools. Введенное значение показывается в форме "g=2" на узле и используется при последующем анализе.

Пример Logical Effort может быть найден в библиотеке "samples.txt" (вы можете прочитать библиотеку субкомандой Readable Dump меню File). Отредактируйте фасет "tool-LogicalEffort" и используйте субкоманду Analyze Facet на нем.

Есть три команды, которые анализируют цепь в качестве дополнения к Logical Effort. Субкоманда Estimate Delays вычисляет фактор нагрузки для сети в фасете. Эта информация обычно не используется и предоставляется для будущих анализов Logical Effort. Субкоманда Show Network Loads переписывает каждую сеть в текущем фасете, показывая длину проводников, нагрузку и другую информацию. Субкоманда Analyze Network показывает детальный анализ текущей выбранной сети, включая информацию о площади и периметре вместе с информацией о нагрузке.