메뉴 건너뛰기




Volumn , Issue , 1999, Pages 145-149

Combinational equivalence checking using satisfiability and recursive learning

Author keywords

[No Author keywords available]

Indexed keywords

ALTERNATIVE SOLUTIONS; BOOLEAN SATISFIABILITY; COMBINATIONAL EQUIVALENCE CHECKING; RECURSIVE LEARNING; SATISFIABILITY;

EID: 29244455141     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.1999.761110     Document Type: Conference Paper
Times cited : (69)

References (21)
  • 7
    • 84893543559 scopus 로고    scopus 로고
    • Eindhoven University of Technology
    • G. Janssen, The Eindhoven BDD Package, Eindhoven University of Technology. (URL: ftp://ftp.ics.ele.tue.nl/pub/users/geert/ bdd.tar.gz.)
    • The Eindhoven BDD Package
    • Janssen, G.1
  • 9
    • 0027839536 scopus 로고
    • Hannibal: An efficient tool for logic verification based on recursive learning
    • November
    • W. Kunz, "HANNIBAL: An Efficient Tool for Logic Verification Based on Recursive Learning," in Proc. of the Int'l Conf. on Computer-Aided Design, pp. 538-543, November 1993.
    • (1993) Proc. of the Int'l Conf. on Computer-Aided Design , pp. 538-543
    • Kunz, W.1
  • 11
    • 0026623575 scopus 로고
    • Test pattern generation using boolean satisfiability
    • January
    • T. Larrabee, "Test Pattern Generation Using Boolean Satisfiability," IEEE Trans. on Computer-Aided Design, vol. 11, no. 1, pp. 4-15, January 1992.
    • (1992) IEEE Trans. on Computer-Aided Design , vol.11 , Issue.1 , pp. 4-15
    • Larrabee, T.1
  • 14
    • 84937626387 scopus 로고    scopus 로고
    • Improving satisfiability algorithms by using recursive learning
    • September
    • J. Marques-Silva, "Improving Satisfiability Algorithms by Using Recursive Learning," in International Workshop on Boolean Problems, September 1998.
    • (1998) International Workshop on Boolean Problems
    • Marques-Silva, J.1
  • 15
    • 0029720348 scopus 로고    scopus 로고
    • An efficient equivalence checker for combinational circuits
    • June
    • Y. Matsunaga, "An Efficient Equivalence Checker for Combinational Circuits," in Proc. of the Design Automation Conf., June 1996.
    • (1996) Proc. of the Design Automation Conf.
    • Matsunaga, Y.1
  • 16
    • 0028712919 scopus 로고
    • Symmetry detection and dynamic variable ordering of decision diagrams
    • November
    • S. Panda, F. Somenzi, and B. F. Plessier, "Symmetry detection and dynamic variable ordering of decision diagrams," in Proc. of the Int'l Conf. on Computer-Aided Design, pages 628-631, November 1994. (URL: ftp://vlsi.colorado.edu/pub/cudd-2.2.0.tar.gz.)
    • (1994) Proc. of the Int'l Conf. on Computer-Aided Design , pp. 628-631
    • Panda, S.1    Somenzi, F.2    Plessier, B.F.3
  • 17
    • 0029214437 scopus 로고
    • Novel verification framework combining structural and obdd methods in a synthesis environment
    • June
    • S. Reddy, W. Kunz and D. Pradhan, "Novel Verification Framework Combining Structural and OBDD Methods in a Synthesis Environment," in Proc. of the Design Automation Conf., pp. 414-419, June 1995.
    • (1995) Proc. of the Design Automation Conf. , pp. 414-419
    • Reddy, S.1    Kunz, W.2    Pradhan, D.3
  • 20
    • 0031341194 scopus 로고    scopus 로고
    • A sat-based implication engine for efficient atpg, equivalence checking, and optimization of netlists
    • November
    • P. Tafertshofer, A. Ganz and M. Henftling, "A SAT-Based Implication Engine for Efficient ATPG, Equivalence Checking, and Optimization of Netlists," in Proc. of the Int'l Conf. on Computer-Aided Design, pp. 648-657, November 1997.
    • (1997) Proc. of the Int'l Conf. on Computer-Aided Design , pp. 648-657
    • Tafertshofer, P.1    Ganz, A.2    Henftling, M.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.