Término que no me importa

En ciencias de la computación y diseño de circuitos integrados , un término de no importancia ^{[ 1 ] [ 2 ]} (abreviado DC , históricamente también conocido como redundancias , ^{[ 2 ]} irrelevancias , ^{[ 2 ]} entradas opcionales , ^{[ 3 ] [ 4 ]} combinaciones inválidas , ^{[ 5 ] [ 4 ] [ 6 ]} combinaciones vacías , ^{[ 7 ] [ 4 ]} combinaciones prohibidas , ^{[ 8 ] [ 2 ]} estados no utilizados o restos lógicos ^{[ 9 ]} ) para una función booleana 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 imposible . ^{[ 10 ] [ 11 ] [ 12 ] [ 13 ]} Ambos tipos de condiciones se tratan de la misma manera en el diseño lógico y pueden denominarse colectivamente condiciones de no importancia para mayor brevedad. ^{[ 14 ]} El diseñador de un circuito lógico para implementar la función no necesita preocuparse por dichas entradas, sino que puede elegir la salida del circuito arbitrariamente, generalmente de manera que resulte el circuito más simple, pequeño, rápido o barato ( minimización ) o se minimice el consumo de energía. ^{[ 15 ] [ 16 ]}

Los términos de indiferencia son importantes a la hora de minimizar el diseño de circuitos lógicos, incluyendo 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 indiferencia no necesariamente produce una minimización de los elementos lógicos. La minimización directa de los elementos lógicos en dichos circuitos era computacionalmente impracticable (para sistemas grandes) con la capacidad de cálculo disponible para Ginsburg en 1958. ^{[ 17 ]}

Ejemplos de términos indiferentes 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 pseudotetrades ); 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 apropiada de salidas del circuito para dcba = 1010…1111 .

Los registros de solo escritura , que se encuentran frecuentemente en hardware antiguo, suelen ser consecuencia de optimizaciones poco rigurosas en el equilibrio entre la funcionalidad y el número de puertas lógicas necesarias. ^{[ 18 ]}

Los estados de indiferencia también pueden ocurrir en esquemas de codificación de línea y protocolos de comunicación . ^{[ nb 1 ]}

"No me importa" también puede referirse a un valor desconocido en un sistema lógico multivaluado , en cuyo caso también puede llamarse valor X o no saber . ^{[ 19 ]} En el lenguaje de descripción de hardware Verilog, dichos valores se denotan con la letra "X". En el lenguaje de descripción de hardware VHDL , dichos valores se denotan (en el paquete lógico estándar) con la letra "X" (desconocido forzado) o la letra "W" (desconocido débil). ^{[ 20 ]}

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

Se necesitan consideraciones adicionales para los circuitos lógicos que involucran algún tipo de retroalimentación . Es decir, aquellos circuitos que dependen de la(s) salida(s) anterior(es) del circuito, así como de sus entradas externas actuales. Dichos circuitos pueden representarse mediante una máquina de estados . A veces es posible que algunos estados que son condiciones nominalmente imposibles 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 denomina entrada prohibida . ^{[ 21 ]} En algunos casos, no hay ninguna combinación de entradas que pueda sacar a la máquina de estados a un estado operativo normal. La máquina permanece atascada en el estado de encendido o solo puede moverse entre otros estados imposibles en un jardín amurallado de estados. Esto también se denomina bloqueo de hardware o error suave . Si bien nominalmente estos estados no pueden ocurrir, no son indiferentes, y los diseñadores toman medidas para asegurar que realmente no puedan ocurrir, o bien, si ocurren, que creen una alarma de indiferencia que indique un estado de emergencia ^{[ 21 ]} para la detección de errores , o bien que sean transitorios y conduzcan a un estado operativo normal. ^{[ 22 ] [ 23 ] [ 24 ]}

• Tabla de decisiones
• Efecto secundario
• evaluación de cortocircuito
• Decodificación de dirección incompleta
• Decodificación incompleta del código de operación
• Redundancia lógica
• Comportamiento indefinido
• Variable indefinida
• Variable no inicializada
• Lógica de cuatro valores
• Lógica de nueve valores

• Binder, Robert V.; Beizer, Boris (2000). Pruebas de sistemas orientados a objetos: modelos, patrones y herramientas . Serie de tecnología de objetos de Addison-Wesley (  edición ilustrada revisada). Addison-Wesley Professional . ISBN 978-0-20180938-1ISBN​ 0-20180938-9. Consultado el 5 de agosto de 2020 .(1191 páginas)
• "Capítulo 6. Hoja de datos de componentes del sistema de microcomputadoras - EPROM y ROM: I. Instrucciones de programación de PROM y ROM - B3. Formato de cinta de papel hexadecimal no Intellec, C1. Formato de tarjeta perforada de computadora hexadecimal Intellec, C2. Formato de tarjeta perforada de computadora PN". Manual del usuario de MCS-80 (con introducción a MCS-85) . Intel Corporation . Octubre de 1977 [1975]. págs. 6–77 , 6–79 . 98-153D . Recuperado el 27 de febrero de 2020 . (Nota: Se utiliza el término "datos irrelevantes" para referirse a rangos de direcciones en chips de memoria programables que no necesitan contener un valor específico y, por lo tanto, pueden permanecer sin definir en las instrucciones de programación).