Hallo Hier wie versprochen die Algorithmen zu Blatt 4. Grüße Tobias Nopper
Forum: Verifikation, Zuverlässigkeit und Test WS 2006/07

Hi Auf gibt es die aktuellen Folien; die Folien auf der Homepage werde ich wieder entfernen, da es im Endeffekt doppelte Datenhaltung ist. Morgen gibt es wie üblich 2 Stunden Vorlesung, danach eine etwas längere Übung; notfalls verschieben wir Aufgaben auf das nächste Mal. Ich werde rechtzeitig zum Sommermärchen abbrechen. ;) Grüße Tobias Nopper
Forum: Verifikation, Zuverlässigkeit und Test WS 2006/07

Hi Prof. Scholl was in the US last week, thus there was no lecture. Greetings Tobias Nopper
Forum: Verifikation, Zuverlässigkeit und Test WS 2006/07

Ok, stimmt. In einer älteren Version war es noch ein C-Programm, ich habe vergessen, den Text in der Aufgabe anzupassen.
Forum: Verifikation, Zuverlässigkeit und Test WS 2006/07

Hallo, hiermit eröffne ich das Forum zur Vorlesung "Verifikation, Zuverlässigkeit und Test I" im Wintersemester 2006/7. Das Forum kann von jedem genutzt werden, bedarf allerdings einer Anmeldung (Link "Log In"). Es ist dazu gedacht, Fragen zu stellen und Informationen auszutauschen; weiter versuche ich bei Unklarheiten in der Vorlesung oder in den Übungsaufgaben zu helfe
Forum: Verifikation, Zuverlässigkeit und Test WS 2006/07

Hallo Die Ergebnisse der Nachklausur sind ab sofort über das Prüfungsamt abrufbar. Die Klausureinsicht findet am Montag, den 10.4., 10:00-11:00 im Raum 051-01-031 statt. Gruesse Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hi @Kuckuck Das rechteste Bauteil in Abb. 1 ist ein "NOR2". Analog zu "AND2"/"NAND2" liefert ein "NOR2" das Negierte eines "OR2"-Gatters (siehe auch Aufgabenstellung). Grüße Tobias Nopper
Forum: Technische Informatik WS 2005/06

Hi Sorry, ich habe zwar extra die Klausur-Liste angeschaut, KI aber offentlichlich uebersehen. Die Klausureinsicht findet dementsprechend am Dienstag, den 13.9. 14:00-16:00 in Raum 051-01-031 statt. Gruesse Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hallo Die Resultate der Klausur findet ihr unter , die Klausureinsicht ist Dienstag, den 13.9. 14:00-16:00 in Raum 051-01-031. Gruesse Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hi Derzeit können wir leider noch nicht die Noten direkt eintragen, sondern nur über das Prüfungsamt (die "Prüferfunktion" ist noch nicht komplett einsatzbereit, das wird hoffentlich ab nächsten Semester anders sein). Daher werden die Noten erst auf unserer Homepage veröffentlicht sowie in Papierform am Lehrstuhl ausgehängt. Das Prüfungsamt erhält die Noten erst nach Klausureinsicht.
Forum: Rechnerarchitektur SS 2005

Hi Schau Dir die Folien nochmal an; die Pipeline wird üblicherweise mit den Befehlen, die wahrscheinlich als nächstes ausgeführt werden, gefüllt (erinnere Dich an die Automaten) und bei Bedarf wieder geleert. Oder meinst Du die Maschinen, die nach einem Sprungbefehl auf jeden Fall den folgenden (oder sogar die folgenden zwei) Befehl(e) ausführen? Grüße Tobias
Forum: Rechnerarchitektur SS 2005

Hi Ein wenig "Blabla" wird bestimmt dabei sein, der Fokus wird aber auf Rechenaufgaben liegen. Grüße Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hi Also ein U ohne vorhergehendes A oder E geht nicht (siehe Übungsblatt). Du meinst wahrscheinlich: AG( A((a ^ !b)v(!a ^ !b))U((b ^ !a)v(!a ^ !b)) v A((b ^ !a)v(!a ^ !b))U((a ^ !b)v(!a ^ !b)) ) Da ((a ^ !b)v(!a ^ !b)) == !b und ((b ^ !a)v(!a ^ !b)) == !a, kannst Du kurz schreiben: AG( A(!b)U(!a) v A(!a)U(!b) ) Gegenbeispiel: Betrachte folgenden Automaten: a -> a -> a -&
Forum: Rechnerarchitektur SS 2005

Hi Von vorne: @Wolfgang: Das letzte Kapitel ist durchaus klausurrelevant, wie der komplette in der Vorlesung behandelte Stoff. @Pablo: Uff... ich glaube nicht, daß ich das noch schaffe, aber ich schau mal. @jimbo: Ich wundere mich auch, daß das Protokoll teils wortwörtlich die Aufgabenstellung widergibt, die Programme aber fehlen. Ihr könnt euch ja aber recht einfach *irgendein* Prog
Forum: Rechnerarchitektur SS 2005

