External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Validating SystemC Implementations Against Their Formal Specifications

Jannis Stoppe, Robert Wille, Rolf Drechsler. Validating SystemC Implementations Against Their Formal Specifications. In Edward David Moreno Ordonez, Rodolfo Jardim de Azevedo, Peter R. Kinget, editors, Proceedings of the 27th Symposium on Integrated Circuits and Systems Design, Aracaju, Brazil, September 1-5, 2014. pages 13, ACM, 2014. [doi]

Authors

Jannis Stoppe

This author has not been identified. Look up 'Jannis Stoppe' in Google

Robert Wille

This author has not been identified. Look up 'Robert Wille' in Google

Rolf Drechsler

This author has not been identified. Look up 'Rolf Drechsler' in Google
runs on