f: BnB
dynamischer Hazard
Unerwünschtes, zeitlich begrenztes Flimmern vor Änderung des Funktionswertes:
Wenn bei f (a) f (b)
ein Flimmern beim Schalten auftritt,
d.h. das Ausgangssignal soll sich tatsächlich ändern,
die Veränderung stellt sich aber erst nach einem gewissen Flimmern ein.
statischer Hazard
f behalte beim Übergang von a nach b seinen Wert,
d.h. f (a) = f (b).
Unerwünschte Änderung des Funktionswertes bei Inputänderung:
Wenn es ein c gibt, das mit a und b an gemeinsamen xi übereinstimmt
und
mit a gerade ka Literale,
mit b gerade kb Literale gemeinsam hat,
ka + kb > n
und wenn gilt: f (c) f (a).
Beispiel
statischer Hazard für f (x)
= x1 x3 + x2 ¬x3
a = 110, b = 101, c = 100
mit ka = kb = 2
f (a) = f (b) = 1; f (c) = 0.
Skizze:
|