It discusses the co-simulation interface of the two simulators in detail, and in the end, we present an embedded system co-verification example.

• 和其它的计算机系统类似,嵌入式系统通常是由软件和硬件两个部分组成。