Верификация цифровых схем. Обзор

Я думаю, это даже «объяснить на пальцах» уже достаточно большая работа, которая уместится в достаточно большое количество статей. Хотя я очень «За!» такие статьи, иногда их нехватает даже на зарубежных источниках :(