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).