Fast Boolean matching with don't cares

Proceedings - International Symposium on Quality Electronic Design, ISQED

Volumn , Issue , 2006, Pages 346-351

  Wei, Zile ^a   Chai, Donald ^a   Kuehlmann, Andreas ^a,b   Newton, A Richard ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b CADENCE DESIGN SYSTEMS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN MATCHING; COMPACT DATA STRUCTURE; INCOMPLETELY SPECIFIED FUNCTIONS; INPUT VARIABLES; MATCHING ALGORITHM; PATTERN MATCHING PROBLEMS; PERMUTATION MATRIX; TECHNOLOGY MAPPING;

PATTERN MATCHING;

ALGORITHMS;

EID: 50249101213     PISSN: 19483287     EISSN: 19483295     Source Type: Conference Proceeding    
DOI: 10.1109/ISQED.2006.65     Document Type: Conference Paper

References (18)

1. A. Abdollahi and M. Pedram. A new canonical form for fast Boolean matching in logic synthesis and verification. In DAC, pages 379-384, 2005.
2. L. Benini and G. D. Micheli. A survey of Boolean matching techniques for library binding. ACM Trans. Des. Autom. Electron. Syst., 2(3):193-226, 1997.
3. J. R. Burch and D. E. Long. Efficient Boolean function matching. In ICCAD '92: Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design, pages 408-411, Los Alamitos, CA, USA, 1992. IEEE Computer Society Press.
4. D. Chai and A. Kuehlmann. Building a better Boolean matcher and symmetry detector. In DATE, 2006.
5. J. Ciric and C. Sechen. Efficient canonical form for Boolean matching of complex functions in large libraries. In ICCAD '01: Proceedings of the 2001 IEEE/ACM international conference on Computer-aided design, pages 610-617, Piscataway, NJ, USA, 2001. IEEE Press.
6. J. Cong, C. Wu, and Y. Ding. Cut ranking and pruning: enabling a general and efficient FPGA mapping solution. In FPGA '99: Proceedings of the 1999 ACM/SIGDA seventh international symposium on Field programmable gate arrays, pages 29-35, New York, NY, USA, 1999. ACM Press.
7. D. Debnath and T. Sasao. Fast Boolean matching under permutation by efficient computation of canonical form. In IEICE Trans. Fundamentals, Vol.E87-A, No. 12., December 2004.
8. B. Kapoor. Improved technology mapping using a new approach to Boolean matching. In EDTC '95: Proceedings of the 1995 European conference on Design and Test, page 86, Washington, DC, USA, 1995. IEEE Computer Society.
9. K. Keutzer. DAGON: technology binding and local optimization by DAG matching. In DAC '87: Proceedings of the 24th ACM/IEEE conference on Design automation, pages 341-347, New York, NY, USA, 1987. ACM Press.
10. Y.-T. Lai, S. Sastry, and M. Pedram. Boolean matching using binary decision diagrams with applications to logic synthesis and verification. In ICCD '92: Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors, pages 452-458, Washington, DC, USA, 1992. IEEE Computer Society.
11. F. Mailhot and G. D. Micheli. Technology mapping using Boolean matching and don't care sets. In EURO-DAC '90: Proceedings of the conference on European design automation, pages 212-216, Los Alamitos, CA, USA, 1990. IEEE Computer Society Press.
12. J. Mohnke and S. Malik. Permutation and phase independent Boolean comparison. Integr. VLSI J., 16(2):109-129, 1993.
13. J. Mohnke, P. Molitor, and S. Malik. Limits of using signatures for permutation independent Boolean comparison. Form. Methods Syst. Des., 21(2):167-191, 2002.
14. H. Savoj, M. J. Silva, R. K. Brayton, and A. Sangiovanni-Vincentelli. Boolean matching in logic synthesis. In EURODAC '92: Proceedings of the conference on European design automation, pages 168-174, Los Alamitos, CA, USA, 1992. IEEE Computer Society Press.
15. L. Stok, M. A. Iyer, and A. J. Sullivan. Wavefront technology mapping. In DATE '99: Proceedings of the conference on Design, automation and test in Europe, page 108, New York, NY, USA, 1999. ACM Press.
16. V. Tiwari, P. Ashar, and S. Malik. Technology mapping for lower power. In DAC '93: Proceedings of the 30th international conference on Design automation, pages 74-79, New York, NY, USA, 1993. ACM Press.
17. K.-H. Wang and T.-T. Hwang. Boolean matching for incompletely specified functions. In DAC '95: Proceedings of the 32nd ACM/IEEE conference on Design automation, pages 48-53, New York, NY, USA, 1995. ACM Press.
18. K. Zhu and D. F. Wong. Fast Boolean matching for fieldprogrammable gate arrays. In EURO-DAC '93: Proceedings of the conference on European design automation, pages 352-357. IEEE Computer Society Press, 1993.