메뉴 건너뛰기




Volumn 10, Issue 12, 1991, Pages 1473-1484

Optimizing Interacting Finite State Machines Using Sequential Don’t Cares

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY--FINITE AUTOMATA; OPTIMIZATION--APPLICATIONS; SWITCHING THEORY--SEQUENTIAL SWITCHING;

EID: 0026403450     PISSN: 02780070     EISSN: 19374151     Source Type: Journal    
DOI: 10.1109/43.103497     Document Type: Article
Times cited : (22)

References (15)
  • 1
    • 0011808050 scopus 로고
    • A programmed algorithm for assigning internal codes to sequential machines
    • Aug.
    • D. B. Armstrong, “A programmed algorithm for assigning internal codes to sequential machines,” IRE Trans. Electron. Comput., vol. EC-11, pp. 466-472, Aug. 1962.
    • (1962) IRE Trans. Electron. Comput. , vol.EC-11 , pp. 466-472
    • Armstrong, D.B.1
  • 3
    • 0024168714 scopus 로고
    • MUSTANG: State assignment of finite state machines targeting multi-level logic implementations
    • Dec.
    • S. Devadas, H-K. T. Ma, A. R. Newton, and A. Sangiovanni-Vincentelli, “MUSTANG: State assignment of finite state machines targeting multi-level logic implementations,” IEEE Trans. Computer-Aided Design, vol. 7, pp. 1290-1300, Dec. 1988.
    • (1988) IEEE Trans. Computer-Aided Design , vol.7 , pp. 1290-1300
    • Devadas, S.1    Ma, H-K.T.2    Newton, A.R.3    Sangiovanni-Vincentelli, A.4
  • 4
    • 0024767783 scopus 로고
    • Decomposition and factorization of sequential finite state machines
    • Nov.
    • S. Devadas and A. R. Newton, “Decomposition and factorization of sequential finite state machines,” IEEE Trans. Computer-Aided Design, vol. 8, pp. 1206-1217, Nov. 1989.
    • (1989) IEEE Trans. Computer-Aided Design , vol.8 , pp. 1206-1217
    • Devadas, S.1    Newton, A.R.2
  • 5
    • 84941535959 scopus 로고    scopus 로고
    • personal communication
    • G. Hachtel and F. Somenzi, personal communication, 1990.
    • Hachtel, G.1    Somenzi, F.2
  • 6
    • 0003881270 scopus 로고    scopus 로고
    • Algebraic Structure Theory of Sequential Machines
    • Englewood Cliffs, NJ: Prentice-Hall
    • J. Hartmanis and R. E. Stearns, Algebraic Structure Theory of Sequential Machines. Englewood Cliffs, NJ: Prentice-Hall, 1966.
    • Hartmanis, J.1    Stearns, R.E.2
  • 7
    • 0003806381 scopus 로고    scopus 로고
    • Finite State Models for Logical Machines, in
    • New York: Wiley
    • F. C. Hennie, Finite State Models for Logical Machines, in New York: Wiley, 1968.
    • Hennie, F.C.1
  • 8
    • 0015490732 scopus 로고
    • The simplification of sequential machines with input restrictions
    • Dec.
    • J. Kim and M. M. Newborn, “The simplification of sequential machines with input restrictions,” IEEE Trans. Comput., vol. C-20, pp. 1440-1443, Dec. 1972.
    • (1972) IEEE Trans. Comput. , vol.C-20 , pp. 1440-1443
    • Kim, J.1    Newborn, M.M.2
  • 10
    • 0022791754 scopus 로고
    • Symbolic design of combinational and sequential logic circuits implemented by two-level macros
    • Sept.
    • G. De Micheli, “Symbolic design of combinational and sequential logic circuits implemented by two-level macros,” IEEE Trans. Computer-Aided Design, vol. CAD-5, pp. 597-616, Sept. 1986.
    • (1986) IEEE Trans. Computer-Aided Design , vol.CAD-5 , pp. 597-616
    • De Micheli, G.1
  • 12
    • 0004802505 scopus 로고
    • Minimizing the number of states in incompletely specified sequential circuits
    • Sept.
    • M. C. Paull and S. H. Unger, “Minimizing the number of states in incompletely specified sequential circuits,” IRE Trans. Electron. Comput., vol. EC-8, pp. 356-357, Sept. 1959.
    • (1959) IRE Trans. Electron. Comput. , vol.EC-8 , pp. 356-357
    • Paull, M.C.1    Unger, S.H.2
  • 13
    • 0004114514 scopus 로고    scopus 로고
    • Asynchronous Sequential Switching Theory
    • New York: Wiley
    • S. H. Unger, Asynchronous Sequential Switching Theory. New York: Wiley, 1969.
    • Unger, S.H.1
  • 14
    • 84863130804 scopus 로고
    • The cascade decomposition of sequential machines
    • Apr.
    • M. Yoeli, “The cascade decomposition of sequential machines,” IRE Trans. Electron. Comput., vol. EC-10, pp. 587-592, Apr. 1961.
    • (1961) IRE Trans. Electron. Comput. , vol.EC-10 , pp. 587-592
    • Yoeli, M.1


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