IP Library For Temporal SystemC Assertions. - Wolfgang Ecker; Volkan Esen; Thomas Steininger; Michael Velten; Jacob Smit (FDL, 2006)