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

vunit assert1 (ent)
{
  default clock is rising_edge(clk);
  assert always {val; req} |-> eventually! ack;
}