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

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

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