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

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

Research output: Book/Report › Report

Original language	English
Place of Publication	Espoo
Publisher	VTT Technical Research Centre of Finland
Number of pages	49
Publication status	Published - 2014
MoE publication type	D4 Published development or research report or study

Series	VTT Research Report
Volume	VTT-R-00212-14

Keywords

@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",

}

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 -