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]
Abstract is missing.