Верификация и моделирование схем Опции

[Олег Гаврильченк...]

Вопрос общий и теоретический. Существуют ли способы провести верификацию созданной схемы? Я имею ввиду проверку схемы на наличие в ней ошибок.
Например, создана схема в Altium. Она может содержать ошибки, например, цепи случайно были подключены ни к тем выводам, или вообще остались неподключенными.
Я знаю только один вид моделирования схем - PSPICE. Но мне кажется, он скорее подходит для моделирования/расчета отдельных частей схемы, чем для проверки ее на наличие описанных выше ошибок.

[PCBtech]

Да, в PSPICE теперь можно проверить целиком цифро-аналоговую схему.
Если у вас есть в схеме микропроцессор или ПЛИС, то его поведение можно описать на языке Си или C++,
или описать в Матлабе, скомпилировать это в DLL и пристыковать к PSPICE,
и тогда можно сделать полную верификацию.
Я слышал, что так, например, проверяют схему соединений автомобиля -
рисуют жгуты в схемном редакторе OrCAD, подсоединяют все платы управления и индикации, тоже нарисованные в OrCAD,
и прямо в PSPICE проводят глобальное моделирование всей системы,
в том числе и расчет статистики по надежности.

Удобство в том, что не надо схему из OrCAD перерисовывать или конвертировать в систему моделирования -
PSPICE прямо в оркадовской схеме делает моделирование.
Неудобство - надо учитывать параметры жгутов по сопротивлению и индуктивности, то есть
в схеме жгута должны быть добавлены паразитные элементы для имитации реальных характеристик проводов.

У меня есть пара презенташек, но одна из них под NDA, могу только некоторые картинки показать.

Что касается Альтиума - не уверен, но по-моему, в нем такого варианта моделирования нет...

Вопрос общий и теоретический. Существуют ли способы провести верификацию созданной схемы? Я имею ввиду проверку схемы на наличие в ней ошибок.
Например, создана схема в Altium. Она может содержать ошибки, например, цепи случайно были подключены ни к тем выводам, или вообще остались неподключенными.
Я знаю только один вид моделирования схем - PSPICE. Но мне кажется, он скорее подходит для моделирования/расчета отдельных частей схемы, чем для проверки ее на наличие описанных выше ошибок.

[SSerge]

Да, в PSPICE теперь можно проверить целиком цифро-аналоговую схему.
Если у вас есть в схеме микропроцессор или ПЛИС, то его поведение можно описать на языке Си или C++,
или описать в Матлабе, скомпилировать это в DLL и пристыковать к PSPICE,
и тогда можно сделать полную верификацию.

Да, да. И по времени недолго, всего несколько тысяч лет для проекта средней сложности.
А потом найти ошибки в моделях на Си или C++, исправить и повторить.

[fill]

Да, да. И по времени недолго, всего несколько тысяч лет для проекта средней сложности.
А потом найти ошибки в моделях на Си или C++, исправить и повторить.

Есть гораздо более продвинутые решения где можно применять (смешивать) модели на множестве разных языков - SystemVision, подбирая таким образом нужную скорость моделирования и точность результатов.