IP Library For Temporal SystemC Assertions

Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten, Jacob Smit. IP Library For Temporal SystemC Assertions. In Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings. pages 301-309, ECSI, 2006. [doi]

@inproceedings{EckerESVS06,
  title = {IP Library For Temporal SystemC Assertions},
  author = {Wolfgang Ecker and Volkan Esen and Thomas Steininger and Michael Velten and Jacob Smit},
  year = {2006},
  url = {http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=405},
  researchr = {https://researchr.org/publication/EckerESVS06},
  cites = {0},
  citedby = {0},
  pages = {301-309},
  booktitle = {Forum on specification and Design Languages, FDL 2006, September 19-22, 2006, Darmstadt, Germany, Proceedings},
  publisher = {ECSI},
  isbn = {978-3-00-019710-9},
}