An SAT Approach to Routing of 15nmStandard Cells

• Main Authors: Yu-Ting Zhang, 張郁婷
• Other Authors: Rung-Bin Lin
• Format: Others
• Language: zh-TW
• Published: 2016
• Online Access: http://ndltd.ncl.edu.tw/handle/uv3x2n

碩士 === 元智大學 === 資訊工程學系 === 104 === In spite of rapid progress in semiconductor process technology, the variation in the feature sizes of generated patterns continues to create problems due to prolonging use of 193nm lithography. To scale down the feature sizes continually, more complex design rules and multiple patterning are used widely. These changes make automatic generation of physical layout more difficult meet the design rules. We propose a routing algorithm for designing standard cells with 15nm technology based on a double patterning compliant layout template with finer grid pitches. We use Boolean expressions to model a routing problem and solve the model using an SAT solver.