一种电子系统行为级仿真验证方法

摘要

本发明公开了一种电子系统行为级仿真验证方法，包括：对电子系统中的模块和信号层次化建模；建模的模块包括若干端口和行为描述函数；所述端口是模块的外部信号接口，由信号缓存、输入响应函数和输出绑定列表组成；所述行为描述函数对从端口输入并缓存的信号进行处理，然后将处理结果转换为输出信号；基于建模的模块和信号，采用一个实现了仿真算法的调度器进行仿真验证。本发明直观的复杂电子系统层次化建模，可降低电子系统建模的复杂性，提高工作效率；并在端口模型中引入信号缓存，自然地解决了端口信号状态保持的问题；并在端口模型中引入输出绑定列表，实现了宽度优先的仿真调度，使得仿真过程更加符合硬件的并行行为特征。