Modern system-on-chip (SoC) designs are becoming more and more complex due to
the technology upscaling. soc designs often operate on multiple asynchronous
clock domains, further adding to the complexity of the ov
本文提出了一个综合的验证框架来应对组合性验证中的一些重要问题，并提出了一个验证过程来验证不同类型的系统模型，如反应式、实时和概率系统的组合性。该框架提供了验证组合性所需的方法、技术和工具支持。为了验证动态 - 语义组合性，我们探讨了三种不同的方法，即基于 Petri 网的代数分析、基于有色 Petri 网的状态空间分析和基于通信顺序处理的模型检查。