if Abfrage others=>'0' nicht erlaubt

[René D. (Firma: www.dossmatik.de) (dose)]

 
   if mul_execute(mul_execute'high downto 1) /= (others=>'0') then

Ich will die Stelle universal schreiben und gegen ungleich 0 
vergleichen.
Die Bitbreite von mul_execute kann variieren. Ich wurde gerade belehrt, 
dass die Variante mit others an der Stelle nicht zulässig ist.

Bin auf Vorschläge gespannt.

[Joachim D. (Firma: JDCC) (scheppertreiber)]

Ok, GWBASIC ist es vermutlich eher nicht ...
Eine Geheinsprache ?

[Paul (Gast)]

Joachim Drechsel schrieb:
> Eine Geheinsprache ?

Ich glaube, dass soll irgendwann mal VHDL werden.

[troll (Gast)]

vhdl?

[René D. (Firma: www.dossmatik.de) (dose)]

troll schrieb:
> vhdl?

Ja vhdl soll es werden.

[Paul (Gast)]

René D. schrieb:
> if mul_execute(mul_execute'high downto 1) /= (others=>'0') then

Keine Ahnung, ob das überhaupt geht, aber woher soll die Synthese 
wissen, wie breit others=>'0' werden soll?

[Paul (Gast)]

Warte mal bis der Lothar kommt. Der wird es schon richten.

Aber vielleicht geht sowas :(17 downto 0 => '0')

[René D. (Firma: www.dossmatik.de) (dose)]

Paul schrieb:
> René D. schrieb:
>> if mul_execute(mul_execute'high downto 1) /= (others=>'0') then
>
> Keine Ahnung, ob das überhaupt geht, aber woher soll die Synthese
> wissen, wie breit others=>'0' werden soll?


es weiss doch wie breit das Signal auf der anderen Seite des 
Relationszeichen ist. Es kann nur gleichbreite Signale bewerten.

[Paul (Gast)]

Edit: 17 soll hier Deine Bit-Breite sein.

[René D. (Firma: www.dossmatik.de) (dose)]

> Aber vielleicht geht sowas :(17 downto 0 => '0')

     if mul_execute(mul_execute'high downto 1) /= (9 downto 1=>'0') then

Oh, das sieht gut aus. Geht erst einmal durch den Simulator.


Dann schreiben ich es erst einmal wie folgt.

   if mul_execute(mul_execute'high downto 1) /= (mul_execute'high downto 1=>'0') then

Lothar kann es bestimmt noch schöner schreiben.

[Fritz J. (fritzjaeger)]

René D. schrieb:
>

>    if mul_execute(mul_execute'high downto 1) /= (others=>'0') then
>

>
> Ich will die Stelle universal schreiben und gegen ungleich 0
> vergleichen.
> Die Bitbreite von mul_execute kann variieren. Ich wurde gerade belehrt,
> dass die Variante mit others an der Stelle nicht zulässig ist.
>
> Bin auf Vorschläge gespannt.

Type definieren und damit signal und constant

--....
  type t_mul_execute is std_logic_vector(17 downto 1);
  signal mul_execute  : t_mul_execute;
  constant c_all_zero : t_mul_execute := (others => '0');
--...
begin 

    if mul_execute /= c_all_zero then
--...

[user (Gast)]

also sowas geht

if mul_execute /= (mul_execute'range=>'0') then

oder auch so

if mul_execute /= 0 then

[René D. (Firma: www.dossmatik.de) (dose)]

user schrieb:
> also sowas geht
>
> if mul_execute /= (mul_execute'range=>'0') then


Es ist aber nicht die range. Bit 0 soll nicht überprüft werden.

> if mul_execute /= 0 then

Geht auch nicht. Weil mul_execute von type std_logic_vector ist. 0 ist 
vom type integer. Somit muss noch eine Typumwandlung erfolgen.

[Freddy (Gast)]

René D. schrieb:
> if mul_execute(mul_execute'high downto 1) /= (others=>'0') then

Prüfe doch einfach ob das Signal größer als 0 ist:
 if to_integer(unsigned((mul_execute(mul_execute'high downto 1))) > 0 
then

[Lothar M. (Firma: Titel) (lkmiller) (Moderator)]

René D. schrieb:
>> Keine Ahnung, ob das überhaupt geht, aber woher soll die Synthese
>> wissen, wie breit others=>'0' werden soll?
> es weiss doch wie breit das Signal auf der anderen Seite des
> Relationszeichen ist. Es kann nur gleichbreite Signale bewerten.
Könnte er wissen. Aber dafür müsste er eine implizite Annahme treffen. 
Aber der Synthesizer geht her und rechnet erst die linke, dann die 
rechte Seite aus, und danach vergleicht er die beiden. Und dabei tritt 
die Gretchenfrage auf: wie breit soll denn der Vektor denn überhaupt 
sein?
http://www.lothar-miller.de/s9y/archives/28-Vektor-Vergleich.html

[dired (Gast)]

if unsigned(mul_execute(mul_execute'high downto 1)) /= 0 then

finde ich die hübscheste variante

[Fritz J. (fritzjaeger)]

dired schrieb:
>

> 
> if unsigned(mul_execute(mul_execute'high downto 1)) /= 0 then
> 
>

>
> finde ich die hübscheste variante

Ich nicht,

da IMHO unnötige Konvertierung in einem haüfig benutzten IF-Zweig 
benutzt wird, macht die Simu langsamer.

Und falls das interne zahlenformat irgendwann geändet wird (Umstellung 
auf signed bei Re-Use) dann ist an x-Stellen der Code zu ändern.

Besser Constant statt magic numbers verwenden und mit einem Typ intern 
arbeiten und möglichst nur am Übergang zum Reallife nach/von 
std_logic_vector konvertieren.

MfG,

[Andi (loopy83)]

Was haltet ihr von

if or_reduce(mul_execute(mul_execute'high downto 1)) = 1 then

?

[Fritz J. (fritzjaeger)]

Andreas B. schrieb:
> Was haltet ihr von
>

> if or_reduce(mul_execute(mul_execute'high downto 1)) = 1 then
>

?

Von der Logik her passend -> Or-Gatter; einfacher gehts net.

VHDL-mäßig gibt es aber einiges zu meckern:
 -Welches package wird benutzt? ("use" fehlt, wahrscheinlich ist das 
reduce_Pack gemeint)
 - return type passt nicht. Gemeint ist wohl std_logic ('1'), benutzt 
ist aber integer (1).

MfG,

[Andi (loopy83)]

Hallo,

Fritz Jaeger schrieb:
> -Welches package wird benutzt? ("use" fehlt, wahrscheinlich ist das
> reduce_Pack gemeint)

USE ieee.std_logic_misc.ALL;

>  - return type passt nicht. Gemeint ist wohl std_logic ('1'), benutzt
> ist aber integer (1).
Korrekt - in der Schnelle die '' vergessen :)

Viele Grüße,
Andi