AR# 52197

コード例は、このアンサーの最後にある表 1-1 を参照してください。

単純な代入演算子「=」に追加

バイナリ演算子に bit 型のオペランドと logic 型のオペランドがある場合、結果値は logic 型になります。あるオペランドが int 型で、もう 1 つのオペランドが integer 型の場合、結果値は integer 型になります。Verilog-2001 にあるように、いずれかのオペランドに X または Z が含まれている場合、!= および == の演算子は X を返します。結果値が bit 型に変換されると (たとえば if 文の場合など)、これは 0 に変換されます。単項換算演算子 (& ~& | ~| ^ ~^) は任意式 (パックされた配列を含む) に適用することができます。パックされた型が 4 つの値のものである場合は logic 型の値 1 つが演算子によって返され、また、パックされた型が 2 つの値のものである場合は bit 型の値 1 つが演算子によって返されます。

int i;
bit b = &i;
integer j;
logic c = &j;             

 

条件文に使用される演算子

 

conditional_expression ::= cond_predicate ? { attribute_instance } expression : expression

括弧 ( { } ) は Verilog の場合と同じように連結を示すために使われます。連結はパックされたベクターのビットとして処理されます。これは代入の左辺または式で使用できます。