Die Suche ergab 49 Treffer

von DanielSchoepe
24. Mai 2011 16:02
Forum: Archiv
Thema: Unterschiede zwischen iverilog und ISE
Antworten: 0
Zugriffe: 202

Unterschiede zwischen iverilog und ISE

Hallo, einem Kommilitonen und mir sind bei einer Hausübung zwei verblüffende Unterschiede zwischen iverilog und ISE aufgefallen, die andere iverilog-Nutzer hier vielleicht auch interessieren dürften: 1) Nutzt man den ternären ?-:-Operator bei einer Konkatenation, so muss man bei ISE bei beiden Alter...
von DanielSchoepe
7. Apr 2011 16:51
Forum: Archiv
Thema: Klausurergebnisse und Einsicht
Antworten: 118
Zugriffe: 5614

Re: Klausurergebnisse und Einsicht

Ich würde mich ebenfalls über eine PN freuen (wahrscheinlich können wir die Listen doch aber ohnehin erst morgen einsehen, da man um 20:00 nicht mehr so leicht in den B-Trakt kommen dürfte).
von DanielSchoepe
22. Jan 2011 11:46
Forum: Archiv
Thema: 4. praktische Übung
Antworten: 14
Zugriffe: 1188

Re: 4. praktische Übung

irgendwie funktioniert der Workaround für Java 6 nicht mehr, schade :( Ist es denn schon auf den Poolrechnern installiert? Also bei mir funktioniert bei der Version von der Verifun-Seite immer noch das Rauspatchen der Überprüfung in der .sh-Datei (darauf achten, dass du deinen Editor daran hinderst...
von DanielSchoepe
21. Jan 2011 22:09
Forum: Archiv
Thema: 4. praktische Übung
Antworten: 14
Zugriffe: 1188

Re: 4. praktische Übung

Seltsamerweise funktioniert die Version, die man über die Verifun-Seite bekommt; die Version von der FGdI3-Seite aber nicht.

Edit: Voherigen Beitrag nicht gesehen.
von DanielSchoepe
7. Jan 2011 21:35
Forum: Archiv
Thema: [Hausübung] Wissensstand des Angreifers bei 4b
Antworten: 20
Zugriffe: 1544

Re: [Hausübung] Wissensstand des Angreifers bei 4b

.. das man zu einem vom Angreifer gewählten m nur mit dem öffentlichen Schlüssel eine dazugehörige korrekte Signatur generieren kann, dann hast du die b.) damit direkt erfüllt ;-) Ansonsten musst du dies halt in der b.) zeigen. Was meinst du mit vom Angreifer gewähltem m? Welches m herauskommt ist ...
von DanielSchoepe
29. Dez 2010 23:49
Forum: Archiv
Thema: [Hausübung] Wissensstand des Angreifers bei 4b
Antworten: 20
Zugriffe: 1544

[Hausübung] Wissensstand des Angreifers bei 4b

Ist der Angreifer bei besagter Aufgabe im Besitz des öffentlichen Schlüssels zu dem eine Signatur gefälscht werden soll? Alle Informationen die ich finden konnte besagen, dass es sich bei dem möglichen Wissen des Angreifers(key only-attack, known signature attack, chosen message attack) um eine Hier...
von DanielSchoepe
16. Nov 2010 21:24
Forum: Archiv
Thema: Uebung 4, Aufgabe 1
Antworten: 10
Zugriffe: 816

Re: Uebung 4, Aufgabe 1

Ich halte mind. einmal "ab" auch für die naheliegendste Interpretation, auch wenn die formal glaube ich auch nicht einwandfrei ist: So hätte man z.b. als Wort (a,(a,b),b) , was explizit geklammert (a,((a,b),b)) ist. Allerdings wäre das wort (a,a,b,b) explizit geklammert (a,(a,(b,b))) , also nicht da...
von DanielSchoepe
28. Okt 2010 22:00
Forum: Archiv
Thema: Übungs-, und Praktikumsgruppensuche WS 2010
Antworten: 46
Zugriffe: 2739

Re: Übungs-, und Praktikumsgruppensuche WS 2010

Ein Mitstudent und ich suchen auch noch einen oder zwei motivierte Mitstreiter für die Praktika. (Wir haben FGdI 1 und 2 auch mit guten Ergebnissen bestanden, ich habe schon ein wenig Erfahrung mit anderen Beweissystemen ). Bei Interesse bitte PN oder E-Mail an mich. EDIT: Hat sich erledigt, wir hab...
von DanielSchoepe
27. Okt 2010 19:32
Forum: Archiv
Thema: first class functions?
Antworten: 2
Zugriffe: 443

first class functions?

Da \mathcal{L} eine funktionale Sprache sein soll, sollte es ja möglich sein, Funktionen zu definieren die Funktionen als Argumente erhalten oder zurückgeben. Allerdings habe ich noch nicht herausfinden können wie dies zu bewerkstelligen ist. Die üblichen Notationen für Funktionstypen in den Argumen...
von DanielSchoepe
10. Apr 2010 17:18
Forum: Archiv
Thema: BEginn der Übungen
Antworten: 16
Zugriffe: 1477

Re: BEginn der Übungen

Aber die Seite des Veranstalters lesen könnt ihr schon, oder? 07.04.2010 Die erste Vorlesung findet am Montag, den 12.04.2010 statt. Die ersten Übungen finden am 21.04.2010 bzw. 22.04.2010 statt. Sie können sich vom 12.04.2010, 14 Uhr - 19.04.2010, 11 Uhr über EVS zu den Übungen anmelden. Ein Link ...
von DanielSchoepe
9. Feb 2010 22:09
Forum: Archiv
Thema: Gibt es eine Opcode-Tabelle in der Klausur
Antworten: 5
Zugriffe: 723

Gibt es eine Opcode-Tabelle in der Klausur

Auf der Veranstaltungsseite steht, dass wir als Hilfsmittel zur Klausur lediglich eine Verilog-Syntaxhilfe und eine Übersicht über die MIPS-Instruktionen haben werden. Allerdings finden sich im Buch Übungsaufgaben zur Umwandlung von Assembly zu Maschinencode und umgekehrt. Müssen wir daher die Opcod...
von DanielSchoepe
30. Nov 2009 21:02
Forum: Archiv
Thema: XILINK Testbench Fehler
Antworten: 4
Zugriffe: 386

Re: XILINK Testbench Fehler

Wie dir die Fehlermeldungen mitteilen, liegt der Fehler in counter.v, nicht in der Testbench.
von DanielSchoepe
10. Nov 2009 15:54
Forum: Archiv
Thema: Ü5 G4 wie?
Antworten: 11
Zugriffe: 769

Re: Ü5 G4 wie?

Zwar eigentlich für einen anderen Bereich aber das solltest du dennoch mal lesen(und anwenden!): http://catb.org/~esr/faqs/smart-questions.html
von DanielSchoepe
2. Nov 2009 23:14
Forum: Archiv
Thema: Fehler im Übungsblatt 4
Antworten: 2
Zugriffe: 354

Fehler im Übungsblatt 4

Im Übungsblatt 4 bei H2 (a) ist ein Fehler. Dort wird behauptet, dass \(\sin(x) = \sin(-x)\), was wohl \(\sin(-x) = -\sin(x)\) heißen sollte.
von DanielSchoepe
26. Okt 2009 20:48
Forum: Archiv
Thema: Übungslösung
Antworten: 6
Zugriffe: 458

Re: Übungslösung

Edit: Hier stand Unsinn.

Zur erweiterten Suche