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
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;
Journal_Title :
Design & Test of Computers, IEEE
DOI :
10.1109/MDT.2010.117
