상관하지 않는 용어

Don't-care term
삼국논리와 혼동하지 말 것.

디지털 논리에서, 한 기능에 대한 무관심한 사람 term[1][2](역사적으로 또한 redundancies,[2]로 알려진 irrelevancies,[2]선택적 entries,[3][4] 잘못된 combinations,[5][4]의 공허한 combinations,[6][4]는 것이 금지되어 직류 단축 combinations,[7][2]사용하지 않는 국가나 논리적 remainders[8])은 input-sequence(비트 시리즈)은 그 기능. 출력은 중요하지 않다.절대 발생하지 않는 것으로 알려진 입력은 일어날 수 없는 [9][10][11][12]용어입니다.이러한 두 가지 유형의 조건은 모두 논리 설계에서 동일하게 취급되며 간결성을 위해 [13]총칭하여 무관심 조건이라고 할 수 있다.함수를 구현하기 위한 논리회로의 설계자는 이러한 입력에 신경 쓸 필요가 없지만, 일반적으로 가장 단순한 회로가 결과(최소화)가 되도록 회로의 출력을 임의로 선택할 수 있습니다.

상관하지 않는 용어는 카노-비치 맵과 같은 그래픽 방법과 Quine-McCluskey 알고리즘과 같은 대수적 방법을 포함하여 논리 회로 설계를 최소화할 때 고려해야 할 중요한 용어입니다.

1958년, Seymour Ginsburg는 Don-care 회로[clarify] 최소화가 반드시 최소한의 결과를 [14]낳는 것은 아니라는 것을 증명했습니다.

예

최소회선을 실현하기 위한 조건 불문
바
직류
 00 01 11 10
00 1 0 0 1
01 0 0 0 1
11 0 0 0 1
10 1 0 0 1
왼쪽 아래 세그먼트에 대한 카르노 지도
바
직류
 00 01 11 10
00 1 0 0 1
01 0 0 0 1
11 x x x x
10 1 0 x x
7 세그먼트 디스플레이의 숫자
바
직류
 00 01 11 10
00 Dígito c0.svg Dígito c1.svg Dígito c3.svg Dígito c2.svg
01 Dígito c4.svg Dígito c5.svg Dígito c7.svg Dígito c6.svg
11
10 Dígito c8.svg Dígito c9.svg

예를 들어, 2진수 10진수(BCD) 값을 취하는 함수의 2진수치 1010~1111(10진수 10~15)이 있다.BCD 값은 이러한 값(일명 의사테트라이드)을 차지하지 않기 때문이다.화면에서 7 세그먼트 디스플레이의 왼쪽 하단을 연산하는 회로는 b+a로 최소화할 수 있다.dcba = 1010…111에 대한 적절한 회로 출력 선택.

오래된 하드웨어에서 자주 볼 수 있는 쓰기 전용 레지스터는 기능과 필요한 로직 [15]게이트 수 간의 트레이드오프에서 관리하지 않는 최적화의 결과인 경우가 많습니다.

Don't-care 상태는 인코딩 방식 및 통신 [nb 1]프로토콜에서도 발생할 수 있습니다.

X값

"Don't care"는 또한 다중값 논리 시스템에서 알려지지 않은 값을 나타낼 수 있으며, 이 경우 X 값 또는 알 [16]수 없습니다.Verilog 하드웨어 기술 언어에서는 이러한 값은 문자 "X"로 표시됩니다.VHDL 하드웨어 기술 언어에서는 이러한 값이 문자 "X"(강제적으로 알 수 없음) 또는 문자 "W"(약한 [17]알 수 없음)로 표시됩니다.

하드웨어에 X 값이 없습니다.시뮬레이션에서 X값은 신호를 동시에 구동하는 2개 이상의 소스 또는 플립플랍의 안정적인 출력에 도달하지 못한 것으로부터 발생할 수 있다.그러나, 합성 하드웨어에서, 그러한 신호의 실제 값은 0 또는 1이 [17]될 것이지만, 회로의 입력으로부터 결정될 수 없다.

전원 투입 상태

