摘要: 本文提出了循环的一种静态分析方法,即左模拟执行前,对网络中存在的循环进行静态分析,进而把对循环的处理转化为对网络线初始相位的确定,简化了对循环的处理。文中所用的算法都是基于文献¹中所描述的数据结构,本文还提出了对循环进行静态分析所用到的几个定理及其证明。模拟器LOSIM中使用了静态分析方法,使得LOSIM可对组合网络,同步时序网络、异步对序网络和在给定的初始条件下就己存左振荡的网络进行模拟。同时,也提高了模拟器运行的效率。