17、连续/离散协同仿真工具的通用设计方法

连续/离散协同仿真工具的通用设计方法

在当今科技领域，芯片尺寸不断缩小，同时多种组件、异构架构以及特定于不同应用领域（如电子、机械、光学和射频）的系统被集成到同一芯片上。这些异构系统带来了成本效益高、上市时间短和高生产率等优势，但也增加了设计相关参数的可变性。连续/离散（C/D）系统作为重要的异构系统，其建模和仿真面临着巨大挑战。本文将介绍一种通用的设计方法，用于构建连续/离散协同仿真工具。

相关工作

在连续/离散异构系统的验证方面，现有工作主要分为基于仿真和基于形式化表示两种方法。

基于仿真的方法又可分为两类：
1. 扩展现有工具和语言 ：从经典硬件描述语言（HDLs）出发，添加模拟混合信号（AMS）或同步数据流（SDF）内核等新概念，如VHDL - AMS、Verilog - AMS、SystemC–AMS或扩展了SDF内核的SystemC。但这些扩展通常从头设计，其库不如成熟工具强大。
2. 定义新模型和工具 ：通过组装不同组件来设计系统，如基于Ptolemy的HyVisual。然而，不同子系统和组件需在同一环境中开发，无法解决系统设计中IP重用的问题，且未考虑仿真模型的形式化验证。

基于形式化表示的方法将集成视为计算模型的组合，提出用单一形式主义表示不同模型，重点是构建不同计算模型（MoC）之间的接口，能深入理解每个MoC。例如，有工作提出了标记信号模型框架用于比较各种MoC，还有工作将异构系统的通信和计算方面分离进行形式化，但未考虑不同领域之间的接口。此外，DEVS是一种形式化方法，用于构建分层和模块化的模型，近期还集成了面向对象编程技术，基于此有工具用于