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