메뉴 건너뛰기




Volumn , Issue , 2004, Pages 372-379

A formal verification methodology for IP-based designs

Author keywords

[No Author keywords available]

Indexed keywords

DIAGNOSTIC TRACES; GLUE LOGIC; MODEL CHECKING; VERIFICATION METHODOLOGY;

EID: 13944278447     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSD.2004.1333299     Document Type: Conference Paper
Times cited : (3)

References (11)
  • 1
    • 7744236756 scopus 로고    scopus 로고
    • Embedded processors by the numbers
    • May
    • J. Turley, "Embedded Processors by the Numbers", Embedded Systems Programming, vol. 12, May 1999.
    • (1999) Embedded Systems Programming , vol.12
    • Turley, J.1
  • 2
    • 0003381961 scopus 로고    scopus 로고
    • Design methodology for IP providers
    • J. Haase, "Design Methodology for IP Providers", Proc. DATE, 1999, pp. 728-732.
    • (1999) Proc. DATE , pp. 728-732
    • Haase, J.1
  • 4
    • 4444370225 scopus 로고    scopus 로고
    • A qualification platform for design reuse
    • R. Seepold, N.M. Madrid, A. Vörg et al, "A Qualification Platform for Design Reuse", Proc. ISQED, 2002, pp. 75-80.
    • (2002) Proc. ISQED , pp. 75-80
    • Seepold, R.1    Madrid, N.M.2    Vörg, A.3
  • 6
    • 44949202069 scopus 로고    scopus 로고
    • Verification of embedded systems using a petri net based representation
    • L.A. Cortés, P. Eles, Z. Peng, "Verification of Embedded Systems using a Petri Net based Representation", in Proc. ISSS, 2000, pp. 149-155.
    • (2000) Proc. ISSS , pp. 149-155
    • Cortés, L.A.1    Eles, P.2    Peng, Z.3
  • 7
    • 0036957225 scopus 로고    scopus 로고
    • Formal verification in a component reuse methodology
    • D. Karlsson, P. Eles, Z. Peng, "Formal Verification in a Component Reuse Methodology", in Proc. ISSS, 2002, pp. 156-161
    • (2002) Proc. ISSS , pp. 156-161
    • Karlsson, D.1    Eles, P.2    Peng, Z.3
  • 11
    • 84893778914 scopus 로고    scopus 로고
    • Using formal techniques to Debug the AMBA system-on-chip bus protocol
    • A. Roychoudhury, T. Mitra, S.R. Karri, "Using formal techniques to Debug the AMBA System-on-Chip Bus Protocol", in Proc. DATE, 2003, pp. 828-833.
    • (2003) Proc. DATE , pp. 828-833
    • Roychoudhury, A.1    Mitra, T.2    Karri, S.R.3


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