Festpunktarithmetik-Frage

Irgendwie steh ich gerade auf dem Schlauch ...

ich hab folgendes:

1

signal a : signed(63 downto 0);

2

signal b : signed(17 downto 0);

3

signal c : signed(17 downto 0);

4

5

...

6

7

a <= a + b * c;

macht das ein Synthesewerkzeug eigentlich richtig, dass es das Bit17 auf 
die (nicht vorhandenen) Bits (63 downto 18) erweitert und dann erst auf 
das a aufaddiert?

Viele Dank für Hilfe!

Schöne Grüße,
GastGast