SV——类型转换

0. 介绍

在SV中类型转换有很多，在这里先将类型转换分成两种，静态类型转换和动态转换。

静态转换就是用cast operator——单引号（‘）。

动态转换用$cast。

1. 静态转换 static cast（’）

语法如下：

1
2
constant_cast ::= // from A.8.4(来自1800)
	casting_type ' ( constant_expression )

​ 如果casting_type和表达式类型相同，那么会返回casting_type类型的值给到左值。如果类型不匹配，也会强行转换（string类型也会转换成int类型），但会出现问题：

  1. casting_type是枚举类型，转换可能出界。

    1
    2
    3
    4
    5
    6
    7
    8
    typedef enum {RED,BLUE,GREEN} color_e;
    color_e color;
    int c;
    initial begin
    	c=10;
    	color=color_e'(c);
    end

    上面的转换会成功，color的值变成10，但这除了color_e这个枚举类型的界限了。

    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    typedef enum {RED,BLUE,GREEN} COLOR_E;
    COLOR_E color;
    int c;
    string str;
    initial begin
      str="hh";
      c=int'(str);
      $display("c is %0d",c);
      c=1;
      color=COLOR_E'(c);
      $display("Color is %d / %s",color,color.name);
      c=3;
      color=COLOR_E'(c);
      $display("Color is %d / %s",color,color.name);
    end
    // 输出
    c is 26728     
    Color is           1 / BLUE
    Color is           3 /

    从上面输出可以看出string类型转换成了int值；第二个color越界了。

  2. casting_type是bit_stream type。

    比特流类型先不整理了，没遇到过，在1800 6.24.3节，如果以后遇到再看吧。

2. 动态转换（$cast）

上面static cast不会检查表达式的类型，可能会发生string转换成int，枚举越界等问题。

动态转换$cast可以作为function，也可以作为task（这个问题地平线一面的时候被问过，$cast是函数还是任务），语法如下：

1
2
3
function int $cast( singular dest_var, singular source_exp );
or
task $cast( singular dest_var, singular source_exp );

​ Use of $cast as either a task or a function determines how invalid assignments are handled.

​ When called as a task, $cast attempts to assign the source expression to the destination variable. If the

assignment is invalid, a run-time error occurs, and the destination variable is left unchanged.

​ When called as a function, $cast attempts to assign the source expression to the destination variable and returns 1 if the cast is legal. If the cast fails, the function does not make the assignment and returns 0. When called as a function, no run-time error occurs, and the destination variable is left unchanged.

​ It is important to note that $cast performs a run-time check. No type checking is done by the compiler, except to check that the destination variable and source expression are singulars.

至于$cast是作为function还是task，主要看$cast使用的语境是否需要返回值。

$cast作为function

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
typedef enum {RED,BLUE,GREEN} COLOR_E;
COLOR_E color;
int c;
initial begin
  c=1;
  if(!$cast(color,c))
    $display("cast failed for c=%0d",c);
  $display("Color is %d / %s",color,color.name);
  c=3;
  if(!$cast(color,c))
    $display("cast failed for c=%0d",c);
  $display("Color is %d / %s",color,color.name);
end
// 输出
Color is           1 / BLUE
cast failed for c=3
Color is           1 / BLUE

第二次$cast失败之后，color的值不变。

$cast作为task

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
typedef enum {RED,BLUE,GREEN} COLOR_E;
COLOR_E color;
int c;
initial begin
  c=1;
  if(!$cast(color,c))
    $display("cast failed for c=%0d",c);
  $display("Color is %d / %s",color,color.name);
  c=3;
    $cast(color,c); // 作为任务，没有返回值的语境
  $display("Color is %d / %s",color,color.name);
end
// 会报错
Error-[STASKE_DCF] Dynamic cast failed
./svt.sv, 108
  Dynamic cast using '$cast' failed. The source expression is not yielding a 
  valid value for the destination variable.

$cast先进行类型判断，再转化。

3. 其他类型转换

在IEEE 1800的20.5节中，还介绍了一些integer2string或者signed2unsigned的函数

$itor converts integer values to real values (for example, 123 becomes 123.0).

$realtobits converts values from a real type to a 64-bit vector representation of the real number.

$bitstoreal converts a bit pattern created by $realtobits to a value of the real type.

$shortrealtobits converts values from a shortreal type to the 32-bit vector representation of the real number.

$bitstoshortreal converts a bit pattern created by $shortrealtobits to a value of the shortreal type

$signed—returned value is signed

$unsigned—returned value is unsigned

1
2
3
4
5
6
7
8
9
10
11
module driver (net_r); 
output [64:1] net_r; 
real r; 
wire [64:1] net_r = $realtobits(r); 
endmodule
module receiver (net_r); 
wire [64:1] net_r; 
input [64:1] net_r; 
real r; 
initial assign r = $bitstoreal(net_r);
endmodule