메뉴 건너뛰기




Volumn 1855, Issue , 2000, Pages 389-402

Prioritized traversal: Efficient reachability analysis for verification and falsification

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED ANALYSIS; CRIME; EDGE DETECTION;

EID: 84944414446     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10722167_30     Document Type: Conference Paper
Times cited : (27)

References (20)
  • 4
    • 0031622741 scopus 로고    scopus 로고
    • Validation with Guided Search of the State Space
    • C. Yang, D. Dill, “Validation with Guided Search of the State Space”, In Proceedings of DAC’98
    • Proceedings of DAC’98
    • Yang, C.1    Dill, D.2
  • 6
    • 0022769976 scopus 로고
    • Graph-based Algorithms for Boolean Function Manipulations
    • August
    • R. Bryant, “Graph-based Algorithms for Boolean Function Manipulations”, IEEE Transactions on Computers,C-35:677-691, August 1986.
    • (1986) IEEE Transactions on Computers , vol.C-35 , pp. 677-691
    • Bryant, R.1
  • 10
    • 4444374897 scopus 로고    scopus 로고
    • A Unified Framework for the Formal Verification of Sequential Circuits
    • O. Coudert, J. Madre “A Unified Framework for the Formal Verification of Sequential Circuits”, in Proceedings of ICCAD’90.
    • Proceedings of ICCAD’90
    • Coudert, O.1    Madre, J.2
  • 11
    • 0033300431 scopus 로고    scopus 로고
    • Efficient Fixpoint Computation for Invariant Checking
    • K. Ravi, F. Somenzi, “Efficient Fixpoint Computation for Invariant Checking”, In Proceedings of ICCD’99, pp. 467-474.
    • Proceedings of ICCD’99 , pp. 467-474
    • Ravi, K.1    Somenzi, F.2
  • 12
    • 18944401432 scopus 로고    scopus 로고
    • “Implicit Manipulation of Equivalence Classes Using Binary Decision Diagrams
    • B. Lin, R. Newton “Implicit Manipulation of Equivalence Classes Using Binary Decision Diagrams” in Proceedings of ICCD’91.
    • Proceedings of ICCD’91
    • Lin, B.1    Newton, R.2
  • 14
    • 84893679485 scopus 로고    scopus 로고
    • Partitioned ROBDDs – A Compact, Canonical and Efficiently Manipulable Representation for Boolean Functions
    • A. Narayan, J. Jain, M. Fujita, A. Sangiovanni-Vincentelli. “Partitioned ROBDDs – A Compact, Canonical and Efficiently Manipulable Representation for Boolean Functions” in Proceedings of ICCAD’96.
    • Proceedings of ICCAD’96
    • Narayan, A.1    Jain, J.2    Fujita, M.3    Sangiovanni-Vincentelli, A.4
  • 17
    • 0032672712 scopus 로고    scopus 로고
    • Improving the Efficiency of BDD-Based Operators by Means of Partitioning
    • G. Cabodi, P. Camurati, S. Quer, "Improving the Efficiency of BDD-Based Operators by Means of Partitioning," IEEE Transactions on CAD, pp. 545-556, May 1999.
    • (1999) IEEE Transactions on CAD , pp. 545-556
    • Cabodi, G.1    Camurati, P.2    Quer, S.3
  • 18
    • 0004000699 scopus 로고    scopus 로고
    • CUDD: CU Decision Diagram Package – Release 2. 3. 0
    • Dept. Electrical and Computer Engineering, University of Colorado, Boulder
    • F. Somenzi, “CUDD: CU Decision Diagram Package – Release 2. 3. 0”, Technical Report, Dept. Electrical and Computer Engineering, University of Colorado, Boulder
    • Technical Report
    • Somenzi, F.1


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