SystemC仿真：宽松定时事务级模型的并行标准兼容研究

"宽松定时事务级模型的并行标准兼容SystemC仿真是加布里埃尔·布斯诺特的一篇学术论文，主要探讨了在并行仿真领域如何实现与SystemC标准兼容的事务级建模。这篇论文属于计算语言和模拟系统的研究范畴，发布于里昂大学，并被HAL（一个多学科的开放存取档案馆）收录。论文作者在2020年12月18日进行了公开答辩，其博士专业为计算机科学，隶属于里昂大学的第512号博士学校，信息数学方向。 SystemC是一种广泛使用的硬件描述语言，它扩展了C++，以支持硬件级别的并行性和事务性通信。论文的核心内容可能涉及到如何在宽松定时的环境下，即不严格考虑时间精确性的条件下，设计和实现与SystemC标准相兼容的事务级模型。这样的模型对于高性能的并行系统仿真至关重要，因为它允许在不牺牲效率的前提下，处理复杂的系统行为。 陪审团成员包括来自不同机构的专家，如Guérin Lassous、Florence Maraninchi、François Pêcheux、Liliana Andrade、Rainer Dömer、Laurent Maillet-Contoz以及Matthieu Moy等，他们在计算机科学和相关领域有深厚的学术背景。这些专家的参与确保了论文的严谨性和专业性。 作者在论文中特别表达了对导师和同事的感激之情，尤其是马修·莫伊（Mathieu Moy）的远程指导，CEAList的坦古伊·萨索拉斯（Tanguy Sassolas）和泰雷兹公司的尼古拉斯·文特鲁克斯（Nicolas Ventroux）的日常指导和支持。他们对于论文的完成起到了关键作用。 论文的详细内容可能涵盖了事务级建模的基础理论、并行仿真的挑战、SystemC标准的关键特性，以及如何在宽松定时环境下优化这些特性以实现高效并行仿真。此外，还可能涉及了实际案例分析、实验结果和未来研究方向，以展示所提出的模型在实际应用中的性能和优势。