并发断言

乐在其中296

下面是以恶搞检查仲裁器request信号的断言，request信号除了在复位期间，其他任何时候都不能是X或Z。     interface arb_if (input bit clk) ;
             logic [1:0] grant,request;
             logic rst;

        property request_2state;
               @(posedge clk)  disable iff(rst);
               $ isunknown (request)  == 0;
        endproperty
        assert_request_2state:assert property (request_2state);
    endinterface


上面一段程序中标红的那段不是很理解，property语句什么意思，disable iff也不理解
   求前辈们指点，谢谢

gaurson

你随便找一根讲解SVA语法的书，都有这两个概念。property就是断言最基本的单元，描述一种电路行为的，在这里就是描述你需要的判断解复位后，不能是X或者Z。disable iff就是如果某条件成立，则它控制的表达式不执行。

乐在其中296

回复 2# gaurson


  理解了，谢谢