| 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 |
Publication series
| Series | VTT Research Report |
|---|---|
| Volume | VTT-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
@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/Report › Report
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).