[REQ] ограничение израз в Вера

[AlexWan]

Има някакъв код с OpenVera.Аз не мога да знам за смисъла.
Код:ENUM ModeType (STOP = 1, дрямка = 2, DBUG = 4, Reset = 8, SOFTRESET = 16);

ранд обл [31:0] Mode = 0;ограничение mode_constraint (

режим в (STOP, дрямка, DBUG, Reset, SOFTRESET,

СТОП | дрямка, СТОП | DBUG, СТОП | RESET, СТОП | SOFTRESET,

Дрямка | DBUG, дрямка | RESET, дрямка | SOFTRESET,

DBUG | RESET, DBUG | SOFTRESET,

RESET | SOFTRESET);

)

 

[aji_vlsi]

AlexWan написа:

Има някакъв код с OpenVera.
Аз не мога да знам за смисъла.Код:ENUM ModeType (STOP = 1, дрямка = 2, DBUG = 4, Reset = 8, SOFTRESET = 16);

ранд обл [31:0] Mode = 0;ограничение mode_constraint (

режим в (STOP, дрямка, DBUG, Reset, SOFTRESET,

СТОП | дрямка, СТОП | DBUG, СТОП | RESET, СТОП | SOFTRESET,

Дрямка | DBUG, дрямка | RESET, дрямка | SOFTRESET,

DBUG | RESET, DBUG | SOFTRESET,

RESET | SOFTRESET);

)

 

[AlexWan]

aji_vlsi написа:Здрасти,

това е просто изброени стойности - тъй като "режим" е 32-битов вектор, по-горе ограничение по същество означава:Код:ранд обл [31:0] Mode = 0;

ограничение mode_constraint (

режим в (1, 2, 4, ..);

)

 

[aji_vlsi]

AlexWan написа:За един ENUM елемент, е в режим 1,2,4,8,16 ().
Но аз искам да знам какво е смисъла на следното:

"СТОП | дрямка",Моля, дайте ми малко обясни или информация!

Благодарности.

 

[Vivek]

Съгласен съм по "| |" оператор част, но малко заинтригуван тук.Тъй като на оригиналния код:

Код:

ограничение mode_constraint (

режим в (STOP, дрямка, DBUG, Reset, SOFTRESET,

СТОП | дрямка, СТОП | DBUG, СТОП | RESET, СТОП | SOFTRESET,

Дрямка | DBUG, дрямка | RESET, дрямка | SOFTRESET,

DBUG | RESET, DBUG | SOFTRESET,

RESET | SOFTRESET);

 

[AlexWan]

За мое мнение, "|" в това ограничение се основава на логиката.Може би това е паралелна спусъка.

Всеки един зная този стил?

 

[nand_gates]

В бъда absulutely код е ОК!
"|" Е правилният избор.

Това е много често използвания метод за регистър конфигурация!
Аз наистина се чудя как толкова много народи има объркани!

Погледни го по този начин!
Режимът регистри за конфигурация се регистрират като
следва сега искам да ceck различни конфигурации.

Код:

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

| Bit4 | bit3 | bit2 | bit1 | bit0 |

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

| SOFTRESET | RESET | DBUG | дрямка | Stop |

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

 

[AlexWan]

Здравейте nand_gates

Как да обясним на елементи: ИЗЧИСТИ | SOFTRESET | DEBUG за вашето мнение????

 

[nand_gates]

Здрасти,
Според определението на режим довереник регистър има 32 възможни
конфигурация ценности., От които тестер само иска да провери няколко комбинации само!
"Reset | SOFTRESET | DEBUG" също е валидна стойност за конфигурация.