Satisfiability-based layout revisited
- 1 February 1999
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 167-175
- https://doi.org/10.1145/296399.296450
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Maple-opt: a performance-oriented simultaneous technology mapping, placement, and global routing algorithm for FPGAsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1998
- Performance-driven simultaneous placement and routing for FPGA'sIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1998
- A fast routability-driven router for FPGAsPublished by Association for Computing Machinery (ACM) ,1998
- On two-step routing for FPGASPublished by Association for Computing Machinery (ACM) ,1997
- Dynamic search-space pruning techniques in path sensitizationPublished by Association for Computing Machinery (ACM) ,1994
- Symbolic Boolean manipulation with ordered binary-decision diagramsACM Computing Surveys, 1992
- Segmented channel routingPublished by Association for Computing Machinery (ACM) ,1990
- Fast printed circuit board routingPublished by Association for Computing Machinery (ACM) ,1987
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- A Computing Procedure for Quantification TheoryJournal of the ACM, 1960