IBM®
Skip to main content
    Israel [change]    Terms of use
 
 
 
    Home    Products    Services & solutions    Support & downloads    My account    
IBM Research

RuleBase Parallel Edition

Formal Verification


Generalized Buffer (PSL/Sugar version)

Only one receiver at a time

vunit only_one_receiver_at_a_time
{
"Only one receiver can receive data at any given time."

    assert "Only one receiver can receive data at any given time"
      always ( !(BtoR_REQ(0) & BtoR_REQ(1))); 
}
Results



 
 





    About IBMPrivacyContact