사람들이 부울 회로에서 루프 중첩을 보나요?

EE 학부 과정에서 몇 개의 강의에 참석하여 몇 개의 중첩 루프가 있는지에 대한 부울 회로의 훌륭한 특성을 제시했습니다. 복잡성에서, 부울 회로는 종종 dags로 생각되지만 실제 하드웨어주기에서는 일반적입니다. 이제 루프가 무엇인지, 그리고 중첩 루프를 구성하는 것에 대한 몇 가지 기술은 기본적으로 하드웨어에서 오토 마톤을 구현하려면 두 개의 중첩 루프가 필요하며 프로세서를 구현하려면 세 개의 중첩 루프가 필요하다는 주장이 기본적으로 제기되었습니다. (이 숫자들과 하나가 될 수도 있습니다.)

두 가지가 나를 귀찮게합니다.

1. 공식적인 증거는 없었습니다.
2. 나는 다른 곳에서는 이것을 보지 못했다.

이런 종류의 정확한 진술을 조사한 사람이 있습니까?

교수의 이름을 검색 하면서이 분류에 대해 설명 하는 작은 웹 페이지 와 책 (4 장) 을 찾았 습니다 .

배경 종류 : 실제 하드웨어에서 사이클이 왜 유용한 지 궁금한 경우 간단한 예를 들어 보겠습니다. 한 번에 두 개의 인버터를 연결하십시오. (인버터는 부울 함수 NOT을 계산하는 게이트입니다.)이 회로에는 두 개의 안정 평형 (및 불안정한 회로)이 있습니다. 외부 개입이 없으면 회로는 단순히 두 상태 중 하나에 머물러 있습니다. 그러나 외부 신호를 적용하여 회로를 특정 상태로 만들 수 있습니다. 상황이 다음과 같이 보일 수 있습니다. 사이클이 외부 신호 "우리는 입력을 읽습니다"에 연결되어 있고 그렇지 않으면 "마지막으로 본 값을 기억합니다". 하나의 루프는 우리가 물건을 기억하는 데 도움이됩니다.

Tomás Feder : Stable Networks and Product Graphs의 PhD 논문 (나중에 논문으로 출판)을 살펴보면 , 언급 한 것처럼 "루프"가있는 정확한 회로 인 안정적인 네트워크 구성을 찾는 복잡성을 연구했습니다 .