CORSICA 2013 work report: Test set generation, FPGA model checking, and fault injection

Jussi Lahtinen, Jukka Ranta, L Lötjönen

    Research output: Book/ReportReport

    Original languageEnglish
    Place of PublicationEspoo
    PublisherVTT Technical Research Centre of Finland
    Number of pages49
    Publication statusPublished - 2014
    MoE publication typeD4 Published development or research report or study

    Publication series

    SeriesVTT Research Report
    VolumeVTT-R-00212-14

    Keywords

    • Test set generation
    • test coverage
    • FPGA
    • model checking
    • fault injection

    Cite this

    Lahtinen, J., Ranta, J., & Lötjönen, L. (2014). CORSICA 2013 work report: Test set generation, FPGA model checking, and fault injection. Espoo: VTT Technical Research Centre of Finland. VTT Research Report, Vol.. VTT-R-00212-14
    Lahtinen, Jussi ; Ranta, Jukka ; Lötjönen, L. / CORSICA 2013 work report : Test set generation, FPGA model checking, and fault injection. Espoo : VTT Technical Research Centre of Finland, 2014. 49 p. (VTT Research Report, Vol. VTT-R-00212-14).
    @book{3383c862c4734adc903211ffe7eedb6b,
    title = "CORSICA 2013 work report: Test set generation, FPGA model checking, and fault injection",
    keywords = "Test set generation, test coverage, FPGA, model checking, fault injection",
    author = "Jussi Lahtinen and Jukka Ranta and L L{\"o}tj{\"o}nen",
    note = "Project code: 77376 CORSICA",
    year = "2014",
    language = "English",
    series = "VTT Research Report",
    publisher = "VTT Technical Research Centre of Finland",
    address = "Finland",

    }

    Lahtinen, J, Ranta, J & Lötjönen, L 2014, CORSICA 2013 work report: Test set generation, FPGA model checking, and fault injection. VTT Research Report, vol. VTT-R-00212-14, VTT Technical Research Centre of Finland, Espoo.

    CORSICA 2013 work report : Test set generation, FPGA model checking, and fault injection. / Lahtinen, Jussi; Ranta, Jukka; Lötjönen, L.

    Espoo : VTT Technical Research Centre of Finland, 2014. 49 p. (VTT Research Report, Vol. VTT-R-00212-14).

    Research output: Book/ReportReport

    TY - BOOK

    T1 - CORSICA 2013 work report

    T2 - Test set generation, FPGA model checking, and fault injection

    AU - Lahtinen, Jussi

    AU - Ranta, Jukka

    AU - Lötjönen, L

    N1 - Project code: 77376 CORSICA

    PY - 2014

    Y1 - 2014

    KW - Test set generation

    KW - test coverage

    KW - FPGA

    KW - model checking

    KW - fault injection

    M3 - Report

    T3 - VTT Research Report

    BT - CORSICA 2013 work report

    PB - VTT Technical Research Centre of Finland

    CY - Espoo

    ER -

    Lahtinen J, Ranta J, Lötjönen L. CORSICA 2013 work report: Test set generation, FPGA model checking, and fault injection. Espoo: VTT Technical Research Centre of Finland, 2014. 49 p. (VTT Research Report, Vol. VTT-R-00212-14).