The hardware modeling and analysis techniques based on Kripke structure
Authors
Da Xiao, Yuefei Zhu, Shengli Liu, Dongxia Wang, Ruiqing Xiao
Corresponding Author
Da Xiao
Available Online January 2015.
- DOI
- 10.2991/isci-15.2015.219How to use a DOI?
- Keywords
- Model Testing; Kripke; CTL; Detection of hardware Trojan; Migration Relations;
- Abstract
This paper focuses on two aspects. One is the modeling method of hardware function based on Kripke structure. The other is the hardware design specification formal description method which based on temporal logic CTL. In order to design a hardware modeling method which based on Kripke Structure, Hardware implementation process and behavioral characteristics modeling method were studied deeply. Paper present the basic ideas and realize principles of the hardware Trojan detected by a model test method.
- Copyright
- © 2015, the Authors. Published by Atlantis Press.
- Open Access
- This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).
Cite this article
TY - CONF AU - Da Xiao AU - Yuefei Zhu AU - Shengli Liu AU - Dongxia Wang AU - Ruiqing Xiao PY - 2015/01 DA - 2015/01 TI - The hardware modeling and analysis techniques based on Kripke structure BT - Proceedings of the 2015 International Symposium on Computers & Informatics PB - Atlantis Press SP - 1639 EP - 1646 SN - 2352-538X UR - https://doi.org/10.2991/isci-15.2015.219 DO - 10.2991/isci-15.2015.219 ID - Xiao2015/01 ER -