Abstract :
Static and dynamic analysis are essential techniques for extracting information about a design being modeled or the model itself. This session deals with analysis of SystemC models. The papers address high-level power estimation, detection of nondeterminism anomalies, and localization of features in complex models.
