Declare taille du vecteur avec l'expression de générer variables

Je suis en train de déclarer un tableau de taille variable basée sur une générer variable mais mon outil de peluchage SpyGlass se plaint de règle BitOrder-ML et affiche le message d'erreur suivant:Declare taille du vecteur avec l'expression de générer variables

Declare 'Taille du vecteur' ordre des bits '[((1 < niveau <) -1): 0]' comme par convention

Ceci est le code qui génère le problème:

genvar level; 
localparam integer LEVELS = 3; 
generate 
    for (level=0; level<LEVELS; level=level+1) begin 
     wire result[(1 << level)-1:0]; 
    end 
endgenerate

Est-ce que SpyGlass est sain ici? Pense-t-elle en quelque sorte que l'expression (1 << level)-1 générerait une valeur négative?

La synthèse se termine sans problème lorsque l'erreur est levée.

Source

2017-07-21 Moberg

quel sera le résultat de 'niveau == 0'? vous obtiendrez le 'résultat [-1: 0]' je ne voudrais pas blâmer spyglass pour cela. – Serge

@Serge: Non, (1 << 0) - 1 = 0 – Moberg

oups, votre droite. aurait dû se réveiller en premier :-) – Serge

d'abord

1 vous avez problème syntaxe

résultat de fil [(1 < < niveau) -1: 0]]; vous devriez supprimer le dernier].

2-vous devriez déclarer le niveau comme un genvar non entier! niveau de genvar; est correct.

NOTE: [(2^niveau) -1: 0] est plus régulière que [(1 < niveau <) -1: 0]

Source

2017-07-21 14:36:45

Désolé, fautes de frappe. Correction du code. Je peux ajouter que le code se synthétise bien si je m'échappe de ces lignes. – Moberg

J'utilise l'outil de synthèse ISE xilinx ci-dessous le code et il n'y a aucun problème peut U télécharger votre code complet à je le vérifie? –

C'est l'outil de pelage spyglass et aussi nlint qui a un problème avec le code. Le code est bien sinon et capable de synthé. – Moberg

Declare taille du vecteur avec l'expression de générer variables

Répondre

Questions connexes