Советы по правильному вычислению временных параметров

Spice-моделирование (и, соответственно, вычисление временных характеристик ячейки) будет успешным при выполнении следующих условий:

1. указанная ячейка библиотеки ячеек выполняет именно ту логическую функцию, которая введена в строке описания логического выражения;
2. указанный порядок узлов соответствует реальному порядку узлов (входов-выходов) в spice-описании ячейки (см. оператор ".subckt имя узлы ...");
3. заданная совокупность внешних параметров характеризации, нагрузок портов, параметров измерения сигналов позволяет переходным процессам завершиться в пределах указанной длительности такта.

В том случае, если временные параметры получить не удалось, а нарушения были не слишком грубыми, то, возможно, удастся получить графики входных-выходных сигналов. Проверьте по ним, как проходило моделирование.

В данном проекте нельзя проверить на правильность всю совокупность исходных данных, главным образом по причине невозможности контроля на уровне web-сервера spice-описаний библиотек ячеек и моделей. Таким образом, ответственность за получение результата в большой степени лежит на пользователе системы.