Exact switchbox routing with search space reduction

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Exact switchbox routing with search space reduction

Full text

Pdf (203 KB)

Source

International Symposium on Physical Design archive
Proceedings of the 2000 international symposium on Physical design table of contents

San Diego, California, United States

Pages: 26 - 32

Year of Publication: 2000

ISBN:1-58113-191-7

Authors

Frank Schmiedle	Institute for Computer Science, Albert-Ludwig+University Freiburg, Am Flughafen 17, 79110 Freiburg, Germany
Daniel Unruh	Institute for Computer Science, Albert-Ludwig+University Freiburg, Am Flughafen 17, 79110 Freiburg, Germany
Bernd Becker	Institute for Computer Science, Albert-Ludwig+University Freiburg, Am Flughafen 17, 79110 Freiburg, Germany

Sponsor

SIGDA: ACM Special Interest Group on Design Automation

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 10, Citation Count: 2

Additional Information:

references cited by collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/332357.332369 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Randal E. Bryant, Graph-based algorithms for Boolean function manipulation, IEEE Transactions on Computers, v.35 n.8, p.677-691, Aug. 1986 [doi>10.1109/TC.1986.1676819]
	2	S. Devadas. Optimal layout via Boolean satisfiability. In Int'l Conf. on CAD, pages 294-297, 1989.
	3	N. GSckel, R. Drechsler, and B. Becker. A multi-layer detailed routing approach based on evolutionary algorithms. In Int'l Conference on Evolutionary Computation, pages 557-562, 1997.
	4	T. Kam, T. Villa, R. Brayton, and A. Sangiovanni- Vincentelli. Multi-valued decision diagrams: Theory and applications. Multiple Valued Logic - An International Journal, pages 9-62, 1998.
	5	Thomas Lengauer, Combinatorial algorithms for integrated circuit layout, John Wiley & Sons, Inc., New York, NY, 1990
	6	Gi-Joon Nam , Karem A. Sakallah , Rob A. Rutenbar, Satisfiability-based layout revisited: detailed routing of complex FPGAs via search-based Boolean SAT, Proceedings of the 1999 ACM/SIGDA seventh international symposium on Field programmable gate arrays, p.167-175, February 21-23, 1999, Monterey, California, United States [doi>10.1145/296399.296450]
	7	F. Schmiedle, R. Drechsler, and B. Becker. Exact routing using symbolic representation. In Int'l Syrup. Circ. and Systems, pages VI:394-VI:397, 1999.
	8	Naveed A. Sherwani, Algorithms for VLSI Physical Design Automation, Kluwer Academic Publishers, Norwell, MA, 1995
	9	F. Somenzi. CUDD: CU Decision Diagram Package Release 2.3.0. University of Colorado at Boulder, 1998.
	10	A. Srinivasan, T. Kam, S. Malik, and R. Brayton. Algorithms for discrete function manipulation. In Int'l Conf. on CAD, pages 92-95, 1990.
	11	T. Szymanski. Dogleg channel routing is NP-complete. IEEE Trans. on CAD, 4(1):31-41, 1985.
	12	R. Glenn Wood , Rob A. Rutenbar, FPGA routing and routability estimation via Boolean satisfiability, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, v.6 n.2, p.222-231, June 1998 [doi>10.1109/92.678873]
	13	T. Yoshimura and E. Kuh. Efficient algorithms for channel routing. IEEE Trans. on CAD, CAD-1(1):23- 35, Jan. 1982.

CITED BY 2

	Hui Xu , Rob A. Rutenbar , Karem Sakallah, sub-SAT: a formulation for relaxed boolean satisfiability with applications in routing, Proceedings of the 2002 international symposium on Physical design, April 07-10, 2002, San Diego, CA, USA
	Hiroaki Yoshida , Motohiro Sera , Masao Kubo , Masahiro Fujita, Simultaneous Circuit Transformation and Routing, Proceedings of the 2002 conference on Asia South Pacific design automation/VLSI Design, p.479, January 07-11, 2002

Collaborative Colleagues:

Frank Schmiedle: colleagues

Daniel Unruh: colleagues

Bernd Becker: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player