Jan Henrik Weinstock, Christoph Schumacher, Rainer Leupers, Gerd Ascheid. SCandal: SystemC Analysis for Nondeterminism Anomalies. In Jan Haase, editor, Models, Methods, and Tools for Complex Chip Design - Selected Contributions from FDL 2012. Volume 265 of Lecture Notes in Electrical Engineering, pages 69-88, Springer, 2012. [doi]
Abstract is missing.