specman - Specman中有 "parallel all of"吗？

Question

假设我有这个单位

unit agent {
    init_all_regs() @clock is {…};
};

我有一个代理列表，代理的数量各不相同。我想调用所有代理的 init_all_regs() 方法，以便所有代理并行运行。

是否存在“all of”和“foreach”语法的某种组合？

Answer 1

没有“all of for every”语法，但使用现有语法很容易实现。例如，您可以使用反对意见。定义一个objection_kind，并用它来同步。

例如:

extend objection_kind :[AGNETS_CHECK_REGS];

unit agent {
    init_all_regs()@clk is {
        raise_objection(AGNETS_CHECK_REGS);
        //...
        drop_objection(AGNETS_CHECK_REGS);   
    };
};
extend env {
   my_method() @clock is {
        for each in agents {
        start it.init_all_regs();
        };

        wait cycle;
        while get_objection_total(AGNETS_CHECK_REGS) > 0 {
            wait cycle;
        };
   };
};