Verifying SystemC Using Stateful Symbolic Simulation (bibtex)
by Vladimir Herdt, Hoang M. Le, Rolf Drechsler
Vladimir Herdt, Hoang M. Le, Rolf Drechsler, "Verifying SystemC Using Stateful Symbolic Simulation", In Design Automation Conference, pp. 49:1-49:6, 2015.
Bibtex Entry:
 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},
Powered by bibtexbrowser