다항식 논리 존오톱은 논리 존오톱의 확장으로, 모든 기본 논리 연산을 정확하게 수행할 수 있다. 이는 계산 복잡성이 증가하지만, 낮은 계산 복잡성을 유지하면서 정확한 도달성 분석을 수행할 수 있다. 이를 통해 다항식 논리 존오톱을 사용하여 두 가지 사용 사례에 대한 도달성 분석 결과를 제시한다. 이를 통해 논리 존오톱의 확장성을 강조하고, 선형 피드백 시프트 레지스터의 키에 대한 계산 가능한 완전 탐색을 수행한다.
To Another Language
from source content
arxiv.org
Önemli Bilgiler Şuradan Elde Edildi
by Amr Alanwar,... : arxiv.org 03-05-2024
https://arxiv.org/pdf/2306.12508.pdfDaha Derin Sorular