메뉴 건너뛰기




Volumn , Issue , 2004, Pages 192-197

Enhancing the performance of multi-cycle path analysis in an industrial setting

Author keywords

[No Author keywords available]

Indexed keywords

FINITE STATE MACHINES (FSM); INDUSTRIAL DESIGNS; INDUSTRIAL SETTING; MULTI-CYCLE PATH ANALYSIS;

EID: 2442509031     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (9)

References (12)
  • 7
    • 0034516553 scopus 로고    scopus 로고
    • Multi-cycpe path detection based on propositional satisfiability with cnf simplification using adaptive variable insertion
    • December
    • K. Nakamura, S. Maruoka, S. Kimura, and K. Watanabe. Multi-cycpe path detection based on propositional satisfiability with cnf simplification using adaptive variable insertion. IEICE Trans. on Fundamentals, E83-A(12):2600-2607, December 2000.
    • (2000) IEICE Trans. on Fundamentals , vol.E83-A , Issue.12 , pp. 2600-2607
    • Nakamura, K.1    Maruoka, S.2    Kimura, S.3    Watanabe, K.4
  • 9
    • 0036059440 scopus 로고    scopus 로고
    • An implication-based method to detect multi-cycle paths in large sequential circuits
    • June
    • H. Higuchi. An implication-based method to detect multi-cycle paths in large sequential circuits. In Proceedings of the 39th ACM/IEEE Design Automation Conference, pages 164-169, June 2002.
    • (2002) Proceedings of the 39th ACM/IEEE Design Automation Conference , pp. 164-169
    • Higuchi, H.1
  • 10
    • 0022769976 scopus 로고
    • Graph-based algorithms for boolean function manipulation
    • August
    • R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, 35(8):677-691, August 1986.
    • (1986) IEEE Transactions on Computers , vol.35 , Issue.8 , pp. 677-691
    • Bryant, R.E.1
  • 12
    • 0005556716 scopus 로고
    • Enhanced unique sensitization for efficient test generation
    • September
    • Y. Matsunaga and M. Fujita. Enhanced unique sensitization for efficient test generation. IEICE Trans. on Information and Systems, E76-D(9):1114-1120, September 1993.
    • (1993) IEICE Trans. on Information and Systems , vol.E76-D , Issue.9 , pp. 1114-1120
    • Matsunaga, Y.1    Fujita, M.2


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