메뉴 건너뛰기




Volumn 1254, Issue , 1997, Pages 107-118

An n log n algorithm for online BDD refinement

Author keywords

[No Author keywords available]

Indexed keywords

BINARY DECISION DIAGRAMS; COMPUTER AIDED ANALYSIS;

EID: 84947420313     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63166-6_13     Document Type: Conference Paper
Times cited : (4)

References (12)
  • 1
    • 84957707327 scopus 로고    scopus 로고
    • Beyond the finite in hardware verification
    • Submitted, Extended version of: "Hardware verification using monadic second-order logic," LNCS
    • D. Basin and N. Klarlund. Beyond the finite in hardware verification. Submitted. Extended version of: "Hardware verification using monadic second-order logic," CAV '95, LNCS 939, 1996.
    • CAV '95 , vol.939
    • Basin, D.1    Klarlund, N.2
  • 2
    • 0004393320 scopus 로고    scopus 로고
    • An o(N log n) implementation of the standard mothod for minimizing n-state finite automata
    • Norbert Blum. An o(n log n) implementation of the standard mothod for minimizing n-state finite automata. Information Processing Letters, 1996.
    • (1996) Information Processing Letters
    • Blum, N.1
  • 3
    • 0026913667 scopus 로고
    • Symbolic Boolean manipulation with ordered binary-decision diagrams
    • R. E. Bryant. Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing surveys, 24(3):293-318, September 1992.
    • (1992) ACM Computing Surveys , vol.24 , Issue.3 , pp. 293-318
    • Bryant, R.E.1
  • 4
    • 0004425081 scopus 로고
    • Partitioning a graph in O(IA] log 2(VI)
    • A. Cardon and M. Crochemore. Partitioning a graph in O(IA) log 2(VI). TCS, 19:85-98, 1982.
    • (1982) TCS , vol.19 , pp. 85-98
    • Cardon, A.1    Crochemore, M.2
  • 6
    • 0027878159 scopus 로고
    • Representation and symbolic manipulation of linearly inductive boolean functions
    • IEEE Computer Society Press
    • Aarti Gupta and Allan L. Fisher. Representation and symbolic manipulation of linearly inductive boolean functions. In Proceedings of the IEEE International Conference on Computer-Aided Design, pages 192-199. IEEE Computer Society Press, 1993.
    • (1993) Proceedings of the IEEE International Conference on Computer-Aided Design , pp. 192-199
    • Gupta, A.1    Fisher, A.L.2
  • 8
    • 0002197352 scopus 로고
    • An n log n algorithm for minimizing states in a finite automaton
    • Z. Kohavi and Paz A., editors, Academic Press
    • J. Hopcroft. An n log n algorithm for minimizing states in a finite automaton. In Z. Kohavi and Paz A., editors, Theory of machines and computations, pages 189-196. Academic Press, 1971.
    • (1971) Theory of Machines and Computations , pp. 189-196
    • Hopcroft, J.1
  • 9
    • 0026998940 scopus 로고
    • Online minimization of transition systems
    • ACM
    • D. Lee and M. Yannakakis. Online minimization of transition systems. In Proc. STOC, pages 264-274. ACM, 1992.
    • (1992) Proc. STOC , pp. 264-274
    • Lee, D.1    Yannakakis, M.2
  • 10
    • 0026882239 scopus 로고
    • On the OBDD-representation of general Boolean functions
    • H-T. Liaw and C-S. Lin. On the OBDD-representation of general Boolean functions. IEEE Trans. on Computers, C-41(6):661-664, 1992.
    • (1992) IEEE Trans. on Computers , vol.41 C , Issue.6 , pp. 661-664
    • Liaw, H.-T.1    Lin, C.-S.2
  • 11
    • 0023566630 scopus 로고
    • Three efficient algorithms based on partition refinement
    • R. Paige and R. Tarjan. Three efficient algorithms based on partition refinement. SIAM Yournal of Computing, 16(6), 1987.
    • (1987) SIAM Yournal of Computing , vol.16 , Issue.6
    • Paige, R.1    Tarjan, R.2
  • 12
    • 0027697421 scopus 로고
    • Reduction of OBDDs in linear time
    • D. Sieling and I. Wegener. Reduction of OBDDs in linear time. IPL, 48:139-144, 1993.
    • (1993) IPL , vol.48 , pp. 139-144
    • Sieling, D.1    Wegener, I.2


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