[req expression de contrainte] à Vera

[AlexWan]

Il ya un peu de code avec OpenVera.Je ne peux pas connaître la signification.
Code:enum (ModeType STOP = 1, DOZE = 2, DBUG = 4, RESET = 8, SoftReset = 16);

rand reg [31:0] mode = 0;mode_constraint contrainte (

En mode STOP (, somnoler, DBUG, RESET, SoftReset,

STOP | Doze, STOP DBUG |, STOP RESET |, STOP SoftReset |,

DOZE | DBUG, DOZE RESET |, DOZE SoftReset |,

DBUG | RESET, DBUG SoftReset |,

RESET | SoftReset);

)

 

[aji_vlsi]

AlexWan a écrit:

Il ya un peu de code avec OpenVera.
Je ne peux pas connaître la signification.Code:enum (ModeType STOP = 1, DOZE = 2, DBUG = 4, RESET = 8, SoftReset = 16);

rand reg [31:0] mode = 0;mode_constraint contrainte (

En mode STOP (, somnoler, DBUG, RESET, SoftReset,

STOP | Doze, STOP DBUG |, STOP RESET |, STOP SoftReset |,

DOZE | DBUG, DOZE RESET |, DOZE SoftReset |,

DBUG | RESET, DBUG SoftReset |,

RESET | SoftReset);

)

 

[AlexWan]

aji_vlsi a écrit:Salut,

il est simple valeurs énumérées - depuis "mode" est un vecteur de 32 bits, la contrainte ci-dessus signifie essentiellement:Code:rand reg [31:0] mode = 0;

mode_constraint contrainte (

mode dans (1, 2, 4, ..);

)

 

[aji_vlsi]

AlexWan a écritour l'élément enum unique, le mode est à (1,2,4,8,16).
Mais je veux savoir ce qui se sens de ce qui suit:

"STOP | DOZE",S'il vous plaît me donner quelques explications ou d'informations!

Merci.

 

[Vivek]

Je suis d'accord sur le 'exploitant partie | |, mais peu intrigué ici.Comme pour le code original:

Code:

mode_constraint contrainte (

En mode STOP (, somnoler, DBUG, RESET, SoftReset,

STOP | Doze, STOP DBUG |, STOP RESET |, STOP SoftReset |,

DOZE | DBUG, DOZE RESET |, DOZE SoftReset |,

DBUG | RESET, DBUG SoftReset |,

RESET | SoftReset);

 

[AlexWan]

Pour mon avis, "|" dans cette contrainte est basée sur la logique.C'est peut-être un déclencheur parallèle.

Tout savoir ce style??

 

[nand_gates]

Le code vera est absulutely OK!
'|' Est le bon choix ici.

C'est très commun méthode utilisée pour la configuration de registre!
Je me demande vraiment comment tant de peuples se confondre!

Regardons cela de cette façon!
Les registres de mode est un registre de configuration que
suit maintenant je veux ceck diverses configurations.

Code:

----------- ------- ------ ------ ------

| Bit4 | bit3 | bit2 | Bit1 | bit0 |

----------- ------- ------ ------ ------

RESET | | SoftReset | DBUG | DOZE | STOP |

----------- ------- ------ ------ ------

 

[AlexWan]

Salut nand_gates

Comment expliquer les éléments: RESET | SoftReset | DEBUG pour votre avis????

 

[nand_gates]

Salut,
Selon la définition du mode de configuration registre il ya 32 possibles
les valeurs de configuration.Sur le testeur qui ne veut que de vérifier les combinaisons peu seulement!
"RESET | SoftReset | DEBUG" est également une valeur de configuration valide.