А не проще ли использовать специально предназначенные микросхемы для этого. Например, uc1637
http://focus.ti.com/lit/ds/symlink/uc1637.pdf
Можно использовать ШИМ контроллер, который применяется в блоках питания TL494. Когда-то делал на ней стабилизатор частоты вращения для ДПТ. Правда там было немного посложнее. Не было тахогенератора, а был энкодер. Пришлось делать преобразователь частота-напряжение. По работе меня устраивало.