피드백을 수반하는 논리회로에 대해서는 한층 더 검토가 필요합니다.즉, 회로의 이전 출력과 현재의 외부 입력에 의존하는 회로입니다.이러한 회로는 상태 기계에 의해 표시될 수 있습니다.명목상으로는 발생할 수 없는 상태가 회로의 전원을 켜는 동안 또는 무작위 간섭(우주 복사, 전기 노이즈 또는 열)에 의해 우연히 생성될 수 있습니다.이를 금지 [18]입력이라고도 합니다.경우에 따라서는 상태 시스템에서 정상 작동 상태로 나갈 수 있는 입력 조합이 없습니다.기계는 전원 투입 상태로 유지되거나 벽으로 둘러싸인 상태의 다른 상태 사이에서만 이동할 수 있습니다.이것은 하드웨어 행업 또는 소프트 에러라고도 불립니다.이러한 상태는 명목상으로는 발생하지 않지만 관리되지 않으며, 설계자는 실제로 발생하지 않도록 하기 위한 조치를 취하거나, 실제로 발생한 경우 오류 검출을 위한 비상[18] 상태를 나타내는 관리 안 함 경보를 생성하거나, 일시적인 상태이며 정상 작동 [19][20][21]상태로 이어지는 조치를 취합니다.

「 」를 참조해 주세요.

메모들

  1. ^ Don't care 상태의 부호화 방식에는 Hertz 부호화, Chen-Ho 부호화 및 Density Packed Decimal(DPD) 등이 있습니다.

