Do I understand correctly that you want the logic:
- initial counter value 0
- if the initial value of the state is High, set the counter value to 1
- after that, increment the counter only when it goes from low to high ?
If so then the two first parts can be handled by initializing the counter to (initial state == high) and after that you just have an increment when going from low to high.
Do you have to worry about de-bouncing ?
