变量划分论文

基于GSTE理论的抽象与细化问题的研究
论文摘要近年来,由于电路规模不断增大和集成度不断提高,使得超大规模集成电路(VLSI)变得越来越复杂,而设计过程又难以保证逻辑设计的正确性。同时集成电路设计时的差错所带来的损失...