Verifying SystemC using an intermediate verification language and symbolic simulation (bibtex)

by Hoang M. Le, Daniel Große, Vladimir Herdt and Rolf Drechsler

Reference:

Hoang M. Le, Daniel Große, Vladimir Herdt and Rolf Drechsler, "Verifying SystemC using an intermediate verification language and symbolic simulation", In Design Automation Conference, pp. 116:1–116:6, 2013.

Bibtex Entry:

@inproceedings{LGHD:2013,
  author    = {Hoang M. Le and Daniel Gro{\ss}e and Vladimir Herdt and Rolf Drechsler},
  pi        = {Daniel Gro{\ss}e and Rolf Drechsler}, 
  title     = {Verifying {SystemC} using an intermediate verification language and symbolic simulation},
  pdffile = {../pipubs/subprojects/P04/Grosse_Verifying_SystemC_2013.pdf},
  booktitle = {Design Automation Conference},
  pages     = {116:1--116:6},
  year      = {2013},
keywords={easecrc_cognitive_arch_systems}
}