一种集成电路的验证方法、装置、电子设备、存储介质。该集成电路的验证方法包括：获取多个异步时序器件对；根据多个异步时序器件对，对集成电路执行模型构建处理，以得到待仿真电路；对待仿真电路进行前端仿真验证；其中，模型构建处理包括：针对每个异步时序器件对：根据第一时序器件和第二时序器件之间的电路特性，确定响应时间；根据响应时间，构建响应模型；将响应模型添加入集成电路中基于第一时序器件和第二时序器件确定的数据链路。该方法能够精准地对异步界面中的各个异步时序器件对注入亚稳态信号，以较小的改动实现准确、快速的逻辑仿真，将异步界面的验证提前到前端仿真阶段执行，极大地降低了定位潜在问题的难度，缩减了验证时间。