Symmetry detection and boolean matching utilizing a signature-based canonical form of boolean functions

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Volumn 27, Issue 6, 2008, Pages 1128-1137

  Abdollahi, Afshin ^a,b   Pedram, Massoud ^a,c  

^a IEEE

^b UNIVERSITY OF CALIFORNIA   (United States)

^c University of Southern California   (United States)

Author keywords

Boolean matching; Canonical form; Functional symmetry; Signatures; Technology mapping

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; ELECTRONIC DOCUMENT IDENTIFICATION SYSTEMS;

BOOLEAN MATCHING; FUNCTIONAL SYMMETRY; TECHNOLOGY MAPPING;

BOOLEAN FUNCTIONS;

EID: 44149084974     PISSN: 02780070     EISSN: None     Source Type: Journal    
DOI: 10.1109/TCAD.2008.923256     Document Type: Article

References (23)

1. L. Benini and G. De Micheli, "A survey of Boolean matching techniques for library binding," ACM Trans. Des. Autom. Electron. Syst., vol. 2, no. 3, pp. 193-226, Jul. 1997.
2. M. A. Harrison, Introduction to Switching and Automata Theory. New York: McGraw-Hill, 1965.
3. J. R. Burch and D. E. Long, "Efficient Boolean function matching," in Proc. Int. Conf. Comput.-Aided Des., Nov. 1992, pp. 408-411.
4. Q. Wu, C. Y. R. Chen, and J. M. Acken, "Efficient Boolean matching algorithm for cell libraries," in Proc. IEEE Int. Conf. Comput. Des., Oct. 1994, pp. 36-39.
5. D. Debnath and T. Sasao, "Fast Boolean matching under permutation using representative," in Proc. ASP Des. Autom. Conf., Jan. 1999, pp. 359-362.
6. J. Ciric and C. Sechen, "Efficient canonical form for Boolean matching of complex functions in large libraries," IEEE Trans. Comput.-Aided Design Integr. Circuits Syst., vol. 22, no. 5, pp. 535-544, May 2003.
7. U. Hinsberger and R. Kolla, "Boolean matching for large libraries," in Proc. Des. Autom. Conf., 1998, pp. 206-211.
8. D. Debnath and T. Sasao, "Efficient computation of canonical form for Boolean matching in large libraries," in Proc. ASP Des. Autom. Conf., Jan. 2004, pp. 591-596.
9. J. Mohnke and S. Malik, "Permutation and phase independent Boolean comparison," Integr. VLSI J., vol. 16, no. 2, pp. 109-129, Dec. 1993.
10. D. Chai and A. Kuehlmann, "Building a better Boolean matcher and symmetry detector," in Proc. Des. Autom. Test Eur., Mar. 2006, pp. 1-6.
11. P. Molitor and J. Mohnke, Equivalence Checking of Digital Circuits. Norwell, MA: Kluwer, 2004.
12. D. M. Miller, "A spectral method for Boolean function matching," in Proc. Eur. Des. Test Conf., 1996, p. 602.
13. E. M. Clarke et al., "Spectral transforms for large Boolean functions with applications to technology mapping," in Proc. Des. Autom. Conf., 1993, pp. 54-60.
14. C. E. Shannon, "A symbolic analysis of relay and switching circuits," Amer. Inst. Electr. Eng. Trans., vol. 57, pp. 713-723, 1938.
15. V. N. Kravets and K. A. Sakallah, "Constructive library-aware synthesis using symmetries," in Proc. Des. Autom. Test Eur., Mar. 2000, pp. 208-213.
16. K. S. Chung and C. L. Liu, "Local transformation techniques for multilevel logic circuits utilizing circuit symmetries for power reduction," in Proc. Int. Symp. Low Power Electron. Des., Aug. 1998, pp. 215-220.
17. S. Panda, F. Somenzi, and B. F. Plessier, "Symmetry detection and dynamic variable ordering of decision diagrams," in Proc. Int. Conf. Comput.-Aided Des., Nov. 1994, pp. 628-631.
18. C. W. Chang, C. K. Cheng, P. R. Suaris, and M. Marek-Sadowska, "Fast post-placement optimization using functional symmetries," IEEE Trans. Comput.-Aided Design Integr. Circuits Syst., vol. 23, no. 1, pp. 102-118, Jan. 2004.
19. K. H. Chang, I. L. Markov, and V. Bertacco, "Post-placement rewiring and rebuffering by exhaustive search for functional symmetries," in Proc. ICCAD, 2005, pp. 56-63.
20. D. Möller, J. Mohnke, and M. Weber, "Detection of symmetry of Boolean functions represented by ROBDDs," in Proc. Int. Conf. Comput.-Aided Des., 1993, pp. 680-684.
21. A. Abdollahi and M. Pedram, "A new canonical form for fast Boolean matching in logic synthesis and verification," in Proc. Des. Autom. Conf., 2005, pp. 379-384.
22. B. D. McKay, "Practical graph isomorphism," Congressus Numerantium, vol. 30, pp. 45-87, 1981.
23. P. T. Darga, M. H. Liffiton, K. A. Sakallah., and I. L. Markov, "Exploiting structure in symmetry detection for CNF," in Proc. Des. Autom. Conf., 2004, pp. 530-534.