• Home
  • Search
  • Standard cell routing via boolean satisfiability
  • Cite Icon57
  • https://doi.org/10.1145/2228360.2228470Copy DOI Icon

Standard cell routing via boolean satisfiability

  • Jun 3, 2012
  • Nikolai Ryzhenko +1 more
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

We propose a flow for routing nets within a standard cell that 1) generates candidate routes for point-to-point segments; 2) finds conflicts (electrical shorts and geometric design rule violations) between candidate routes; and 3) solves a SAT instance producing a legal and complete routing for all nets in the standard cell. This approach enables routing automation for cutting-edge process technology nodes. We present how to make this technique more effective by introducing pruning techniques to reduce the work required in all three steps. We also show how we can further optimize routing quality within the SAT formulation through the use of successively more stringent constraints. Recent improvements in the speed of SAT solvers make such a formulation practical for even complex standard cells. A routing tool based on our SAT formulation is currently being used to route real industrial standard cell layouts. It demonstrates acceptable runtime and 89% coverage of our industrial standard cell library, including scan flip-flops, adders, and multiplexers. We also observe a significant reduction in amount of metal2 routing in comparison with industrial hand-crafted standard cells.

Similar Papers
  • Conference Article

A comprehensive standard cell library qualification to prevent lithographic challenges

  • Mar 23, 2020
  • Xinyi Hu +4
  • Conference Article
  • Citations2

Automated solution for preventing design rules violations at abutment stage for standard cells synthesis flow

  • Oct 01, 2016
  • Sergey Bykov +2
  • Conference Article
  • Citations18

Delay optimization using SOP balancing

  • Nov 07, 2011
  • Alan Mishchenko +3
  • Conference Article
  • Citations13

Standard Cell Printability Grading and Hot Spot Detection

  • Mar 21, 2005
  • M Cote +1
  • Conference Article

Short-circuit current processing method in space calibration of “twin” solar cells

  • Aug 28, 2021
  • Sun Huicong +3
  • Book Chapter
  • Citations2

Towards Automatic Structural Analysis of Mixed-Signal Circuits

  • Jan 01, 2013
  • Michael Eick +1
  • Conference Article
  • Citations6

Design and Development of an ASIC Standard Cell Library Using 90nm Technology Node

  • Jan 01, 2018
  • Lavanya M Naga +1
  • Research Article
  • Citations12

Mechanical stress aware optimization for leakage power reduction

  • May 01, 2010
  • IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
  • Vivek Joshi +4
  • Research Article
  • Citations9

Graph theory based expert system to form de-icing route in Changsha power grid

  • Jul 30, 2012
  • International Journal of Electrical Power & Energy Systems
  • Tang Zhong
  • Conference Article
  • Citations7

Intelligent DTCO (iDTCO) for next generation logic path-finding

  • Sep 01, 2018
  • Uihui Kwon +17
  • Conference Article
  • Citations29

Self-aligned double patterning aware pin access and standard cell layout co-optimization

  • Mar 30, 2014
  • Xiaoqing Xu +4
  • Conference Article
  • Citations11

A novel and efficient timing-driven global router for standard cell layout design based on critical network concept

  • Aug 07, 2002
  • Tong Jing +5
  • Research Article

PREPARATION AND CHARACTERIZATION OF P3HT-PCBM ORGANIC SOLAR CELLS

  • Jul 01, 2013
  • International Journal of Electronics and Electical Engineering
  • Anubhav Gupta +4
  • Conference Article
  • Citations3

Junctionless thin-film ferroelectric oxides for photovoltaic energy production

  • Jun 05, 2014
  • Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE
  • Farnood K Rezaie +5
  • Conference Article
  • Citations1

Development of Rear Passivated Laser Grooved Buried Contact (LGBC) Laser Fired Contact (LFC) Silicon Solar Cells Using Thin Wafers

  • Sep 28, 2012
  • View
  • Kc Heasman +4
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.