Verifying SystemC Using Stateful Symbolic Simulation (bibtex)

by Herdt, Vladimir, Le, Hoang M. and Drechsler, Rolf

Reference:

Herdt, Vladimir, Le, Hoang M. and Drechsler, Rolf, "Verifying SystemC Using Stateful Symbolic Simulation", In Design Automation Conference, pp. 49:1–49:6, 2015.

Bibtex Entry:

@inproceedings{HLD:2015,
 author = {Herdt, Vladimir and Le, Hoang M. and Drechsler, Rolf},
  pi        = {Rolf Drechsler},
 title = {Verifying {SystemC} Using Stateful Symbolic Simulation},
 booktitle = {Design Automation Conference},
  pdffile = {../pipubs/subprojects/P04/Drechsler_SystemC_2015.pdf},
 year = {2015},
 pages = {49:1--49:6},
keywords={easecrc_cognitive_arch_systems}
}