Multiplikation

Ja Modelsim meckert das an wenn was größeres als int rauskommt. Wie man 
das umgeht weiß ich leider auch nicht :(
Wenn der Zieloperand entsprechend breit gewählt ist kann er ja nicht 
überlaufen, aber du kannst ja testen ob z.b. das oberste Bit gesetzt ist

ja was ich nicht verstehe. wenn du für OPERAND_WIDTH 32 annimmst, kommt 
doch da nicht -2147483648 raus wie ModelSim sagt, sondern das richtige. 
habe das auch ausprobiert indem ich das negative weg lasse, und nur den 
positiven teil lasse. da kam die selbe fehlermeldung. was soll das? bzw. 
heißt das ich kann diese warning unbesorgt ignorieren.

ja meine operanden sind 32 bit. aber ich kann nur 32 bit ergebnisse 
gebrauchen. sollte das ergebnis da nicht rein passen, setzt ich eine 
error leitung high, und der fall ist für mich erledigt. d.h. dazu muss 
ich aber wissen ob das ergebnis auch eine 32 bit zahl ist. deswegen 
wollte ich so die überprüfung machen.
nur ich versteh eben die model sim warning nicht. wenn ich nämlich nicht 
den term hinschreiben, sondern selbst die grenzen für 32 bit integer 
ausrechne und die hinschreibe, dann mekert es nicht. also was stört das 
tool?

inGoogleITrust schrieb:
> ja meine operanden sind 32 bit. aber ich kann nur 32 bit ergebnisse
> gebrauchen. sollte das ergebnis da nicht rein passen, setzt ich eine
> error leitung high, und der fall ist für mich erledigt. d.h. dazu muss
> ich aber wissen ob das ergebnis auch eine 32 bit zahl ist. deswegen
> wollte ich so die überprüfung machen.
> nur ich versteh eben die model sim warning nicht. wenn ich nämlich nicht
> den term hinschreiben, sondern selbst die grenzen für 32 bit integer
> ausrechne und die hinschreibe, dann mekert es nicht. also was stört das
> tool?

Was das tool in dem Fall stört weiß ich wie gesagt nicht. Aber wenn das 
dein Ziel ist, solltest du den Weg ld(op1) + ld(op2) <= 32 gehen.

1

variable op1, op2 : std_logic_vector(31 downto 0);

2

variable oplen1, oplen2 : integer range 0 to 31 := 0;

3

...

4

for i in 0 to 31 loop

5

    if (op1(i) = '1') then

6

        oplen1 := i+1;

7

    end if;

8

    if (op2(i) = '1') then

9

        oplen2 := i+1;

10

    end if;

11

end loop;

12

13

if (oplen1 + oplen2 > 32) then

14

    error <= '1';

15

end if;

Der Algorithmiker in mir sagt, dass das aber auch in logarithmischer 
Zeit ginge (ich probiere das später mal aus was raus kommt):

Wiederhole bis Vektorlänge = 1:

- Teile den Vektor in 2 Hälften
- Wenn linke Hälfte != 0, setze neuerVektor = linke Hälfte, andernfalls 
neuerVektor = rechte Hälfte
- Vektor = neuerVektor

Sich dabei immer den aktuellen Indexbereich merken und am Ende + 1.

Würde ich so nicht machen. Ich denke Resourcenschonender ist es wirklich 
die 32Bit Operanden in ein 32Bit Register zu multiplizieren wenn die 
vorherige Prüfung Ln2(Op1) + Ln2(Op2) <= 32 ergibt. Beides läuft in 
paralell ab und du führst ein Overflow Signal mit raus und akzeptierst 
das Resultat nur dann als gültig wenn Overflow FALSE ist. Vorteil wäre 
es dann das die Multiplikation und die Overfow Prüfung unabhängig 
voneinander laufen, was wieder den max. machbaren Taktraten zugute 
kommt.


Gruß Hagen

Dh. mathematisch ausgedrückt -> R = (A * B) mod 2^32 mit R,A,B jeweils 
32 Bit unsigned. Overflow = Ln2(A) + Ln2(B) > 32 mit Overflow = Boolean.

Bezieht sich aber erstmal alles nur auf vorzeichenlose Ganzzahlen !

Gruß Hagen

@Lothar:

er ist nicht an einer echten 32x32 Mul interessiert, also nicht R = A*B 
div 2^32 sondern an R = A*B mod 2^32. Schätze sein Design verarbeitet 
32Bit Operanden und Resultate per Default und i.A. stehen da drinnen 
keine vollen 32Bit Zahlen und wenn möchte er nur erkennen ob ein 
Überlauf auftrat.

Er könnte auch eine echte 32x32=64'er MUL implementieren, nur die 
untersten 32Bit landen im Resultat und Overflow ist gleich oberste 32Bit 
<> 0.

Gruß Hagen

also ich habe es jetzt so gelöst. multipliziere die beiden zahlen in ein 
64 bit register. danach schau ich mir die obersten 32 bit an, wenn die 
ungleich null sind, muss ein überlauf passiert sein, und ich setzte 
meiner error leitung high. fertig. glaub das ist das einfachste.