BSV: Wertmethoden vs. Aktionsmethoden & Aktionswertmethoden

[CryNickSystems]

Moin,

kurze Frage zu den Methoden in BSV:

Auf Folie 23 im Foliensatz zu Bluespec steht, Wertmethoden können lokale Zwischenwerte berechnen und mit "=" einer Variablen zuordnen.

Das steht bei den Aktionsmethoden und Aktionswertmethoden nicht dabei, allerdings funktioniert die Zuweisung dort zu lokalen Zwischenwerten auch.

Was stimmt denn nun? Ist das ein Fehler auf den Folien?

Danke.

[Fabian Czappa]

Hay,

da gilt ex falso quodlibet. Sozusagen ein Fehler von dir bzw. deinen angewandten Logikkenntnissen
Praktisch alles kann einen lokalen Zwischenwert berechnen, da dieser in den meisten Fällen die Hardware nicht verändert und nur zur besseren Lesbarkeit ist.

Viele Grüße
Fabian

[CryNickSystems]

Ich sage ja nur, dass das explizite Nichtaufzählen der Möglichkeit zur Speicherung bzw. Verwendung von lokalen Zwischenwerten meines Erachtens impliziert, dass das nur bei den Wertmethoden möglich sei.

[Fabian Czappa]

Dann musst du in AuP bwz. Mathe 1 aufpassen, A => B ist nicht äquivalent zu !A => !B, sondern zu !B => !A.