stringtranslate.com

Término que no me importa

En lógica digital , un término que no importa [1] [2] (abreviado DC , históricamente también conocido como redundancias , [2] irrelevancias , [2] entradas opcionales , [3] [4] combinaciones no válidas , [5] [4] combinaciones vacías , [6] [4] combinaciones prohibidas , [7] [2] estados no utilizados o restos lógicos [8] ) para una función es una secuencia de entrada (una serie de bits) para la cual la salida de la función no no importa. Una entrada que se sabe que nunca ocurrirá es un término que no puede ocurrir . [9] [10] [11] [12] Ambos tipos de condiciones se tratan de la misma manera en el diseño lógico y pueden denominarse colectivamente condiciones de no importa por brevedad. [13] El diseñador de un circuito lógico para implementar la función no necesita preocuparse por tales entradas, pero puede elegir la salida del circuito arbitrariamente, generalmente de manera que resulte el circuito más simple ( minimización ).

Es importante tener en cuenta los términos indiferentes para minimizar el diseño de circuitos lógicos, incluidos métodos gráficos como los mapas de Karnaugh-Veitch y métodos algebraicos como el algoritmo de Quine-McCluskey . En 1958, Seymour Ginsburg demostró que la minimización de los estados de una máquina de estados finitos con condiciones de no importa no necesariamente produce una minimización de los elementos lógicos. La minimización directa de elementos lógicos en dichos circuitos era computacionalmente poco práctica (para sistemas grandes) con la potencia informática disponible para Ginsburg en 1958. [14]

Ejemplos

Ejemplos de términos que no importan son los valores binarios del 1010 al 1111 (del 10 al 15 en decimal) para una función que toma un valor decimal codificado en binario (BCD), porque un valor BCD nunca toma tales valores (los llamados pseudo -tetrados ); En las imágenes, el circuito que calcula la barra inferior izquierda de una pantalla de 7 segmentos se puede minimizar a a b + a c mediante una elección adecuada de salidas de circuito para dcba = 1010…1111 .

Los registros de sólo escritura , como se encuentran frecuentemente en hardware antiguo, son a menudo una consecuencia de optimizaciones indiferentes en el equilibrio entre la funcionalidad y el número de puertas lógicas necesarias. [15]

Los estados de "no me importa" también pueden ocurrir en esquemas de codificación y protocolos de comunicación . [nota 1]

valor x

"No me importa" también puede referirse a un valor desconocido en un sistema lógico de valores múltiples , en cuyo caso también puede denominarse valor X o no lo sé . [16] En el lenguaje de descripción de hardware de Verilog, dichos valores se indican con la letra "X". En el lenguaje de descripción de hardware VHDL, dichos valores se indican (en el paquete lógico estándar) con la letra "X" (desconocido forzado) o la letra "W" (desconocido débil). [17]

Un valor X no existe en el hardware. En la simulación, un valor X puede resultar de dos o más fuentes que impulsan una señal simultáneamente, o de que no se haya alcanzado la salida estable de un flip-flop . Sin embargo, en hardware sintetizado, el valor real de dicha señal será 0 o 1, pero no será determinable a partir de las entradas del circuito. [17]

Estados de encendido

Se necesitan consideraciones adicionales para los circuitos lógicos que involucran cierta retroalimentación . Es decir, aquellos circuitos que dependen de las salidas anteriores del circuito así como de sus entradas externas actuales. Estos circuitos pueden representarse mediante una máquina de estados . A veces es posible que algunos estados que nominalmente no pueden suceder se generen accidentalmente durante el encendido del circuito o por interferencias aleatorias (como radiación cósmica , ruido eléctrico o calor). Esto también se llama entrada prohibida . [18] En algunos casos, no existe una combinación de entradas que puedan salir de la máquina de estados a un estado operativo normal. La máquina permanece atascada en el estado de encendido o sólo puede moverse entre otros estados que no pueden suceder en un jardín amurallado de estados. Esto también se denomina bloqueo de hardware o error de software . Estos estados, aunque nominalmente no pueden suceder, no son "no me importa", y los diseñadores toman medidas para garantizar que realmente se hagan "no pueden suceder" o, si suceden, crean un estado "no puede suceder". Alarma t-care que indica un estado de emergencia [18] para detección de errores , o son transitorias y conducen a un estado operativo normal. [19] [20] [21]

