@inproceedings{730b6a3607354a3eadb2d2aa7d06eae3,
title = "On using program specifications in hardware testing",
abstract = "In this paper, we discuss how the hardware might be tested when given a well debugged software tool implementing the same algorithm. In other words, the paper contributes on hardware testing when a specification of a system under test is given in terms of a software implementation. Such software specification is used to generate random test sequences with a step T as well as to perform boundary hardware testing with a step t. Preliminary experimental results on choosing values of integers T and t for the DES cryptosystem are provided in the paper.",
keywords = "DES cryptosystem, software/hardware testing, testing",
author = "Shatilov, \{Nikita P.\} and Kozhevnikov, \{Danil S.\} and Kushik, \{Natalya G.\} and Torgaev, \{Stanislav N.\}",
year = "2014",
month = jan,
day = "1",
doi = "10.1109/EDM.2014.6882500",
language = "English",
isbn = "9781479946686",
series = "International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM",
publisher = "IEEE Computer Society",
pages = "154--157",
booktitle = "2014 IEEE 15th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM 2014 - Proceedings",
note = "2014 IEEE 15th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM 2014 ; Conference date: 30-06-2014 Through 04-07-2014",
}