Termin „nie przejmuj się”.

W logice cyfrowej termin „nie przejmuj się” (w skrócie DC , historycznie znany również jako redundancje , nieistotności , opcjonalne wpisy , nieprawidłowe kombinacje , puste kombinacje , zabronione kombinacje , nieużywane stany lub reszty logiczne ) dla funkcji to sekwencja wejściowa ( ciąg bitów), dla których wyjście funkcji nie ma znaczenia. Dane wejściowe, o których wiadomo, że nigdy nie wystąpią, to warunek, który nie może się zdarzyć . Oba te typy warunków są traktowane w ten sam sposób w projektowaniu logiki i mogą być określane zbiorczo jako warunki „nie przejmuj się zwięzłością”. Projektant układu logicznego do realizacji funkcji nie musi przejmować się takimi wejściami, ale może dowolnie dobrać wyjście układu, zwykle tak, aby powstał najprostszy układ ( minimalizacja ).

Terminy „nie przejmuj się” są ważne do rozważenia przy minimalizowaniu projektowania obwodów logicznych, w tym metod graficznych, takich jak mapy Karnaugha – Veitcha i metod algebraicznych, takich jak algorytm Quine – McCluskey . W 1958 roku Seymour Ginsburg udowodnił, że minimalizacja stanów maszyny o skończonych stanach z warunkami obojętności niekoniecznie prowadzi do minimalizacji elementów logicznych. Bezpośrednia minimalizacja elementów logicznych w takich obwodach była niepraktyczna obliczeniowo (dla dużych systemów) przy mocy obliczeniowej dostępnej dla Ginsburga w 1958 roku.

Przykłady

Nie przejmuj się warunkami, aby uzyskać minimalny obwód
ba prąd stały	00	10
00	1	1
01	0	1
11	0	1
10	1	1

Mapa Karnaugh dla dolnego lewego segmentu
ba prąd stały	00	01	11	10
00	1	0	0	1
01	0	0	0	1
11	X	X	X	X
10	1	0	X	X

Cyfry na wyświetlaczu 7-segmentowym
ba prąd stały	00	01	11	10
00
01
11
10

Przykładami terminów „nie przejmuj się” są wartości binarne od 1010 do 1111 (od 10 do 15 w systemie dziesiętnym) dla funkcji, która przyjmuje wartość dziesiętną kodowaną binarnie (BCD), ponieważ wartość BCD nigdy nie przyjmuje takich wartości (tzw . -tetrady ); na rysunkach układ obliczający lewy dolny pasek wyświetlacza 7-segmentowego można zminimalizować do a b + a c poprzez odpowiedni dobór wyjść układu dla dcba = 1010…1111 .

Rejestry tylko do zapisu , często spotykane w starszym sprzęcie, są często konsekwencją nieobojętnych optymalizacji w kompromisie między funkcjonalnością a liczbą niezbędnych bramek logicznych.

Stany obojętności mogą również wystąpić w schematach kodowania i protokołach komunikacyjnych .

wartość X

„Nie obchodzi mnie to” może również odnosić się do nieznanej wartości w wielowartościowym systemie logicznym, w którym to przypadku może być również nazywane wartością X lub nie wiem . W języku opisu sprzętu Verilog takie wartości są oznaczone literą „X”. W VHDL takie wartości są oznaczane (w standardowym pakiecie logicznym) literą „X” (wymuszona niewiadoma) lub literą „W” (nieznana słaba).

Wartość X nie istnieje w sprzęcie. W symulacji wartość X może wynikać z tego, że dwa lub więcej źródeł jednocześnie steruje sygnałem lub nie osiągnięto stabilnego wyjścia przerzutnika . Jednak w syntezowanym sprzęcie rzeczywista wartość takiego sygnału będzie wynosić 0 lub 1, ale nie będzie można jej określić na podstawie wejść obwodu.

Stany włączenia

Dalsze rozważania są potrzebne dla obwodów logicznych, które wymagają sprzężenia zwrotnego . To znaczy te obwody, które zależą od poprzedniego wyjścia (wyjść) obwodu, jak również jego bieżących zewnętrznych wejść. Takie obwody mogą być reprezentowane przez maszynę stanów . Czasami możliwe jest, że niektóre stany, które nominalnie nie mogą się wydarzyć, mogą zostać przypadkowo wygenerowane podczas włączania obwodu lub w wyniku przypadkowych zakłóceń (takich jak promieniowanie kosmiczne , szum elektryczny lub ciepło). Jest to również nazywane wprowadzaniem zabronionym . W niektórych przypadkach nie ma takiej kombinacji wejść, która mogłaby opuścić maszynę stanową i przejść do normalnego stanu operacyjnego. Maszyna pozostaje w stanie włączenia lub może być przenoszona tylko między innymi stanami, które nie mogą się zdarzyć w otoczonym murem ogrodzie stanów. Jest to również nazywane blokadą sprzętową lub błędem programowym . Takie stany, chociaż nominalnie nie mogą się zdarzyć, nie są obojętne, a projektanci podejmują kroki, aby upewnić się, że naprawdę nie mogą się zdarzyć, lub jeśli się zdarzają, tworzą nie alarm t-care wskazujący stan awaryjny w celu wykrycia błędu lub są przejściowe i prowadzą do normalnego stanu pracy.

Zobacz też

Notatki

Dalsza lektura

Binder, Robert V.; Beizer, Borys (2000). Testowanie systemów obiektowych: modele, wzorce i narzędzia . Addison-Wesley Object Technology Series (ilustrowana przerobiona red.). Addison-Wesley Professional . ISBN 978-0-20180938-1 . ISBN 0-20180938-9 . Źródło 2020-08-05 . (1191 stron)
„Rozdział 6. Arkusz danych komponentów systemu mikrokomputerowego - EPROM i ROM: I. Instrukcje programowania PROM i ROM - B3. Format taśmy papierowej Hex firmy innej niż Intellec, C1. Format kart dziurkowanych Intellec Hex, C2. Format kart dziurkowanych PN” . Podręcznik użytkownika MCS-80 (ze wprowadzeniem do MCS-85) . Firma Intel . Październik 1977 [1975]. s. 6–77, 6–79. 98-153D . Źródło 2020-02-27 . [16] [17] (Uwaga. Używa terminu „don't care” danych dla zakresów adresów w programowalnych układach pamięci, które nie muszą zawierać określonej wartości, a zatem mogą pozostać niezdefiniowane w instrukcjach programowania.)