变量划分相关论文
针对SAT算法中回溯次数较多的问题,采用基于符号模拟和变量划分的方法来解决其不足。基于符号模拟和变量划分的SAT算法将一个较大......
近年来,由于电路规模不断增大和集成度不断提高,使得超大规模集成电路(VLSI)变得越来越复杂,而设计过程又难以保证逻辑设计的正确......
