Término que no importa

En lógica digital , un término de no importa ^{[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 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 ocurre es un término de no puede suceder . ^{[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 importa para abreviar. ^[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 modo que el circuito resultante sea el más simple, más pequeño, más rápido o más barato ( minimización ) o se minimice el consumo de energía. ^{[15] [16]}

Los términos de no importa son importantes de considerar al 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 estados de una máquina de estados finitos con condiciones de no importa no necesariamente produce una minimización de elementos lógicos. La minimización directa de elementos lógicos en tales circuitos era computacionalmente impráctica (para sistemas grandes) con la potencia de cómputo disponible para Ginsburg en 1958. ^[17]

Dígitos en pantalla de 7 segmentos

licenciado en Letras corriente continua	00	01	11	10
00
01
11
10

Ejemplos de términos que no importan 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 (las llamadas pseudo-tetradas ); 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 de circuito para dcba = 1010…1111 .

Los registros de solo escritura , como los que se encuentran frecuentemente en hardware antiguo, suelen ser una consecuencia de optimizaciones indiferentes en el equilibrio entre la funcionalidad y la cantidad de puertas lógicas necesarias. ^[18]

Los estados de no importancia también pueden ocurrir en esquemas de codificación y protocolos de comunicación . ^{[nb 1]}

"No 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 sé " . ^[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 hardware no existe un valor X. En 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 se podrá determinar a partir de las entradas del circuito. ^[20]

Se necesitan consideraciones adicionales para circuitos lógicos que involucran alguna retroalimentación . Es decir, aquellos circuitos que dependen de la(s) salida(s) anterior(es) del circuito así como de sus entradas externas actuales. Tales circuitos pueden ser representados por una máquina de estados . A veces es posible que algunos estados que nominalmente son condiciones que no pueden 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 llama entrada prohibida . ^[21] En algunos casos, no hay ninguna combinación de entradas que pueda salir de la máquina de estados a un estado operativo normal. La máquina permanece atascada en el estado de encendido o puede moverse solo entre otros estados que no pueden suceder en un jardín amurallado de estados. Esto también se llama bloqueo de hardware o error de software . Estos estados, aunque nominalmente no pueden suceder, no son de indiferencia, y los diseñadores toman medidas para garantizar que realmente no puedan suceder, o bien, si suceden, crean una alarma de indiferencia que indica un estado de emergencia ^[21] para la detección de errores , o son transitorios y conducen a un estado operativo normal. ^{[22] [23] [24]}

• Tabla de decisiones
• Efecto secundario
• Evaluación de cortocircuito
• Descodificación de dirección incompleta
• Descodificación de código de operación incompleta
• 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). Prueba de sistemas orientados a objetos: modelos, patrones y herramientas. Serie de tecnología de objetos de Addison-Wesley (edición revisada e ilustrada). Addison-Wesley Professional . ISBN 978-0-20180938-1. ISBN 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 . Consultado el 27 de febrero de 2020 .[17][18] (NB. Se utiliza el término datos "no importa" para rangos de direcciones en chips de memoria programables que no necesitan contener un valor particular y, por lo tanto, pueden permanecer indefinidos en las instrucciones de programación).