Detecting Harmful Race Conditions in SystemC Models Using Formal Techniques Author(s): Sven Beyer and Dominik Strasser Location: United States Year: 2015 Type: Paper Format: pdf Download
