DocumentCode
1908172
Title
LBSD 1: SystemC analysis
Author
Flake, Peter ; Oppenheimer, Frank
Author_Institution
Elda Technologies, USA
fYear
2012
fDate
18-20 Sept. 2012
Firstpage
105
Lastpage
105
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.
fLanguage
English
Publisher
ieee
Conference_Titel
Specification and Design Languages (FDL), 2012 Forum on
Conference_Location
Vienna, Austria
ISSN
1636-9874
Print_ISBN
978-1-4673-1240-0
Type
conf
Filename
6336993
Link To Document