论文研究复合配置约束的知识审核研究.pdf

对基于事件驱动的电路门级并行逻辑模拟算法和相应的电路划分算法进行了研究。在保守协议的基础上，模拟算法采用流水线技术避免了死锁；采用事件打包，消息队列和非阻塞通讯技术减少了消息传递开销。在聚集分解的基础上，电路划分算法对组合或时序电路都可进行非循环划分，保证流水线模拟不会出现死锁。在曙光集群上采用MPI实现了模拟算法，对ISCAS部分电路进行实验，获得了很好的加速比。最后提出采用预模拟方法的电路划分改进方案。