bibliographic details : 计算机辅助电路分析:算法和软件技术