메뉴 건너뛰기




Volumn 8, Issue 2, 2003, Pages 222-251

Sequential optimization in the absence of global reset

Author keywords

No reset latches; Safe replaceability; Sequential logic synthesis

Indexed keywords

ALGORITHMS; COMBINATORIAL CIRCUITS; COMPUTER AIDED DESIGN; FORMAL LOGIC;

EID: 0037984743     PISSN: 10844309     EISSN: None     Source Type: Journal    
DOI: 10.1145/762488.762493     Document Type: Review
Times cited : (4)

References (35)
  • 5
    • 0017523387 scopus 로고
    • An approach to unified methodology of combinational switching circuits
    • CERNY, E. AND MARIN, M. A. 1977. An approach to unified methodology of combinational switching circuits. IEEE Trans. Comput. 27, 8.
    • (1977) IEEE Trans. Comput. , vol.27 , pp. 8
    • Cerny, E.1    Marin, M.A.2
  • 6
    • 0003045324 scopus 로고
    • Redundancy removal for sequential circuits without reset states
    • CHENG, K.-T. 1993. Redundancy removal for sequential circuits without reset states. IEEE Trans. Comput.-Aided Des. Integ. Circ. 12, 1 (Jan.), 13-24.
    • (1993) IEEE Trans. Comput.-Aided Des. Integ. Circ. , vol.12 , Issue.1 JAN. , pp. 13-24
    • Cheng, K.-T.1
  • 10
    • 0003881270 scopus 로고
    • Algebraic Structure Theory of Sequential Machines
    • Prentice-Hall, Englewood Cliffs, NJ
    • HARTMANIS, J. AND STEARNS, R. E. 1966. Algebraic Structure Theory of Sequential Machines. Intl. Series in Applied Mathematics. Prentice-Hall, Englewood Cliffs, NJ.
    • (1966) Intl. Series in Applied Mathematics
    • Hartmanis, J.1    Stearns, R.E.2
  • 11
    • 84895339007 scopus 로고
    • Recursive learning: A precise implication procedure and its application to test verification and and optimization
    • Sept.
    • KUNZ, W. AND PRADHAN, D. 1994. Recursive learning: A precise implication procedure and its application to test verification and and optimization. IEEE Trans. Comput. Aided Des, Integ. Circ. Syst. (Sept.).
    • (1994) IEEE Trans. Comput. Aided Des, Integ. Circ. Syst.
    • Kunz, W.1    Pradhan, D.2
  • 12
    • 0038707335 scopus 로고
    • PhD Thesis, Electronics Research Laboratory, University of California, Berkeley, November. Memorandum No. UCB/ERL M91/105
    • LIN, B. 1991. Synthesis of VLSI design with symbolic techniques. PhD Thesis, Electronics Research Laboratory, University of California, Berkeley, November. Memorandum No. UCB/ERL M91/105.
    • (1991) Synthesis of VLSI Design with Symbolic Techniques
    • Lin, B.1
  • 17
    • 0000318151 scopus 로고
    • A theory and implementation of sequential hardware equivalence
    • PIXLEY, C. 1992. A theory and implementation of sequential hardware equivalence. IEEE Trans. Comput. -Aided Des. Integ. Circ. 11, 12 (Dec.), 1469-1494.
    • (1992) IEEE Trans. Comput. -Aided Des. Integ. Circ. , vol.11 , Issue.12 DEC. , pp. 1469-1494
    • Pixley, C.1
  • 19
    • 0027667677 scopus 로고
    • Classification of faults in synchronous sequential circuits
    • POMERANZ, I. AND REDDY, S. M. 1993. Classification of faults in synchronous sequential circuits. IEEE Trans. Comput. 42, 9 (Sept.), 1066-1077.
    • (1993) IEEE Trans. Comput. , vol.42 , Issue.9 SEPT. , pp. 1066-1077
    • Pomeranz, I.1    Reddy, S.M.2
  • 20
    • 0002516583 scopus 로고    scopus 로고
    • On removing redundancies from synchronous sequential circuits with synchronizing sequences
    • POMERANZ, I. AND REDDY, S. M. 1996. On removing redundancies from synchronous sequential circuits with synchronizing sequences. IEEE Trans. Comput. 45, 1, 20-32.
    • (1996) IEEE Trans. Comput. , vol.45 , Issue.1 , pp. 20-32
    • Pomeranz, I.1    Reddy, S.M.2
  • 29
    • 0005500417 scopus 로고    scopus 로고
    • PhD Thesis, The University of California at Berkeley, Electronics Research Laboratory, College of Engineering, University of California, Berkeley
    • SINGHAL, V. 1996. Design replacements for sequential circuits. PhD Thesis, The University of California at Berkeley, Electronics Research Laboratory, College of Engineering, University of California, Berkeley.
    • (1996) Design Replacements for Sequential Circuits
    • Singhal, V.1
  • 30
    • 0038368917 scopus 로고
    • The verification problem for replaceability
    • July
    • SINGHAL, V. AND PIXLEY, C. 1994. The verification problem for replaceability. In Comput. Aided Verif. (July).
    • (1994) Comput. Aided Verif.
    • Singhal, V.1    Pixley, C.2
  • 35
    • 0038368914 scopus 로고    scopus 로고
    • University of California, Berkeley. Personal communication
    • VILLA, T. University of California, Berkeley. Personal communication.
    • Villa, T.1


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