схему на симисторах опробую при возможности.
Входной формирователь - это не для прерывателя, это я узнавал. Датчик холла даёт искру по спаду сигнала, прерыватель - по фронту. С транзистором VT1 как раз было бы для прерывателя, а тут всё нормально. VD1.1, C1.1, R1.1, R2.1, R3.1 - дифференцирующая цепь, нужна для того, чтобы таймером можно было управлять импульсами любой длины.
По поводу фильтра: условие стабильности одно - работа без помех и зависаний
