FPGA routing and routability estimation via Boolean satisfiability
IEEE Transactions on Very Large Scale Integration (VLSI) Systems, pp. 222-231, 1998.
fpga routingbinary decision diagramcomplete detailed routingperfect routability estimatorboolean satisfiabilityMore(10+)
Guaranteeing or even estimating the routability of a portion of a placed FPGA remains difficult or impossible in most practical applications. In this paper we develop a novel formulation of both routing and routability estimation that relies on a rendering of the routing constraints as a single large Boolean equation. Any satisfying assig...More