Nowadays, a majority of system-on-chips (SoCs) make use of Intellectual
Property (IP) in order to shorten development cycles. When such IPs are
developed, one of the main focuses lies in the high configurability of the
design. This flexibility on the design side introduces the challeng
本文提出了一个综合的验证框架来应对组合性验证中的一些重要问题,并提出了一个验证过程来验证不同类型的系统模型,如反应式、实时和概率系统的组合性。该框架提供了验证组合性所需的方法、技术和工具支持。为了验证动态 - 语义组合性,我们探讨了三种不同的方法,即基于 Petri 网的代数分析、基于有色 Petri 网的状态空间分析和基于通信顺序处理的模型检查。