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

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