path: root/testsuite/synth/fsm03/assert3.psl

vunit assert3 (ent)
{
  default clock is rising_edge(clk);
  my_cond: assert always {val; req} |=> eventually! ack;
}