Elimination struktureller Hazards

Wissenschaft Informatik
#1

Hallo! Ich bräuchte mal wieder euren Rat!
Und zwar geht es um folgende Aufgabe:

Gegeben sei die Funktion f=a ^ b v |a ^ c ^ d
|= NICHT
^=AND
v=OR

a)
Zeichnen Sie das KV-Diagramm für f. Geben sie zwei Eingabebelegungen an, bei deren Wechsel ein struktureller 1–Hazard auftreten kann.

Ok, also ich hab die Funktion mit disjuktiv ins KV-Diagramm eingetragen. Leider treten dann da nur 2 1en auf! Und struktureller 1-Hazard bedeutet ja, das am Ende eine 1 am Ausgang liegen soll. Aber mit nur 2 1en gib es auch keine Übergänge, mit denen ich eventuell auftretende Hazards beseitigen könnte!

Heißt das jetzt, das es keinen strukturellen 1-Hazard gibt, oder muss ich z.B. statt der disjuktiven Eintragung im KV-Diagramm die konjunktive Eintragung wählen?

Wer kann mir bei dieser Aufgabe helfen?

Vielen Dank.
Gruß, Ralf

#2

Hallo Ralf,

Hallo! Ich bräuchte mal wieder euren Rat!
Und zwar geht es um folgende Aufgabe:

Gegeben sei die Funktion f=a ^ b v |a ^ c ^ d
|= NICHT
^=AND
v=OR

a)
Zeichnen Sie das KV-Diagramm für f. Geben sie zwei
Eingabebelegungen an, bei deren Wechsel ein struktureller
1–Hazard auftreten kann.

Die Einsen liegen bei:
a b c d
1 1 x x ; Term 1
0 x 1 1 ; Term 2

Ok, also ich hab die Funktion mit disjuktiv ins KV-Diagramm
eingetragen. Leider treten dann da nur 2 1en auf! Und
struktureller 1-Hazard bedeutet ja, das am Ende eine 1 am
Ausgang liegen soll. Aber mit nur 2 1en gib es auch keine
Übergänge, mit denen ich eventuell auftretende Hazards
beseitigen könnte!

Die Hazards treten immer dann auf, wenn zwischen den Termen umgeschaltet wird:

In deinem Fall bei
a =0/1

Praktisch musst du immer bedenken, dass Gatter Laufzeiten haben, somit benötigt jede Operation auch Zeit.

Jetzt darfst du selber weiterdenken :wink:

Falls du die Lösung hast oder das Problem immer noch nicht findest, poste hier nochmals.

MfG Peter(TOO)

#3

Danke für deine Hilfe…

Die Einsen liegen bei:
a b c d
1 1 x x ; Term 1
0 x 1 1 ; Term 2

Also mein KV-Diagramm sieht folgendermaßen aus:
a |a |a a
d 0 0 1 0 |b
d 0 0 0 0 b
|d 1 0 0 0 b
|d 0 0 0 0 |b
|c |c c c

die Funktion war ja f=a^b v |a ^ c ^ d

also bekomm ich doch nur eine 1 bei a UND b (also die links unten)
und eine bei a UND c UND d.

Denn wenn ich doch z.b. a UND b sage, dann meine ich nicht z.B. a UND b UND c UND d, wie es in deinem Diagramm in der ersten Zeile (1 1 x x) zu sein scheint. Oder liege ich jetz völlig daneben?
Gruß, Ralf

#4

Hallo Ralf,

Die Einsen liegen bei:
a b c d
1 1 x x ; Term 1
0 x 1 1 ; Term 2

Also mein KV-Diagramm sieht folgendermaßen aus:
 a |a |a a 
d 0 0 1 0 |b
d 0 0 0 0 b
|d 1 0 0 0 b
|d 0 0 0 0 |b
 |c |c c c

die Funktion war ja f=a^b v |a ^ c ^ d

also bekomm ich doch nur eine 1 bei a UND b (also die links
unten)
und eine bei a UND c UND d.

Genau hier (in der vorigen Zeile) hast du jetzt etwas wichtiges weggelassen !!!

Denn wenn ich doch z.b. a UND b sage, dann meine ich nicht
z.B. a UND b UND c UND d, wie es in deinem Diagramm in der
ersten Zeile (1 1 x x) zu sein scheint. Oder liege ich jetzt
völlig daneben?

x besagt, dass dieser Eingang jeden möglichen Wert annehmen kann, ohne einen Einfluss auf das Resultat zu haben. Also er wird im Term rausgekürzt.
In deinem Fall kann man
a UND b
auch als
a UND b UND (c ODER |c) UND (d ODER |d)
schreiben, was mathematisch das selbe ist.

Der Preis im Laden für 3 Flaschen Cola errechnet sich aus der Anzahl Flaschen und dem Preis pro Flasche, ob die Sonne scheint oder obs regnet spielt dabei keine Rolle !!

MfG Peter(TOO)

#5

Hallo Ralf,

Die Einsen liegen bei:
a b c d
1 1 x x ; Term 1
0 x 1 1 ; Term 2

Also ich habs jetz nochmal versucht. Aber ich komme nicht auf die 4 1sen. mein KV-Diagramm sieht jetzt folgendermaßen aus:

  • a |a |a a
    d 0 0 1 0 |b
    d x 0 x x b
    |d 1 0 0 x b
    |d 0 0 0 0 |b
  • |c |c c c

Ich versteh nicht, warum z.B. a ^ b nicht nur genau an der Stelle im KV-Diagramm sein soll, wo a und b sich kreuzen!?!
Ok, jetz hab ich auch mal die Xse eingetragen, weil es nach deiner Aussage ja z.B. korrekt wär, wenn ich sage a ^ b = a ^b ^c = a ^ b ^d, ok?

Analog hab ich die Xsen für |a ^ x ^ d eingetragen.

Gruß, Ralf

#6

Hallo Ralf,

Die Einsen liegen bei:
a b c d
1 1 x x ; Term 1
0 x 1 1 ; Term 2

Ich versteh nicht, warum z.B. a ^ b nicht nur genau an der
Stelle im KV-Diagramm sein soll, wo a und b sich kreuzen!?!

Du bist recht unflexibel !!

Was ich geschrieben habe ist kein KV sondern die Wahrheitstabelle für die beiden Terme !!!

MfG Peter(TOO)

#7

Ok, nochmal Danke für deine Antwort!

Also wäre die richtige Vorgehensweise:
erst Tabelle, dann KV-Diagramm.

Um das KV-Daigramm komm ich laut Aufgabenstellung nunmal nicht herum.
Gruß, Ralf

#8

Hallo Ralf,

Also wäre die richtige Vorgehensweise:
erst Tabelle, dann KV-Diagramm.

Nein. So wie ich das sehe hast du noch überhaupt nichts verstanden.
Es gibt nicht EINE richtige Vorgehensweise, aber es gibt nur eine richtige Lösung für die Aufgaben.

Um das KV-Daigramm komm ich laut Aufgabenstellung nunmal nicht
herum.

Das KV ist EINE Aufagbe.

Wie du die anderen löst ist ja nicht vorgeschrieben.
Aber mit der Wahrheitstabelle sollte dir eine der anderen Lösungen direkt ins Auge springen !!

Vielleicht hilft dir das etwas weiter:
http://rosw.cs.tu-berlin.de/lehre/leds/le2/uebungen/…

MfG Peter(TOO)