다항식 논리 존오톱은 논리 존오톱의 확장으로, 모든 기본 논리 연산을 정확하게 수행할 수 있다. 이는 계산 복잡성이 증가하지만, 낮은 계산 복잡성을 유지하면서 정확한 도달성 분석을 수행할 수 있다. 이를 통해 다항식 논리 존오톱을 사용하여 두 가지 사용 사례에 대한 도달성 분석 결과를 제시한다. 이를 통해 논리 존오톱의 확장성을 강조하고, 선형 피드백 시프트 레지스터의 키에 대한 계산 가능한 완전 탐색을 수행한다.
다른 언어로
소스 콘텐츠 기반
arxiv.org
더 깊은 질문