SV——类型转换$cast

时间:2019-09-27
本文章向大家介绍SV——类型转换$cast,主要包括SV——类型转换$cast使用实例、应用技巧、基本知识点总结和需要注意事项,具有一定的参考价值,需要的朋友可以参考一下。

0. 介绍

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

静态转换就是用cast operator——单引号(‘)。

动态转换用$cast。

1. 静态转换 static cast(’)

语法如下:

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

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

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

    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这个枚举类型的界限了。

    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是函数还是任务),语法如下:

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

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

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.

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

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

  

 

原文地址:https://www.cnblogs.com/east1203/p/11595813.html