engleski

Automatic TLM Generation for Early Validation of Multicore Systems

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.

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

nije evidentirano