Power-Oriented Monitoring of Clock Signals in FPGA Systems for Critical Application

This paper presents a power-oriented monitoring of clock signals that is designed to avoid synchronization failure in computer systems such as FPGAs. The proposed design reduces power consumption and increases the power-oriented checkability in FPGA systems. These advantages are due to improvements in the evaluation and measurement of corresponding energy parameters. Energy parameter orientation has proved to be a good solution for detecting a synchronization failure that blocks logic monitoring circuits. Key advantages lay in the possibility to detect a synchronization failure hidden in safety-related systems by using traditional online testing that is based on logical checkability. Two main types of power-oriented monitoring are considered: detecting a synchronization failure based on the consumption and the dissipation of power, which uses temperature and current consumption sensors, respectively. The experiments are performed on real FPGA systems with the controlled synchronization disconnection and the use of the computer-aided design (CAD) utility to estimate the decreasing values of the energy parameters. The results demonstrate the limited checkability of FPGA systems when using the thermal monitoring of clock signals and success in monitoring by the consumption current.

[1]  Marko Čepin.  Common Cause Failures , 2011 .

[2]  Antonio Rubio,et al.  Thermal testing of integrated circuits , 2002 .

[3]  Vikas.  A REVIEW ON GLITCH REDUCTION TECHNIQUES , 2014 .

[4]  Oleksandr Drozd,et al.  POWER-CONSUMPTION-ORIENTED CHECKABILITY FOR FPGA-BASED COMPONENTS OF SAFETY-RELATED SYSTEMS , 2019 .

[5]  Vyacheslav Kharchenko,et al.  Development of Models in Resilient Computing , 2019, 2019 10th International Conference on Dependable Systems, Services and Technologies (DESSERT).

[6]  A. Drozd,et al.  Green Experiments with FPGA , 2017 .

[7]  Krishnendu Chakrabarty,et al.  Built-in self testing of high-performance circuits using twisted-ring counters , 2000, 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353).

[8]  Care and Feeding of FPGA Power Supplies : A How and Why Guide to Success , 2019 .

[9]  Volodymyr Turchenko,et al.  Intelligent nodes for distributed sensor network , 1999, IMTC/99. Proceedings of the 16th IEEE Instrumentation and Measurement Technology Conference (Cat. No.99CH36309).

[10]  Ibrahim Ahmed,et al.  Development of Field Programmable Gate Array-based Reactor Trip Functions Using Systems Engineering Approach , 2016 .

[11]  Stefan Mangard,et al.  Side-Channel Leakage of Masked CMOS Gates , 2005, CT-RSA.

[12]  Márta Rencz,et al.  Thermal Monitoring of Self-Checking Systems , 1998, J. Electron. Test..

[13]  MurugesanSan.  Harnessing Green IT , 2008 .

[14]  Jolanta Pauk,et al.  Infrared Thermography Sensor for Disease Activity Detection in Rheumatoid Arthritis Patients , 2019, Sensors.

[15]  Cecilia Metra,et al.  Self-checking scheme for the on-line testing of power supply noise , 2002, Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition.

[16]  Yunsi Fei,et al.  Faulty Clock Detection for Crypto Circuits Against Differential Fault Analysis Attack , 2014, IACR Cryptol. ePrint Arch..

[17]  The Safety Critical Systems Handbook , 2020 .

[18]  San Murugesan,et al.  Harnessing Green IT: Principles and Practices , 2008, IT Professional.

[19]  Chao Zhang,et al.  A Synthesizable Temperature Sensor on FPGA Using DSP-Slices for Reduced Calibration Overhead and Improved Stability , 2015, ARCS.

[20]  Eli Tilevich,et al.  Reusable and Extensible Fault Tolerance for RESTful Applications , 2012, 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications.

[21]  Robert E. Hiromoto,et al.  PARALLELISM AND COMPLEXITY OF A SMALL-WORLD NETWORK MODEL , 2016 .

[22]  Chenxu Wang,et al.  An All CMOS Temperature Sensor for Thermal Monitoring of VLSI Circuits , 2009, 2009 IEEE Circuits and Systems International Conference on Testing and Diagnosis.

[23]  A. Drozd,et al.  Checkable FPGA Design: Energy Consumption, Throughput and Trustworthiness , 2018, Green IT Engineering: Social, Business and Industrial Applications.

[24]  Kevin Skadron,et al.  Monitoring temperature in FPGA based SoCs , 2005, 2005 International Conference on Computer Design.

[25]  Vyacheslav Kharchenko,et al.  Reliability and survivability models of integrated drone-based systems for post emergency monitoring of NPPs , 2016, 2016 International Conference on Information and Digital Technologies (IDT).

[26]  Abdelghani Renbi,et al.  Power and energy efficiency evaluation for HW and SW implementation of nxn matrix multiplication on Altera FPGAs , 2009 .

[27]  Vyacheslav Kharchenko,et al.  Risk Assessment of Critical Energy Infrastructure Considering Physical and Cyber Assets: Methodology and Models , 2018, 2018 IEEE 4th International Symposium on Wireless Systems within the International Conferences on Intelligent Data Acquisition and Advanced Computing Systems (IDAACS-SWS).

[28]  Yervant Zorian,et al.  On-Line Testing for VLSI—A Compendium of Approaches , 1998, J. Electron. Test..

[29]  Michael Nicolaidis.  On-line testing for VLSI , 1997, Proceedings International Test Conference 1997.

[30]  Marta Rencz,et al.  Design considerations to enhance thermal testability , 2012, 2012 IEEE 14th Electronics Packaging Technology Conference (EPTC).

[31]  Fan Zhang,et al.  Power Analysis and Optimization , 2017 .

[32]  Alexander Palagin,et al.  The implementation of extended arithmetics on FPGA-based structures , 2017, 2017 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS).

[33]  Sergey F. Tyurin,et al.  Green Logic: Models, Methods, Algorithms , 2017 .

[34]  Cecilia Metra,et al.  Concurrent Checking of Clock Signal Correctness , 1998, IEEE Des. Test Comput..

[35]  Bernard Courtois,et al.  Design for thermal testability (DfTT) and a CMOS realization , 1996 .