Verifying SystemC Using Stateful Symbolic Simulation (bibtex)
by Vladimir Herdt, Hoang M. Le, Rolf Drechsler
Reference:
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:
@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}
}
Powered by bibtexbrowser