implement expect_osif_sem_post and expect_osif_sem_wait (VHDL test bench helpers)