엉뚱한 생각 : 시분초 fail safe 카운터 설계를 설계해보자.
x:입력 신호, f(fail) 에 대해서 c(올바른 출력 신호), s(미리 정의된 출력 신호)
카운터의 현재값은 다음에 바뀔 미리 정의된 다음 값을 결정한다는 것을 알수있다. 예를 들면 카운터값이 현재 2이면 다음에 돌아올 카운터 값은 3이 됨을 알수 있다. 현재 2인 카운터값이 먼저 실행된 다음에 돌아올 카운터값인 2(1인 상태일때의 값)을 알고 있다면
현재의 2의 카운팅 계수가 되는 순간 신뢰성을 가지고 2의 값을 check할수가 있다. 만약 2가 아닌값으로 회로가 카운팅 되었다면
오류 카운팅을 계속해야 하는지 아니면 정상 카운팅에서 미리 값을 가진 2값을 로징할 것인지를 생각해본다.
과거의 다음 카운터 값과 현재값과의 비교로 카운터의 동작이 정상동작상태인지 오류 동작 상태인지를 구분할 수가 있다.
error 발생시 다음 카운터 값으로 계수하는 것이 맞는지 미리 정의된 다음 카운터 값으로 로드 하는 것이 맞는지 생각해본다.
미리 정의된 출력 신호로 카운트 범위 밖의 카운터 값은 reset르로 하는 것이 맞는지 미리 정의된 다음값으로 로드하는 것이 맞는지 생각해본다.