Hardware Checker Module

被引：0
|
作者：
Pahanel, Michael O. [1 ]
机构：
[1] Texas Instruments Inc, Batu Berendam Free Trade 75350, Melaka, Malaysia
来源：
2012 35TH IEEE/CPMT INTERNATIONAL ELECTRONICS MANUFACTURING TECHNOLOGY SYMPOSIUM (IEMT) | 2012年
关键词：
D O I：
暂无
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
引用
收藏
页数：3
相关论文
共 50 条
  • [1] Hardware property checker for run-time Hardware Trojan detection
    Institut MINES-TELECOM, TELECOM ParisTech, CNRS LTCI, UMR 5141, Paris Cedex 13
    75634, France
    不详
    35510, France
    Eur. Conf. Circuit Theory Des., ECCTD, 2015,
  • [2] Hardware Property Checker for Run-Time Hardware Trojan Detection
    Ngo, Xuan Thuy
    Danger, Jean-Luc
    Guilley, Sylvain
    Najm, Zakaria
    Emery, Olivier
    2015 EUROPEAN CONFERENCE ON CIRCUIT THEORY AND DESIGN (ECCTD), 2015, : 97 - 100
  • [3] Using a hardware model checker to verify software
    Edwards, SA
    Ma, T
    Damiano, R
    2001 4TH INTERNATIONAL CONFERENCE ON ASIC PROCEEDINGS, 2001, : 85 - 90
  • [4] Hardware design rule checker using a CAM architecture
    Kim, S
    Sridhar, R
    VLSI DESIGN, 1996, 4 (02) : 141 - 147
  • [5] Door hardware module
    Designfax Magazine, 1995, 17 (04):
  • [6] Research on the Method of Parity Checker Design Based on Evolvable Hardware
    Wang Kuifu
    Yan Jingfeng
    2010 THE 3RD INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND INDUSTRIAL APPLICATION (PACIIA2010), VOL III, 2010, : 57 - 59
  • [7] Chico: An On-Chip Hardware Checker for Pipeline Control Logic
    DeOrio, Andrew
    Bauserman, Adam
    Bertacco, Valeria
    MTV 2007: EIGHTH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION, PROCEEDINGS, 2008, : 91 - 97
  • [8] Research on the Method of Parity Checker Design Based on Evolvable Hardware
    Wang, Kuifu
    Yan, Jingfeng
    APPLIED INFORMATICS AND COMMUNICATION, PT III, 2011, 226 : 119 - 124
  • [9] An Equivalence Checker for Hardware-Dependent Embedded System Software
    Villarraga, Carlos
    Schmidt, Bernard
    Bormann, Joerg
    Bartsch, Christian
    Stoffel, Dominik
    Kunz, Wolfgang
    2013 ELEVENTH ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CODESIGN (MEMOCODE 2013), 2013, : 119 - 128
  • [10] On Automated Generation of Checker Units from Hardware Assertion Languages
    Fibich, Christian
    Wenzl, Matthias
    Roessler, Peter
    2014 MICROELECTRONIC SYSTEMS SYMPOSIUM (MESS), 2014,
12345