Formal Verification for Reliability and Performance on Core Coordination of MPSoC

Abstract:In order to discover MPSoC's design defect earlier, a formal method for depicting core coordination was proposed, including structural model and logical characterization. The main idea was to adopt polynomial functions to replace actions on labelled transition system to describe data change...

Celý popis

Podrobná bibliografie

Hlavní autoři:	zhanghui, wujinzhao, xieying, caojunyue
Médium:	Artigo
Jazyk:	Inglês
Vydáno:	Editorial Department of Journal of Sichuan University (Engineering Science Edition) 2016-01-01
Edice:	工程科学与技术
Témata:	multiprocessor system-on-chip core coordination hybrid labelled transition system hybrid markov decision process probabilistic computation tree logic PRISM data desensitization
On-line přístup:	http://jsuese.scu.edu.cn/thesisDetails?columnId=43924790&Fpath=home&index=0
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!