尼古拉斯·科斯特;霍尔格·赫尔曼斯;艾蒂安·兰特雷贝克;温德林·塞维 面向工业GALS设计中成分模型的性能预测。 （英语） Zbl 1242.68005号 Bouajjani，Ahmed（编辑）等人，《计算机辅助验证》。2009年6月26日至7月2日在法国格勒诺布尔举行的第21届CAV 2009国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02657-7/pbk）。计算机科学讲座笔记5643204-218（2009）。 概述：芯片上的系统和网络（NoC）是许多硬件制造商的主要设计重点。除了功能验证（这是一个困难的必要条件）之外，芯片设计者还面临着极其苛刻的性能预测挑战，例如需要估计NoC上内存访问的延迟。本文在设计全局异步、局部同步系统（GALS）的背景下解决了这个问题。我们描述了组合建模、模型检查和马尔可夫过程理论的基础和应用，以得出一种可行的方法来直接计算工业、功能验证的GALS模型上的性能量。关于整个系列，请参见[Zbl 1165.68004号]. 引用于9文件 MSC公司： 2007年7月68日 计算机体系结构的数学问题 60年20日 马尔可夫链和离散时间马尔可夫过程在一般状态空间（社会流动、学习理论、工业过程等）上的应用 68平方米 计算机系统环境下的性能评估、排队和调度 软件：CADP公司;LOTOS公司;fc2工具 PDF格式BibTeX公司 XML格式引用 \textit{N.Coste}等人，Lect。注释计算。科学。5643、204--218（2009；Zbl 1242.68005） 全文： 内政部 链接