DocumentCode
1368843
Title
Automatic TLM Generation for Early Validation of Multicore Systems
Author
Abdi, Samar ; Schirner, Gunar ; Hwang, Yonghyun ; Gajski, Daniel D. ; Yu, Lochi
Author_Institution
Concordia Univ., Montreal, QC, Canada
Volume
28
Issue
3
fYear
2011
Firstpage
10
Lastpage
19
Abstract
This article suggests a methodology to validate software applications for a multicore platform by automatically generating transaction-level models from task-level specification of the applications. Software vendors developing applications for multicore platforms can leverage this methodology for early validation.
Keywords
formal specification; formal verification; multiprocessing systems; automatic TLM generation; early validation; multicore systems; software applications; software vendors; task- level specification; transaction-level models; Computational modeling; Digital audio players; Multicore processing; Semantics; Time domain analysis; Time varying systems; Transaction databases; TLM; design and test; embedded systems; multicore design; transaction-level modeling;
fLanguage
English
Journal_Title
Design & Test of Computers, IEEE
Publisher
ieee
ISSN
0740-7475
Type
jour
DOI
10.1109/MDT.2010.117
Filename
5620889
Link To Document