메뉴 건너뛰기




Volumn , Issue , 2003, Pages 204-213

LOTOS code generation for model checking of STBus based SoC: The STBus interconnection

Author keywords

Collaborative work; Communication channels; Computer architecture; Laboratories; Logic; Microelectronics; Process design; System buses; System recovery; System on a chip

Indexed keywords

APPLICATION SPECIFIC INTEGRATED CIRCUITS; AUTOMATIC PROGRAMMING; BUSES; CODES (SYMBOLS); COMMUNICATION CHANNELS (INFORMATION THEORY); COMPUTER ARCHITECTURE; COMPUTER SYSTEM RECOVERY; DESIGN; DISTRIBUTED COMPUTER SYSTEMS; FORMAL METHODS; INTEGRATED CIRCUIT INTERCONNECTS; LABORATORIES; MICROELECTRONICS; MICROPROCESSOR CHIPS; MODEL CHECKING; NETWORK COMPONENTS; PROCESS DESIGN; PROGRAM COMPILERS; PROGRAMMABLE LOGIC CONTROLLERS; SYSTEM BUSES;

EID: 34548346286     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MEMCOD.2003.1210105     Document Type: Conference Paper
Times cited : (12)

References (11)
  • 6
    • 0029254269 scopus 로고
    • Synthesis Steps and Design Models for Codesign
    • February
    • T. Ismail and A. Jerraya. Synthesis Steps and Design Models for Codesign. IEEE Computer, February 1995.
    • (1995) IEEE Computer
    • Ismail, T.1    Jerraya, A.2
  • 8
    • 0016972709 scopus 로고
    • Formal verification of parallel programs
    • R. Keller. Formal verification of parallel programs. Communications of the ACM, 19, 1976.
    • (1976) Communications of the ACM , vol.19
    • Keller, R.1
  • 9
    • 84943655783 scopus 로고    scopus 로고
    • Combining partial order reduction with on-the-fly model-checking
    • D. Peled. combining partial order reduction with on-the-fly model-checking. In Dill, 19:371-384, 1997.
    • (1997) Dill , vol.19 , pp. 371-384
    • Peled, D.1
  • 11
    • 84889065747 scopus 로고    scopus 로고
    • Linking Codesign and verification by means of E-LOTOS FDT
    • B. Werber, editor, IEEE Computer Society, September
    • P. Wodey and F. Baray. Linking Codesign and verification by means of E-LOTOS FDT. In B. Werber, editor, Euromicro, 99 Digital Systems Design. IEEE Computer Society, September 1999.
    • (1999) Euromicro, 99 Digital Systems Design
    • Wodey, P.1    Baray, F.2


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