[req] omezení projevu ve vera

[AlexWan]

Existuje nějaký kód s OpenVera.Nemohu vědět o význam.
Kód:enum ModeType (STOP = 1, dřímoty = 2, DBUG = 4, RESET = 8, SOFTRESET = 16);

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

Režim v (STOP, dřímoty, DBUG, RESET, SOFTRESET,

STOP | dřímoty, STOP | DBUG, STOP | RESET, STOP | SOFTRESET,

Podřimovat | DBUG, dřímoty | RESET, dřímoty | SOFTRESET,

DBUG | RESET, DBUG | SOFTRESET,

RESET | SOFTRESET);

)

 

[aji_vlsi]

AlexWan napsal:

Existuje nějaký kód s OpenVera.
Nemohu vědět o význam.Kód:enum (ModeType STOP = 1, dřímoty = 2, DBUG = 4, RESET = 8, SOFTRESET = 16);

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

Režim v (STOP, dřímoty, DBUG, RESET, SOFTRESET,

STOP | dřímoty, STOP | DBUG, STOP | RESET, STOP | SOFTRESET,

Podřimovat | DBUG, dřímoty | RESET, dřímoty | SOFTRESET,

DBUG | RESET, DBUG | SOFTRESET,

RESET | SOFTRESET);

)

 

[AlexWan]

aji_vlsi napsal:Ahoj,

Je to jednoduché vyjmenované hodnoty - protože "režim" je 32-bitový vektor, výše uvedené omezení v podstatě znamená:Kód:rand reg [31:0] mode = 0;

omezení mode_constraint (

Režim v (1, 2, 4, ..);

)

 

[aji_vlsi]

AlexWan napsalro jednorázové enum element, režim je v (1,2,4,8,16).
Ale já chci vědět, co je význam těchto vlastností:

"STOP | dřímoty",Prosím, dejte mi nějaké vysvětlení nebo informace!

Díky.

 

[Vivek]

Souhlasím s tím, na '| |' operátor části, ale trochu zaujalo zde.Dle původní kód:

Kód:

omezení mode_constraint (

Režim v (STŮJ, dřímoty, DBUG, RESET, SOFTRESET,

STOP | dřímoty, STOP | DBUG, STOP | RESET, STOP | SOFTRESET,

Podřimovat | DBUG, dřímoty | RESET, dřímoty | SOFTRESET,

DBUG | RESET, DBUG | SOFTRESET,

RESET | SOFTRESET);

 

[AlexWan]

Pro můj názor, "|" v tomto omezení je založena na logice.Možná je to paralelní spouštění.

Každý z znát tento styl?

 

[nand_gates]

Vera kód je absulutely OK!
'|' Je správnou volbou zde.

To je velmi častá metoda používá pro konfiguraci zaregistrovat!
Já opravdu divím, jak lid dostal zmatený tolik!

Podívej se na to takhle!
Způsob evidence je konfigurace zaregistrovat jako
vyplývá, teď chci ceck různých konfiguracích.

Kód:

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

| Bit4 | bit3 | bit2 | bit1 | bit0 |

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

| SOFTRESET | RESET | DBUG | dřímoty | STOP |

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

 

[AlexWan]

Hi nand_gates

Jak vysvětlit prvky: RESET | SOFTRESET | DEBUG pro váš názor??

 

[nand_gates]

Ahoj,
Podle definice v režimu config registru je 32 možných
konfiguračních hodnot.Z nichž tester jen chtějí ověřit několik kombinací pouze!
"RESET | SOFTRESET | DEBUG" je také platný konfigurační hodnoty.