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. VTT Technical Research Centre of Finland. VTT Research Report, Vol.. VTT-R-00212-14 http://www.vtt.fi/inf/julkaisut/muut/2014/VTT-R-00212-14.pdf