메뉴 건너뛰기




Volumn , Issue , 1998, Pages 445-450

Approximation and decomposition of binary decision diagrams

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION ALGORITHMS; BOOLEAN FUNCTIONS; MODEL CHECKING; ALGORITHMS; APPROXIMATION THEORY; DECISION THEORY; PROBLEM SOLVING;

EID: 0031641253     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/277044.277168     Document Type: Conference Paper
Times cited : (46)

References (28)
  • 1
    • 84957376851 scopus 로고    scopus 로고
    • VIS: A system for verification and synthesis
    • In T. Henzinger andR. Alur, editors, Springer-Verlag, Rutgers University, LNCS 1102
    • R. K. Brayton et al. VIS: A system for verification and synthesis. In T. Henzinger andR. Alur, editors, Eigth Conference on Computer Aided Verification(CAV'96), pages 428-432. Springer-Verlag, Rutgers University, 1996. LNCS 1102.
    • (1996) Eigth Conference on Computer Aided Verification(CAV'96) , pp. 428-432
    • Brayton, R.K.1
  • 2
    • 0022769976 scopus 로고
    • Graph-based algorithms for boolean function manipulation
    • C-35:, August
    • R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8):677-691, August 1986.
    • (1986) IEEE Transactions on Computers , Issue.8 , pp. 677-691
    • Bryant, R.E.1
  • 3
    • 0026174710 scopus 로고
    • Representing circuits more efficiently in symbolic model checking
    • San Francisco, CA, June
    • J. R. Burch, E. M. Clarke, and D. E. Long. Representing circuits more efficiently in symbolic model checking. In Proceedings of the Design Automation Conference, pages 403-407, San Francisco, CA, June 1991.
    • (1991) Proceedings of the Design Automation Conference , pp. 403-407
    • Burch, J.R.1    Clarke, E.M.2    Long, D.E.3
  • 5
    • 0030672545 scopus 로고    scopus 로고
    • Disjunctive partitionining and partial iterative squaring: An effective approach for symbolic traversal of large circuits
    • Anaheim, CA, June
    • G. Cabodi, R Camurati, L. Lavagno, and S. Quer, Disjunctive partitionining and partial iterative squaring: An effective approach for symbolic traversal of large circuits. In Proceedings of the Design Automation Conference, pages 728-733, Anaheim, CA, June 1997.
    • (1997) Proceedings of the Design Automation Conference , pp. 728-733
    • Cabodi, G.1    Camurati, R.2    Lavagno, L.3    Quer, S.4
  • 10
    • 84968448732 scopus 로고
    • Efficient model checking by automated ordering of transition relation parititons
    • In D. L. Dill, editor, Berlin, Springer-Verlag. LNCS 818
    • D. Geist and I. Beer. Efficient model checking by automated ordering of transition relation parititons. In D. L. Dill, editor, Sixth Conference on Computer Aided Verification (CAV'94), pages 299-310, Berlin, 1994. Springer-Verlag. LNCS 818.
    • (1994) Sixth Conference on Computer Aided Verification (CAV'94) , pp. 299-310
    • Geist, D.1    Beer, I.2
  • 14
    • 0030672648 scopus 로고    scopus 로고
    • Formal verification in a commercial setting
    • Anaheim, CA, June
    • R. P. Kurshan. Formal verification in a commercial setting. In Proceedings of the Design Automation Conference, pages 258-262, Anaheim, CA, June 1997.
    • (1997) Proceedings of the Design Automation Conference , pp. 258-262
    • Kurshan, R.P.1
  • 18
    • 84957656917 scopus 로고    scopus 로고
    • A conjunctively decomposed boolean representation for symbolic model checking
    • In R. Alur and T. A. Henzinger, editors, Springer-Verlag, Berlin, August, LNCS 1102
    • K. L. McMillan. A conjunctively decomposed boolean representation for symbolic model checking. In R. Alur and T. A. Henzinger, editors, 8th Conference on Computer Aided Verification (CAV'96), pages 13-25. Springer-Verlag, Berlin, August 1996. LNCS 1102.
    • (1996) 8th Conference on Computer Aided Verification (CAV'96) , pp. 13-25
    • McMillan, K.L.1
  • 21
    • 0041006433 scopus 로고    scopus 로고
    • Automatic abstraction techniques for propositional/x-calculus model checking
    • In O. Grumberg, editor. Springer-Verlag, Berlin, LNCS 1254
    • A. Pardo and G. D. Hachtel. Automatic abstraction techniques for propositional/x-calculus model checking. In O. Grumberg, editor. Ninth Conference on Computer Aided Verification (CAV'97). Springer-Verlag, Berlin, 1997. LNCS 1254.
    • (1997) Ninth Conference on Computer Aided Verification (CAV'97)
    • Pardo, A.1    Hachtel, G.D.2
  • 25
    • 0043198407 scopus 로고    scopus 로고
    • PhD thesis. University of California at Berkeley, Electronics Research Laboratory, College of Engineering, University of California, Berkeley, CA 94720, October, Memorandum No. UCB/ERL M96/76
    • T. R. Shiple. Formal Analysis of Synchronous Circuits. PhD thesis. University of California at Berkeley, Electronics Research Laboratory, College of Engineering, University of California, Berkeley, CA 94720, October 1996. Memorandum No. UCB/ERL M96/76.
    • (1996) Formal Analysis of Synchronous Circuits
    • Shiple, T.R.1


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