Ver también

Notas

  1. ^ Ejemplos de esquemas de codificación con estados de no importa incluyen la codificación Hertz , la codificación Chen-Ho y el decimal densamente empaquetado (DPD).

Referencias

  1. ^ Karnaugh, Maurice (noviembre de 1953) [23 de abril de 1953, 17 de marzo de 1953]. "El método de mapas para la síntesis de circuitos lógicos combinacionales" (PDF) . Transacciones del Instituto Americano de Ingenieros Eléctricos, Parte I: Comunicaciones y Electrónica . 72 (5): 593–599. doi :10.1109/TCE.1953.6371932. S2CID  51636736. Documento 53-217. Archivado desde el original (PDF) el 16 de abril de 2017 . Consultado el 16 de abril de 2017 .(7 páginas)
  2. ^ abcd Phister, Jr., Montgomery (abril de 1959) [diciembre de 1958]. Diseño lógico de computadoras digitales . Diseño y Aplicaciones Digitales (3ª edición, 1ª ed.). Nueva York, Estados Unidos: John Wiley & Sons Inc. p. 97.ISBN​ 0-47168805-3. LCCN  58-6082. SEÑOR  0093930. ISBN 978-0-47168805-1 . pag. 97: […] Estas combinaciones prohibidas se denominarán aquí redundancias (también se las ha llamado irrelevancias, "no me importa" y combinaciones prohibidas) y generalmente se pueden usar para simplificar funciones booleanas. […] (xvi+408 páginas)
  3. ^ Caldwell, Samuel Hawks (1 de diciembre de 1958) [febrero de 1958]. Escrito en Watertown, Massachusetts, EE.UU. Circuitos de conmutación y diseño lógico . Quinta impresión, septiembre de 1963 (1ª ed.). Nueva York, Estados Unidos: John Wiley & Sons Inc. ISBN  0-47112969-0. LCCN  58-7896.(xviii+686 páginas)
  4. ^ abc Moore, Edward Forrest (diciembre de 1958). "Samuel H. Caldwell. Circuitos de conmutación y diseño lógico. John Wiley & Sons, Inc., Nueva York 1958, y Chapman & Hall Limited, Londres 1958, xvii + 686 págs". La revista de lógica simbólica (revisión). 23 (4): 433–434. doi :10.2307/2964020. JSTOR  2964020. S2CID  57495605. pág. 433: […] lo que Caldwell llama “entradas opcionales” […] otros autores han llamado “combinaciones no válidas”, “no me importa”, “combinaciones vacías” […](2 páginas)
  5. ^ Keister, William; Ritchie, Alistair E.; Washburn, Seth H. (1951). El diseño de circuitos de conmutación. Serie de laboratorios Bell Telephone (1 ed.). D. Van Nostrand Company, Inc. pág. 147. Archivado desde el original el 9 de mayo de 2020 . Consultado el 9 de mayo de 2020 .[1] (2+xx+556+2 páginas)
  6. ^ Aiken, Howard H .; Blaauw, Gerrit ; Burkhart, William; Quemaduras, Robert J.; Cali, Lloyd; Canepa, Michele; Ciampa, Carmela M.; Coolidge, Jr., Charles A.; Fucarile, José R.; Gadd, Jr., J. Orten; Gucker, Frank F.; Harr, John A.; Hawkins, Robert L.; Hayes, millas V.; Hofheimer, Richard; Hulme, William F.; Jennings, Betty L.; Johnson, Stanley A.; Kalin, Theodore; Kincaid, Marshall; Lucchini, E. Edward; Menta, William; Moore, Benjamín L.; Remmes, José; Rinn, Robert J.; Roche, John W.; Sanbord, Jacquelin; Semón, Warren L.; Cantante, Teodoro; Smith, Dexter; Smith, Leonardo; Fuerte, Peter F.; Thomas, Helena V.; Wang, An ; Casa Blanca, Martha L.; Wilkins, Holly B.; Wilkins, Robert E.; Woo, Camino Dong; Pequeño, Elbert P.; McDowell, M. Scudder (1952) [enero de 1951]. Síntesis de circuitos electrónicos de computación y control. Los Anales del Laboratorio de Computación de la Universidad de Harvard. vol. XXVII (segunda impresión, edición revisada). Base de la Fuerza Aérea Write-Patterson: Harvard University Press (Cambridge, Massachusetts, EE. UU.) / Geoffrey Cumberlege Oxford University Press (Londres). arca:/13960/t4zh1t09d . Consultado el 16 de abril de 2017 .(2+x+278+2 páginas) (NB. El trabajo comenzó en abril de 1948.)
  7. ^ Kautz, William H. (junio de 1954). "Codificación de datos optimizada para computadoras digitales". Registro de la Convención de la IRE, Convención Nacional de 1954, Parte 4 - Computadoras electrónicas y teoría de la información . Sesión 19: Teoría de la Información III - Velocidad y Computación. Instituto de Investigación de Stanford, Stanford, California, EE.UU.: IRE : 47–57. Archivado desde el original el 3 de julio de 2020 . Consultado el 3 de julio de 2020 .[2][3][4][5][6][7][8][9][10][11][12] (11 páginas)
  8. ^ Rushdi, Ali Muhammad Ali; Badawi, Raid Mohammad Salih (enero de 2017). "Utilización del mapa de Karnaugh en análisis booleano: el caso del fin de la guerra". Revista de Ingeniería y Ciencias de la Computación . Análisis Comparativo Cualitativo. 10 (1). Departamento de Ingeniería Eléctrica e Informática, Universidad Rey Abdulaziz, Jeddah, Arabia Saudita / Universidad Qassim: 53–88 [54–55, 57, 61–63]. Rabi'II 1438H. Archivado desde el original el 16 de febrero de 2021 . Consultado el 17 de febrero de 2021 .[13]
  9. ^ Morris, Noel Malcolm (enero de 1969) [16 de diciembre de 1968]. "Código y conversores de código - Parte 2: Técnicas de mapeo y conversores de código" (PDF) . Mundo inalámbrico . 75 (1399). Publicaciones técnicas de Iliffe Ltd .: 34–37. Archivado (PDF) desde el original el 9 de marzo de 2021 . Consultado el 9 de mayo de 2020 .[14]
  10. ^ Morris, Noël Malcolm (1969). Circuitos lógicos. Serie europea de ingeniería eléctrica y electrónica (1 ed.). Londres, Reino Unido: McGraw-Hill . págs.31, 96, 114. ISBN 0-07094106-8. LCCN  72458600. ISBN 978-0-07094106-9 . NCID  BA12104142 . Consultado el 28 de marzo de 2021 . pag. 31: […] a veces conocida como condición que no puede suceder […] (x+189 páginas)
  11. ^ Association Internationale pour le Calcul Analogique (AICA), ed. (1970) [15 de septiembre de 1969]. "desconocido". Coloque internacional / Simposio Internacional. Systèmes logiques: Concepción y aplicaciones / Diseño y Aplicaciones de Sistemas Lógicos. Actes / Diligencias. Bruselas, 15 al 20 de septiembre de 1969 / Bruselas, 15 al 20 de septiembre de 1969 (en inglés y francés). Parte 2. Bruselas, Bélgica: Presses Académiques Européennes: 1253 . Consultado el 28 de marzo de 2021 . {{cite journal}}: La cita utiliza título genérico ( ayuda ) (xxxiii+650+676 páginas)
  12. ^ Holdsworth, Brian; Bosques, Clive (2002). Diseño de lógica digital (4 ed.). Libros Newnes / Ciencia Elsevier . págs. 55–56, 251. ISBN 0-7506-4588-2. ISBN 978-0-08047730-5 . Consultado el 19 de abril de 2020 . {{cite book}}: Mantenimiento CS1: errores de ISBN ignorados ( enlace )(519 páginas) [15]
  13. ^ Fuerte, John A., ed. (12 de marzo de 2013) [1991]. "Capítulo 2.11 Peligros y fallas técnicas". Electrónica Digital Básica . Física y sus aplicaciones. vol. 2 (reimpresión de la 1ª ed.). Chapman & Hall / Springer Science & Business Media, BV págs. ISBN 978-9-40113118-6. LCCN  90-2689 . Consultado el 30 de marzo de 2020 .(220 páginas)
  14. ^ Ginsburg, Seymour (1 de abril de 1959). "Sobre la reducción de estados superfluos en una máquina secuencial". Revista de la ACM . 6 (2): 259–282. doi : 10.1145/320964.320983 . S2CID  10118067.
  15. ^ Microcontrolador Toshiba de 8 bits Serie TLCS-870 / C TMP86PM29BUG (2 ed.). Corporación Toshiba . 29 de agosto de 2008 [11 de octubre de 2007]. pag. 61. Archivado desde el original el 19 de abril de 2020. pag. 61: […] WDTCR1 es un registro de solo escritura y no debe usarse con ninguna instrucción de lectura-modificación-escritura. Si se lee WDTCR1, se lee "No me importa". […](9+vi+190 páginas)
  16. ^ Katz, Randy Howard (1994) [mayo de 1993]. "Capítulo 2.2.4 Funciones especificadas de forma incompleta". Escrito en Berkeley, California, Estados Unidos. Diseño de lógica contemporánea (1 ed.). Redwood City, California, EE.UU.: The Benjamin/Cummings Publishing Company, Inc. p. 64.ISBN​ 0-8053-2703-7. 32703-7. pag. 64: […] Las funciones de salida tienen el valor "X" para cada una de las combinaciones de entrada que nunca deberíamos encontrar. Cuando se utiliza en tablas de verdad, el valor X a menudo se denomina " no importa" . No confunda esto con el valor X reportado por muchos simuladores lógicos, donde representa un valor indefinido o no lo sé . Cualquier implementación real del circuito generará algún resultado para los casos de no importancia. […](2+xxviii+699+10+2 páginas)
  17. ^ ab Naylor, David; Jones, Simon (mayo de 1997). VHDL: un enfoque de síntesis lógica (reimpresión de la 1ª ed.). Chapman & Hall / Cambridge University Press / Springer Science & Business Media . págs. 14-15, 219, 221. ISBN 0-412-61650-5. Consultado el 30 de marzo de 2020 .(x+327 páginas)
  18. ^ ab Lind, Larry Frederick; Nelson, John Christopher Cunliffe (1 de abril de 1977). "2.3.7. No me importa". Análisis y Diseño de Sistemas Digitales Secuenciales. Ingeniería Eléctrica y Electrónica (1 ed.). Londres y Basingstoke, Reino Unido: The Macmillan Press Ltd. págs. 20, 121-122. doi :10.1007/978-1-349-15757-0. ISBN 0-333-19266-4. Archivado desde el original el 30 de abril de 2020 . Consultado el 30 de abril de 2020 .(4+viii+146+6 páginas)
  19. ^ Kumar, Ramayya; Kropf, Thomas, eds. (1995). Demostradores de teoremas en diseño de circuitos. Apuntes de conferencias sobre informática. vol. 901 (1ª ed.). Springer-Verlag Berlín Heidelberg . pag. 136.doi :10.1007/3-540-59047-1 . ISBN 978-3-540-59047-7. ISSN  0302-9743. S2CID  42116934 . Consultado el 30 de marzo de 2020 . {{cite book}}: |journal=ignorado ( ayuda ) (viii+312 páginas)
  20. ^ "Opción lógica de encendido, no importa". Ayuda de Quartus . Corporación Intel . 2017. Archivado desde el original el 19 de abril de 2020 . Consultado el 19 de abril de 2020 .
  21. ^ "No se especifica el nivel de encendido del registro <nombre>; se utiliza un nivel de encendido no especificado". Base de conocimientos . Corporación Intel . 2020. Archivado desde el original el 19 de abril de 2020 . Consultado el 19 de abril de 2020 .

Otras lecturas