En lógica digital , un término indiferente [1] [2] (abreviado DC , históricamente también conocido como redundancias , [2] irrelevancia , [2] entradas opcionales , [3] [4] combinaciones inválidas , [5] [4] combinaciones vacías , [6] [4] combinaciones prohibidas , [7] [2] estados no utilizados o residuos 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 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 como condiciones de no importar 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 modo que resulte el circuito más simple ( minimización ).
Es importante considerar los términos de indiferencia para minimizar el diseño de circuitos lógicos, incluidos los métodos gráficos como los mapas de Karnaugh-Veitch y los métodos algebraicos como el algoritmo de Quine-McCluskey .
Ejemplos de
licenciado en Letras corriente continua | 00 | 01 | 11 | 10 |
---|---|---|---|---|
00 | 1 | 0 | 0 | 1 |
01 | 0 | 0 | 0 | 1 |
11 | 0 | 0 | 0 | 1 |
10 | 1 | 0 | 0 | 1 |
licenciado en Letras corriente continua | 00 | 01 | 11 | 10 |
---|---|---|---|---|
00 | 1 | 0 | 0 | 1 |
01 | 0 | 0 | 0 | 1 |
11 | X | X | X | X |
10 | 1 | 0 | X | X |
licenciado en Letras corriente continua | 00 | 01 | 11 | 10 |
---|---|---|---|---|
00 | ||||
01 | ||||
11 | ||||
10 |
Ejemplos de términos de indiferencia son los valores binarios 1010 a 1111 (10 a 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 -tratos ); en las imágenes, el circuito que calcula la barra inferior izquierda de una pantalla de 7 segmentos puede minimizarse a a b + a c mediante una elección adecuada de salidas de circuito para dcba = 1010… 1111 .
Los registros de solo escritura , como se encuentran con frecuencia en hardware antiguo, a menudo son una consecuencia de optimizaciones indiferentes en el equilibrio entre la funcionalidad y el número de puertas lógicas necesarias. [14]
Los estados de indiferencia también pueden ocurrir en esquemas de codificación y protocolos de comunicación . [nb 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 llamarse valor X o no sabe . [15] 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). [dieciséis]
No existe un valor X en el hardware. En la simulación, un valor X puede resultar de dos o más fuentes que controlan una señal simultáneamente, o de que no se haya alcanzado la salida estable de un flip-flop . En hardware sintetizado, sin embargo, el valor real de dicha señal será 0 o 1, pero no se podrá determinar a partir de las entradas del circuito. [dieciséis]
Estados de encendido
Se necesitan más consideraciones para los circuitos lógicos que implican alguna retroalimentación. Es decir, aquellos circuitos que dependen de las salidas anteriores del circuito, así como de sus entradas externas actuales. Estos circuitos se pueden representar mediante una máquina de estados . A veces es posible que algunos estados que nominalmente son condiciones imposibles de suceder puedan generarse accidentalmente durante el encendido del circuito o por interferencia aleatoria (como radiación cósmica , ruido eléctrico o calor). Esto también se denomina entrada prohibida . [17] En algunos casos, no existe una combinación de entradas que pueda salir de la máquina de estado a un estado operativo normal. La máquina permanece atascada en el estado de encendido o solo se puede mover entre otros estados que no pueden suceder en un jardín de estados amurallado . Esto también se denomina bloqueo de hardware o error de software . Dichos estados, aunque nominalmente no pueden suceder, no les importa, y los diseñadores toman medidas para asegurarse de que realmente no pueden suceder, o si suceden, crean un don ' t-care alarma que indica un estado de emergencia [17] para la detección de errores , o son transitorios y conducen a un estado operativo normal. [18] [19] [20]
Ver también
- Tabla de decisiones
- Efecto secundario
- Evaluación de cortocircuito
- Decodificación de dirección incompleta
- Decodificación de código de operación incompleta
- Redundancia lógica
Notas
- ^ Ejemplos de esquemas de codificación con estados de indiferencia incluyen la codificación Hertz , la codificación Chen-Ho y el decimal Densely empaquetado (DPD).
Referencias
- ↑ Karnaugh, Maurice (noviembre de 1953) [23 de abril de 1953, 17 de marzo de 1953]. "El método de mapa para la síntesis de circuitos lógicos combinacionales" (PDF) . Transacciones del Instituto Americano de Ingenieros Eléctricos, Parte I: Comunicación 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)
- ^ a b c d 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 . pag. 97:
[…] Estas combinaciones prohibidas se llamarán aquí redundancias (también se han llamado irrelevancias, "no me importa" y combinaciones prohibidas), y generalmente se pueden usar para simplificar funciones booleanas. […]
(xvi + 408 páginas) - ^ 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 . 5a edición de septiembre de 1963 (1a ed.). Nueva York, EE. UU .: John Wiley & Sons Inc. ISBN 0-47112969-0. LCCN 58-7896 . (xviii + 686 páginas)
- ^ a b c 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 pp". The Journal of Symbolic Logic (Revisión). 23 (4): 433–434. doi : 10.2307 / 2964020 . JSTOR 2964020 . pag. 433:
[…] lo que Caldwell llama "entradas opcionales" […] otros autores han llamado "combinaciones inválidas", "no me importa", "combinaciones vacías" [...]
(2 páginas) - ^ Keister, William; Ritchie, Alistair E .; Washburn, Seth H. (1951). El diseño de circuitos de conmutación . Serie Bell Telephone Laboratories (1 ed.). D. Van Nostrand Company, Inc. p. 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)
- ^ Aiken, Howard H .; Blaauw, Gerrit ; Burkhart, William; Burns, Robert J .; Cali, Lloyd; Canepa, Michele; Ciampa, Carmela M .; Coolidge, Jr., Charles A .; Fucarile, Joseph R .; Gadd, Jr., J. Orten; Gucker, Frank F .; Harr, John A .; Hawkins, Robert L .; Hayes, Miles V .; Hofheimer, Richard; Hulme, William F .; Jennings, Betty L .; Johnson, Stanley A .; Kalin, Theodore; Kincaid, Marshall; Lucchini, E. Edward; Minty, William; Moore, Benjamin L .; Remmes, Joseph; Rinn, Robert J .; Roche, John W .; Sanbord, Jacquelin; Semon, Warren L .; Cantante, Theodore; Smith, Dexter; Smith, Leonard; Strong, Peter F .; Thomas, Helene V .; Wang, An ; Whitehouse, Martha L .; Wilkins, Holly B .; Wilkins, Robert E .; Woo, Way Dong; Little, 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. 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.)
- ^ 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)
- ^ Rushdi, Ali Muhammad Ali; Badawi, Raid Mohammad Salih (enero de 2017). "Utilización del mapa de Karnaugh en el análisis booleano: el caso de la terminación de la guerra" . Revista de Ingeniería y Ciencias de la Computación . Análisis comparativo cualitativo. Departamento de Ingeniería Eléctrica e Informática, Universidad King Abdulaziz, Jeddah, Universidad de Arabia Saudita / Qassim. 10 (1): 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]
- ^ Morris, Noel Malcolm (enero de 1969) [16 de diciembre de 1968]. "Código y convertidores de código - Parte 2: Técnicas de mapeo y convertidores de código" (PDF) . Mundo inalámbrico . Iliffe Technical Publications Ltd. 75 (1399): 34–37. Archivado (PDF) desde el original el 2021-03-09 . Consultado el 9 de mayo de 2020 . [14]
- ^ Morris, Noel 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 . . NCID BA12104142 . Consultado el 28 de marzo de 2021 . pag. 31:
[…] a veces conocida como una condición que no puede suceder […]
(x + 189 páginas) - ^ 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. Actas / Procedimientos. Bruselas, 15-20 de septiembre de 1969 / Bruselas, 15-20 de septiembre de 1969. (en francés e inglés). Bruselas, Bélgica: Presses Académiques Européennes. Parte 2: 1253 . Consultado el 28 de marzo de 2021 . La cita utiliza un título genérico ( ayuda ) (xxxiii + 650 + 676 páginas)
- ^ Holdsworth, Brian; Woods, Clive (2002). Diseño de lógica digital (4 ed.). Libros de Newnes / Ciencia de Elsevier . págs. 55–56, 251. ISBN 0-7506-4588-2. Consultado el 19 de abril de 2020 .Mantenimiento de CS1: errores de ISBN ignorados ( enlace )(519 páginas) [15]
- ^ Strong, John A., ed. (12 de marzo de 2013) [1991]. "Capítulo 2.11 Peligros y fallos" . Electrónica digital básica . Física y sus aplicaciones. 2 (reimpresión de la 1ª ed.). Chapman & Hall / Springer Science & Business Media, BV págs. 28–29. ISBN 978-9-40113118-6. LCCN 90-2689 . Consultado el 30 de marzo de 2020 . (220 páginas)
- ^ Microcontrolador Toshiba de 8 bits TLCS-870 / C Series TMP86PM29BUG (2 ed.). Toshiba Corporation . 2008-08-29 [2007-10-11]. 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 de las instrucciones de lectura-modificación-escritura. Si se lee WDTCR1, se lee un indiferente. […]
(9 + vi + 190 páginas) - ^ Katz, Randy Howard (1994) [mayo de 1993]. "Capítulo 2.2.4 Funciones incompletamente especificadas". Escrito en Berkeley, California, EE. UU. Diseño lógico contemporáneo (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 usa en tablas de verdad, el valor X a menudo se llama no importa . No confunda esto con el valor X reportado por muchos simuladores lógicos, donde representa un valor indefinido o no sé . Cualquier implementación real del circuito generará alguna salida para los casos de indiferencia. […]
(2 + xxviii + 699 + 10 + 2 páginas) - ^ a b Naylor, David; Jones, Simon (mayo de 1997). VHDL: A Logic Synthesis Approach (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)
- ^ a b 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)
- ^ Kumar, Ramayya; Kropf, Thomas, eds. (1995). Demostradores de teoremas en el diseño de circuitos: teoría, práctica y experiencia . Actas de la Segunda Conferencia Internacional, TPCD '94, Bad Herrenalb, Alemania, 26-28 de septiembre de 1994 . Apuntes de conferencias en informática. 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 . (viii + 312 páginas)
- ^ "Opción lógica Power-Up Don't Care" . Ayuda de Quartus . Intel Corporation . 2017. Archivado desde el original el 19 de abril de 2020 . Consultado el 19 de abril de 2020 .
- ^ "El nivel de encendido del registro no está especificado; se usa un nivel de encendido no especificado" . Base de conocimientos . Intel Corporation . 2020. Archivado desde el original el 19 de abril de 2020 . Consultado el 19 de abril de 2020 .
Otras lecturas
- Binder, Robert V .; Beizer, Boris (2000). Prueba de sistemas orientados a objetos: modelos, patrones y herramientas . Serie de tecnología de objetos de Addison-Wesley (edición ilustrada reelaborada). Addison-Wesley Professional . ISBN 978-0-20180938-1. Consultado el 5 de agosto de 2020 . (1191 páginas)