本揭露的电子系统层次(electronic system level,ESL)设计及验证用于提供电子装置的功能安全及故障管理的电子仿真及建模。一种对安全电路进行仿真的方法包括:根据电子设计规范提供电子架构设计,以执行所述电子装置的一种或多种功能行为。所述方法进一步包括对所述电子架构设计的安全电路以及所述电子架构设计的与安全电路进行通信的一个或多个其他电子电路进行建模。所述方法进一步包括在所述电子架构设计正在执行所述一种或多种功能行为的同时,使用所述建模对安全电路的运行进行仿真。所述方法也包括判断安全电路的被仿真的运行是否满足所述电子设计规范。