Hi Nein, die Musterlösungen sind nicht verfügbar. Prinzipell gab es sie aber durch das Vorrechnen in den Übungen. Grüße Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hi Hypercubes sind nicht der einzige Weg, man kann auch KV- bzw. Karnaugh-Diagramme und Wahrheitstabellen nehmen (wurde in den Übungen und in diesem Forum gesagt). Falls eine Aufgabe mit Logikminimierung drankommt, werde ich aber sicher entsprechende Hypercubes zur Verfügung stellen. Grüße Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hallo Diesen Donnerstag ist nochmal einstündig Vorlesung (von 14:00 (ct!) bis etwa 15:00), danach finden die üblichen Übungsstunden - auf eine Stunde gekürzt - statt. Grüße Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hallo Eine Sammlung aller Anwesenheitsübungen steht ab sofort an der für Übungsaufgaben üblichen Stelle zur Verfügung. Grüße Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hi Argh - Sorry! Hier jetzt auch noch die Schaltung aus Aufgabe 1: PDF: EPS: FIG: Grüße Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hi Nein, ausgeschlossen sind sie natürlich nicht; solch eine Einschränkung würde ja nicht viel Sinn machen. (Auch wenn man _eigentlich_ mit MUXen alles machen könnte). Grüße Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hi In der Aufgabe steht klipp und klar: "Sie können auch Multiplexer sowie fix auf einem Wert liegende Signale verwenden". "können", nicht "müssen". Grüße Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hi Ja, für die 1-Adress-Maschine hat man kein zusätzliches Register zur Verfügung. Und ja, f darf benutzt werden. (das mit dem temporär a-e würde ich gerne mal sehen ;) ) Zum Stack: In der Vorlesung wurde das nicht definiert, daher sind _beide Sichtweisen_ korrekt. Wenn ihr nett sein wollt, schreibt ihr kurz zu der Aufgabe, welche Version ihr verwendet habt, damit die Tutoren einen leichter
Forum: Rechnerarchitektur SS 2005

Hi Zur a): Ja, es sind mehr single-stuck-at-Fehler möglich als es Stellen gibt, wo diese auftreten können. Zur b): Es ist immer wichtig, einen _Unterschied_ an einen Ausgang zu propagieren. Ob das nun ein D oder ein ¬D ist, ist dabei völlig egal. Grüße Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hi Kann ich, aber vorsicht, die Grafik muß als LaTex exportiert und per \input{027-as.latex} eingebunden werden, da ich dort special-Tags für die mathematischen Zeichen verwendet habe. Grüße Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hallo In der ersteren Aufgabe wurde nicht verlangt, daß Du Hypercubes malst; in den Übungen wurde gezeigt, daß es mit Wahrheitstabellen, KV-Diagramme o.ä. ebensogut geht. Bei der zweiteren Aufgabe war es mir sehr wichtig zu zeigen, daß der Algorithmus nach einem Schleifendurchlauf der noch nicht das Optimum gefunden hat. Mit kleineren Beispielen ist das nicht möglich. Grüße Tobias Nop
Forum: Rechnerarchitektur SS 2005

Hi Ja, ze und sp sind allein durch die Funktion und die "Partition" bestimmt. Gruesse Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hi Um die Aufgabe nochmal _ganz_ deutlich hinzuschreiben: Gesucht ist die _am wenigsten einschränkende_ Ungleichung, für die die folgende Aussage gilt: "Für alle Funktionen f gilt: Wenn <Ungleichung> erfüllt ist, dann existiert eine nichttriviale Zerlegung von f". Grüße Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hi Na, das macht ja keinen Sinn. Die Gewichtung einer Kante repräsentiert die Anzahl der Leitungen zwischen den beiden Knoten/Modulen; ich habe noch nie Module gesehen, die durch eine negative Anzahl Leitungen verbunden ist. Die Gewichtungen müssen alle >=0 sein. Grüße Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hi Ok, Tip: Ich habe ein Beispiel mit acht Knoten konstruiert. Ich glaube nicht, daß es ein Beispiel mit sechs Knoten gibt, lasse mich notfalls aber überzeugen. ;) Grüße Tobias Nopper
Forum: Rechnerarchitektur SS 2005

Hallo In den Folien zur Vorlesung steht "bestimme eine „ungefähr gleichgroße“ Anfangsaufteilung". Wir beschränken uns aber üblicherweise auf eine gerade Anzahl Knoten und auf zwei Teilmengen, die genau gleich groß sind. Wenn es eine ungerade Anzahl Knoten gibt, so hat eine Menge genau ein Element mehr als die andere; dieser Fall kommt aber bei uns nicht vor. Grüße Tobias Nop
Forum: Rechnerarchitektur SS 2005