레퍼런스

  1. ^ Karnaugh, 모리스(11월 1953년)[1953-04-23, 1953-03-17]."지도 방법 Combinational 논리 회선의 강지 진동 합성에"(PDF).미국 전기 기술자의 Part1:통신 및 전자입니다. 72(5):593–599. 거래는 반드시 doi:10.1109/TCE.1953.6371932.S2CID 51636736.종이 53-217.2017-04-16에 있는 원본(PDF)에서 Archived..(7페이지)2017-04-16 Retrieved
  2. ^ a b c d Phister, Jr., 몽고메리[12월 1958년](4월 1959년).디지털 컴퓨터의 논리적 디자인.디지털 디자인과 응용(3인쇄 1일 교육.).미국 뉴욕:JohnWiley도&SonsInc.97p..아이 에스비엔 0-47168805-3.LCCN 58-6082.MR0093930.아이 에스비엔 978-0-47168805-1. 페이지의 주 97:[…]이 금지되어 조합 여기는 중복성(그들은 또한 irrelevancies," 그렇지 형태"과 금지된 조합으로 불려 왔다)며, 그들은 대개 부울 기능을 단순화 하기 위해 사용할 수 있을 것이다.[…](xvi+408 페이지)
  3. ^ Caldwell, Samuel Hawks (1958-12-01) [February 1958]. Written at Watertown, Massachusetts, USA. Switching Circuits and Logical Design. 5th printing September 1963 (1st ed.). New York, USA: John Wiley & Sons Inc. ISBN 0-47112969-0. LCCN 58-7896. (183+686페이지)
  4. ^ a b c 무어, 에드워드 포레스트(12월 1958년)."새뮤엘 H. 칼 드웰이에요전환 회로 및 논리 설계.JohnWiley도&Sons, Inc., 뉴욕 1958년었으며, 채프먼&홀 리미티드, 런던은 1958년, xvii+686년 pp".그 저널의 상징성 로직(리뷰)의.23(4):433–434. doi:10.2307/2964020. JSTOR 2964020. 우편 433:[…]콜드웰 이른바"선택적 항목"[…] 다른 작가들" 잘못된 조합","cares지 않아","공허한 조합"[…](2페이지)라고 불러 왔다.
  5. ^ Keister, William; Ritchie, Alistair E.; Washburn, Seth H. (1951). The Design Of Switching Circuits. The Bell Telephone Laboratories Series (1 ed.). D. Van Nostrand Company, Inc. p. 147. Archived from the original on 2020-05-09. Retrieved 2020-05-09. [1] (2+xx+556+2페이지)
  6. ^ 에이킨, 하워드 H.;Blaauw, Gerrit, Burkhart, 윌리엄, 번스, 로버트 J., 캘리, 로이드, Canepa인 Michele;Ciampa, 카멜라 M., 쿨리지, Jr., 찰스 A.,.Fucarile, 요셉 R.;갯, Jr., J.Orten, Gucker, 프랭크 F.;Harr, 존 A.,.호킨스는, 로버트 L.;Hayes는 마일스 V.Hofheimer, 리처드, 흄, 윌리엄 F., 제닝스, 베티는 L., 존슨, 스탠리 A;칼린 씨, 시어도어;킨케이드, 마샬, 루키니, E. 에드워드, 민티, 윌리엄. 무어, 벤자민 L.;Remmes, 조셉, Rinn, 로버트 J.;로슈, 존 W.;Sanbord, Jacquelin, 사람은 시몬, WarrenL., 가수, 시어도어;스미스, 덱스터;스미스, 레너드, 스트롱'PeterF.,.토머스, 헬렌 V;왕, 한, 화이트 하우스, 마사 L.;윌킨스, 홀리 B;.윌킨스, 로버트 E.우, 웨이 동, 리틀, 당신 자신을 P.;맥도웰, M.Scudder[1월 1951년](1952년).컴퓨터 및 제어 회로의 종합.그 계수 실험실 하버드 대학의 실록.VolXXVII(두번째 인쇄, 교육 개정.).Write-Patterson 공군 기지:하버드 대학 출판부(매사추세츠 주 캠브리지 미국)/제프리 Cumberlege 옥스포드 대학 출판부(런던).궤:/13960/t4zh1t09d..(2+x+278+2 페이지)(NB다. 작업 4월 1948년에 시작했다.)2017-04-16 Retrieved.
  7. ^ Kautz, 윌리엄 H.(1954년 6월)."최적 데이터 부호화 디지털에서".협약 기록은 I.R.E., 1954년 전당 대회, 제4부-전자 컴퓨터 정보 이론.세션 19시 정보 이론 3-속도와 계산.스탠포드 연구소, 스탠포드, 캘리포니아, 미국:I.R.E.:47–57.그 2020-07-03에 원래에서 Archived.2020-07-03 Retrieved.[2][3][4][5][6][7][8][9][10][11][12](11페이지)
  8. ^ Rushdi, Ali Muhammad Ali; Badawi, Raid Mohammad Salih (January 2017). "Karnaugh-Map Utilization in Boolean Analysis: The Case of War Termination". Journal of Engineering and Computer Sciences. Qualitative Comparative Analysis. Department of Electrical and Computer Engineering, King Abdulaziz University, Jeddah, Saudi Arabi / Qassim University. 10 (1): 53–88 [54–55, 57, 61–63]. Rabi'II 1438H. Archived from the original on 2021-02-16. Retrieved 2021-02-17. [13]
  9. ^ Morris, Noel Malcolm (January 1969) [1968-12-16]. "Code and Code Converters - Part 2: Mapping techniques and code converters" (PDF). Wireless World. Iliffe Technical Publications Ltd. 75 (1399): 34–37. Archived (PDF) from the original on 2021-03-09. Retrieved 2020-05-09. [14]
  10. ^ Morris, Noel Malcolm (1969). Logic Circuits. European electrical and electronic engineering series (1 ed.). London, UK: McGraw-Hill. pp. 31, 96, 114. ISBN 0-07094106-8. LCCN 72458600. ISBN 978-0-07094106-9. NCID BA12104142. Retrieved 2021-03-28. p. 31: […] sometimes known as a can't happen condition […] (x+120페이지)
  11. ^ 협회 국제 pour.(1970년)[1969-09-15]Calcul Analogique(전하 뇌 동맥), 교육." 알려지지 않은".Colloque 국제/국제 심포지엄.Systèmes logiques:개념(애플리케이션/설계 및 논리적 시스템의 응용 프로그램은 실패한다.Actes/논문집.브뤼셀. Brussels의 프랑스명., 15–20 9월. 1969년/브뤼셀 9월 15–20 1969년.(영어과 프랑스어).브뤼셀. Brussels의 프랑스명., 벨기에:Presses Académiques Européennes.제2부:1253년.2021-03-28 Retrieved.{{ 들고 일기}}:소환하다 일반적인 통칭( 도와 주)(xxxiii+650+676 페이지)을 사용한다.
  12. ^ Holdsworth, Brian; Woods, Clive (2002). Digital Logic Design (4 ed.). Newnes Books / Elsevier Science. pp. 55–56, 251. ISBN 0-7506-4588-2. ISBN 978-0-08047730-5. Retrieved 2020-04-19.{{cite book}}: CS1 maint: 무시된 ISBN 오류(링크) (519페이지) [15]
  13. ^ Strong, John A., ed. (2013-03-12) [1991]. "Chapter 2.11 Hazards and Glitches". Basic Digital Electronics. Physics and Its Applications. Vol. 2 (reprint of 1st ed.). Chapman & Hall / Springer Science & Business Media, B.V. pp. 28–29. ISBN 978-9-40113118-6. LCCN 90-2689. Retrieved 2020-03-30. (220페이지)
  14. ^ Ginsburg, Seymour (1959-04-01). "On the Reduction of Superfluous States in a Sequential Machine". Journal of the ACM. 6 (2): 259–282. doi:10.1145/320964.320983. S2CID 10118067.
  15. ^ Toshiba 8 Bit Microcontroller TLCS-870/C Series TMP86PM29BUG (2 ed.). Toshiba Corporation. 2008-08-29 [2007-10-11]. p. 61. Archived from the original on 2020-04-19. p. 61: […] WDTCR1 is a write-only register and must not be used with any of read-modify-write instructions. If WDTCR1 is read, a don't care is read. […] (9+vi+410페이지)
  16. ^ 카츠, 랜디 하워드(1994년)[도 될까 1993년]." 제2.2.4항 Incompletely 특정 함수".버클리, 캘리포니아, 미국 현대 논리 설계(1판)에 쓰여진.캘리포니아 주 레드 우드시, 미국:Benjamin/Cummings PublishingCompany, Inc.64p..아이 에스비엔 0-8053-2703-7. 32703-7. 페이지의 주 64:[…]그 출력 기능 각 우리가 결코 맞닥뜨리게 되지 않는 입력 조합에 대한 값"X"을 가지고 있다.언제 진리를 테이블에서 사용할 값 X는 종종 신경 쓰지 않아라고 불린다.X나 모르는 막연한 값을 나타내는 많은 논리 시뮬레이터에 의해 보고 된 값들과 절대 헷갈리지 마세요.회로의 모든 실제 구현은 신경 쓰지 않아 경우에 결과물을 생성한다.[…](2+xxviii+699+10+2 페이지)
  17. ^ a b Naylor, David; Jones, Simon (May 1997). VHDL: A Logic Synthesis Approach (reprint of 1st ed.). Chapman & Hall / Cambridge University Press / Springer Science & Business Media. pp. 14–15, 219, 221. ISBN 0-412-61650-5. Retrieved 2020-03-30. (x+327페이지)
  18. ^ a b 린드, 래리 프레드릭, 넬슨, 존 크리스토퍼 Cunliffe(1977-04-01)."2.3.7.cares"지 마세요.해석 및 설계 시공 단계별 디지털 시스템의.전자 전기 공학(1판).런던&베이싱 스토크, 영국:맥밀란 출판 주식 회사를 대신하여 서명함. 20, 121–122. doi:10.1007/978-1-349-15757-0.아이 에스비엔 0-333-19266-4.그 2020-04-30에 원래에서 Archived..(4+viii+146+6 페이지)2020-04-30 Retrieved
  19. ^ 쿠마르, Ramayya, Kropf, 토마스, eds.(1995년).정리 Provers 서킷 디자인에.이론, 연습과 경험입니다.제2차 국제 회의 회보 TPCD 94, 나쁜 Herrenalb, 독일, 9월 26–28, 1994년.강의 노트 컴퓨터 과학으로.권 901년(1일 교육.).Springer-Verlag 베를린 하이델베르크. 페이지의 주 136.doi:10.1007/3-540-59047-1.아이 에스비엔 978-3-540-59047-7.ISSN 0302-9743.S2CID 42116934..(viii+312 페이지)2020-03-30 Retrieved
  20. ^ "Power-Up Don't Care logic option". Quartus Help. Intel Corporation. 2017. Archived from the original on 2020-04-19. Retrieved 2020-04-19.
  21. ^ "Power-up level of register <name> is not specified – using unspecifed power-up level". Knowledge Base. Intel Corporation. 2020. Archived from the original on 2020-04-19. Retrieved 2020-04-19.

추가 정보

  • Binder, Robert V.; Beizer, Boris (2000). Testing Object-oriented Systems: Models, Patterns, and Tools. Addison-Wesley Object Technology Series (illustrated reworked ed.). Addison-Wesley Professional. ISBN 978-0-20180938-1. ISBN 0-20180938-9. Retrieved 2020-08-05. (1191페이지)
  • " 제6장.마이크로 컴퓨터 시스템 구성 요소 데이터 시트-EPROMs고 ROM:나 PROM과 ROM프로그래밍 지침-B3.Non-Intellec은 Hex종이 테이프 포맷, C1.Intellec은 Hex컴퓨터 Punched 카드 포맷, 지휘 통제. PN컴퓨터 Punched 카드 Format".MCS-80 사용자의 설명서(으로 소개에 MCS-85).인텔.10월 1977년[1975년].Pp. 6–77, 6–79. 98-153D..[16][17](NB2020-02-27 Retrieved.특정 값을 포함할 필요가 없는 프로그래밍 가능한 메모리 칩의 주소 범위에 대해 "상관 없음" 데이터라는 용어를 사용합니다. 따라서 프로그래밍 명령에서 정의되지 않은 상태로 남아 있을 수 있습니다.)