논리중복
Logic redundancy논리 중복은 정적 논리 기능에 영향을 미치지 않는 회로를 포함하는 디지털 게이트 네트워크에서 발생한다.논리 중복이 존재할 수 있는 몇 가지 이유가 있다.한 가지 이유는 두 개 이상의 제품 조건이 세 번째 조건과 겹쳐서 출력 신호에서 일시적인 결함(경주 조건을 야기하는 것)을 억제하기 위해 의도적으로 추가되었을 수 있기 때문이다.
다음 방정식을 고려하십시오.
세 번째 제품 용어 C는 중복된 합의 조건이다.= 및 = 1 Y 이(가) 1로 전환되는 경우로직 게이트에서 신호 이(가) 전환되는 동안 첫 번째 및 두 번째 임기는 모두 순간적으로 0이 될 수 있다.세 번째 용어는 이 경우 1의 값이 신호 에 영향을 받지 않기 때문에 결함을 방지한다
논리중복의 또 다른 이유는 의도치 않게 논리중복적인 용어가 되는 잘못된 설계 관행 때문이다.이로 인해 네트워크 복잡성이 불필요하게 증가하며, 기존의 시험 방법(단일 고정 결함 모델)을 사용하여 제조된 설계의 시험 능력을 저해할 수 있다.IDDQ 모델을 사용하여 테스트가 가능할 수 있다.
논리 중복 제거 중
로직 중복은 일반적으로 원하지 않는다.중복성은 정의상 구현 비용(물리적 부품의 실제 비용 또는 CPU 처리 시간)을 높이는 추가 부품(이 경우: 논리 용어)을 필요로 한다.논리 중복은 Karnaugh maps, Quine-McCluskey 알고리즘, 휴리스틱 컴퓨터 방법 등 잘 알려진 몇 가지 기법으로 제거할 수 있다.
논리 중복 추가
경우에 따라서는 논리 중복을 추가하는 것이 바람직할 수 있다.그러한 경우 중 하나는 서로 다른 항이 꺼지고 켜지기 위해 "경주"하기 때문에 출력이 변동할 수 있는 경기 조건을 피하는 것이다.이를 보다 구체적으로 설명하기 위해 오른쪽의 Karnaugh 지도가 다음과 같은 기능에 대한 세부 사항을 보여준다.
상자는 이 기능을 구현하는 데 필요한 최소 AND/OR 용어를 나타낸다.
k맵은 최소 표현으로, 예를 들어 파란색 사각형과 녹색 사각형 사이의 간격과 같이 최소 표현으로 인종 조건이 발생하는 곳을 시각적으로 보여준다.입력을 에서[1] 이 (가) 꺼지고 이 (가) 켜지는 에 경주가 발생한다녹색 불이 켜지기 전에 파란색 용어가 꺼지면 출력이 변동하며 0으로 등록될 수 있다.1110 {\에서 }(displaystyle 1100로 전환하기 위한 또 다른 경기 조건은 청색과 적색 사이에 있다
경기 조건은 논리 중복을 추가함으로써 제거된다.두 미니어처 경기 조건 모두 노란색 용어 의가 추가되어 적용된다
이 경우, 논리 중복의 추가는 항이 서로 경합하여 상태를 변화시키고 있기 때문에 출력 변동을 피하기 위해 출력을 안정시켰다.
메모들
- ^ 이것은 으로 A= = 1 1 = {\ = {\D=에 대한 짧은 표기법이다.