Die Suche ergab 32 Treffer

von typ
6. Mär 2017 20:22
Forum: Archiv
Thema: Wohlfundierte Relation auf Herleitungen
Antworten: 6
Zugriffe: 999

Re: Wohlfundierte Relation auf Herleitungen

Hi,
auf der Folie "Deterministische Berechnung (8)" steht unten etwas dazu, was eventuell helfen könnte
Gruß
von typ
5. Mär 2017 17:24
Forum: Archiv
Thema: Unterschiedliche Pfeile
Antworten: 2
Zugriffe: 385

Re: Unterschiedliche Pfeile

Danke! :)
von typ
5. Mär 2017 17:08
Forum: Archiv
Thema: Unterschiedliche Pfeile
Antworten: 2
Zugriffe: 385

Unterschiedliche Pfeile

Hallo, ich wollte mal Fragen was es mit den Pfeilen auf sich hat. ⇓ bedeutet anscheinend, dass der linke Teil zum rechten Wert auswertet. → bedeutet anscheinend, dass der linkte Teil zum rechten Zustand führt. in Modul 8 sind die Pfeile aber anders: →1 und ⇒ findet man da. 'Wieso sind die Pfeile hie...
von typ
5. Mär 2017 16:59
Forum: Archiv
Thema: rift
Antworten: 4
Zugriffe: 431

Re: rift

Hallo, ich verstehe das so: 1) Das (abstrakte) Urteil von rift ist <c,σ>→σ′. 2) Die Konklusion und die Prämissen von rift sind (so wie sie bei dir stehen) Urteile. 3) Instanzen des Urteils wären (sorry ich kann latex nicht): <(a leq b),σ>⇓true <skip,σ>→σ′ ________________________________________ <if...
von typ
4. Mär 2017 11:27
Forum: Archiv
Thema: modul 4 folie 16
Antworten: 0
Zugriffe: 202

modul 4 folie 16

Hallo,
es dürfte sich in die Folie Backus-Naur-Form 2 ein Fehler eingeschlichen haben.
Die Sprache {cab, acb}*U{c} würde auch das Wort "cab acb" (ohne Leerzeichen) zulassen, in der Grammatik ist das nicht möglich.
Es müsste verändert werden in zB:
X::=Y|c
Y::=cabY|acbY|cab|acb
von typ
20. Feb 2017 16:22
Forum: Archiv
Thema: Bestandteile eines fpga
Antworten: 2
Zugriffe: 805

Bestandteile eines fpga

Hallo
Sind Eisen, Kupfer und Silizium drei wesentliche Bestandteile von FPGAs?

Eigentlich wollte ich mich bedanken, dass die Fragen in dem Forum hier sehr schnell noch kurz vor der Klausur beantwortet wurden :)
Gruß
von typ
20. Feb 2017 00:05
Forum: Archiv
Thema: Provisos
Antworten: 2
Zugriffe: 807

Re: Provisos

super, vielen dank
von typ
19. Feb 2017 23:52
Forum: Archiv
Thema: Provisos
Antworten: 2
Zugriffe: 807

Provisos

Hallo,
in Aufgabe 4 und in der Musterlösung der Provisos werden Variablen genutzt. Wo kommen die her? Welche Werte enthalten sie (vor allem someVal, und sO.V.)? Werden die in der Provisos erstellt?
Ich meine dabei resultBits, operandBits, someVal und someOtherVal.
Gruß
von typ
19. Feb 2017 23:32
Forum: Archiv
Thema: Dringlichkeit vs Frühzeitigkeit
Antworten: 3
Zugriffe: 934

Re: Dringlichkeit vs Frühzeitigkeit

@delete
von typ
18. Feb 2017 16:51
Forum: Archiv
Thema: let oder nicht let
Antworten: 1
Zugriffe: 587

let oder nicht let

in der musterlösung der übung 5 wird folgendes im ersten schritt gemacht:

Code: Alles auswählen

rule firstStage;
	let t = in.first(); in.deq();
	Vector#(3, Vector#(3,GrayScale)) c = unpack(pack(t));
	//...
endrule
c und t haben den gleichen scope. wann benutzt man also let und wann wird der typ ausgeschrieben?
von typ
18. Feb 2017 14:58
Forum: Archiv
Thema: Aktionen innerhalb Regel mit "let"
Antworten: 5
Zugriffe: 638

Re: Aktionen innerhalb Regel mit "let"

Soweit ich verstanden habe nutzt du =, wenn du einen Wert/eine Wertmethode zuweist.
Wenn du eine ActionValue#(Type) zuweist, nutzt du <-
von typ
18. Feb 2017 14:54
Forum: Archiv
Thema: Provisos
Antworten: 1
Zugriffe: 509

Provisos

Hallo, in der Beispielaufgabe 4 wird gefragt, welche Provisos benötigt werden. Auf der Reference Card sind diese nicht abgebildet. Dafür findet man diese im Reference Guide. Inwiefern müssen wir die Provisos für die Klausur kennen / Kann diese Aufgabe so ohne weitere Informationen in der Klausur ges...
von typ
11. Feb 2017 21:19
Forum: Archiv
Thema: Bluespec Simulationen belasten die Server
Antworten: 6
Zugriffe: 1253

Re: Bluespec Simulationen belasten die Server

man putty aber auch über die konsole öffnen: putty -load "TU Darmstadt" -m "C:\Users\typ\Desktop\bluespec\commandsGray.txt" in der textdatei befindet sich dann export BLUESPEC_HOME=/opt/bluespec export BLUESPECDIR=/opt/bluespec/lib export PATH=$PATH:/opt/bluespec/bin export LM_LICENSE_FILE=27002@lic...
von typ
10. Feb 2017 15:23
Forum: Archiv
Thema: Übung 3 - Interface
Antworten: 1
Zugriffe: 260

Übung 3 - Interface

Hallo, in Übung 3.2 wird ein Modul geschrieben, das das Interface FIFO implementiert. In der Musterlösung wird stattdessen das Interface MyFIFO implementiert. Ist es möglich das Interface aus der Bluespec Bibliothek zu implementieren? module myRingFIFO(FIFO); gibt aus: The type `FIFO' is applied to ...
von typ
6. Feb 2017 16:36
Forum: Archiv
Thema: Bluespec Simulationen belasten die Server
Antworten: 6
Zugriffe: 1253

Re: Bluespec Simulationen belasten die Server

Hallo, ich habe bluespec über putty in der kommandozeile ausgeführt. da funktioniert strg+c nicht, deshalb habe ich das komandozeilenfenster geschlossen. anscheinend läuft die simulation dann weiter :( . Wie kann ich die prozesse jetzt schließen? gibt es vielleicht einen befehl den man nach einer se...

Zur erweiterten Suche