О, похоже, вы заглянули.
Но либо прочитали неполностью, либо не хотите этого признавать.
Вот вам ещё ссылочка, где
wal79 говорит, что удостовериться в правильности работы следует запустить симулятор. Именно такие требования и ставились
Переводя с русского на русский, и без каких-либо цепляний к словам: в ОЛ никогда не было требований о том, чтобы результат работы программы можно было предсказать без запуска симулятора.
Это не вопрос уровня "чтобы ОЛ за меня схему составило". А вопрос именно в том, что результат работы схемы никак невозможно предсказать, пока не запустишь симулятор.
Для некоторых простых схем предсказать можно. А для более сожных -- вообще никак. И проблема не просто в "сложности понимания схемы из 100500 элементов". А проблема в том, что поведение схемы неоднозначно и какое из этих поведений выберет ОЛ предсказать невозможно.