Exact channel routing using symbolic representation

Proceedings - IEEE International Symposium on Circuits and Systems

Volumn 6, Issue , 1999, Pages

  Schmiedle, Frank ^a   Drechsler, Rolf ^a   Becker, Bernd ^a  

^a UNIVERSITY OF FREIBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

MULTIVALUED DECISION DIAGRAMS (MDD);

COMPUTATIONAL COMPLEXITY; INTEGRATED CIRCUIT LAYOUT;

VLSI CIRCUITS;

EID: 0032679025     PISSN: 02714310     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (8)

1. K.S. Brace, R.L. Rudell, and R.E. Bryant. Efficient implementation of a BDD package. In Design Automation Conf., pages 40-45, 1990.
2. R.E. Bryant. Graph - based algorithms for Boolean function manipulation. IEEE Trans, on Comp., 35(8):677-691, 1986.
3. E. Clarke, M. Fujita, P. McGeer, K.L. McMillan, J. Yang, and X. Zhao. Multi terminal binary decision diagrams: An efficient data structure for matrix representation. In Int'l Workshop on Logic Synth., pages P6a:1-15, 1993.
4. S. Devadas. Optimal layout via Boolean satisfiability. In Int'l Conf on CAD, pages 294-297, 1989.
5. R. Drechsler. Verification of multi-valued logic networks. In Int'l Symp. on multi-valued Logic, pages 10-15, 1996.
6. T. Lengauer. Combinatorial Algorithms for Integrated Circuit Layout. Teubner, Wiley, 1990.
7. A. Srinivasan, T. Kam, S. Malik, and R.E. Brayton. Algorithms for discrete function manipulation. In Int'l Conf on CAD, pages 92-95, 1990.
8. R.G. Wood and R.A. Rutenbar. FPGA routing and routability estimation via Boolean satisfiability. IEEE Trans, on VLSI Systems, 6(2):222-231, 1998.