Анализ временных характеристик компьютерной аппаратуры

Анализ временных характеристик — это программа автоматизации проектирования, помогающая инженерам по проектированию компьютеров выявлять проблемы с временными характеристиками в тактируемой последовательностной машине. Программа эффективна для больших машин, поскольку время её выполнения частично пропорционально числу схем. Это отличается от альтернативных методов, таких как моделирование задержек, требующее большого числа тестовых наборов, и трассировка путей, требующая прослеживания всех путей. Выходные данные программы «Анализ временных характеристик» включают показатель «запас по времени» (slack) для каждого блока, который позволяет оценить серьёзность любой проблемы с временными характеристиками. Программа также вычисляет стандартные отклонения временных параметров, что позволяет выполнять статистическое проектирование временных характеристик вместо использования подхода наихудшего случая. Эта система успешно выявила все, за исключением немногих, проблемы с временными характеристиками в процессорном блоке IBM 3081, состоящем почти из 800 000 схем, ещё до аппаратной отладки временных характеристик. Для 3081 характерно проектирование временных характеристик с жёсткими статистическими допусками.