Design for Testability of Integrated Circuits and Project Protection Difficulties
https://doi.org/10.32362/2500-316X-2019-7-4-60-70
Abstract
Design solutions of domestic VLSI were obtained as a result of the application of computeraided design tools of a foreign supplier (CAD Synopsys, Cadence Design Systems and Mentor Graphics), based on standard libraries of PDK elements (Project Design KIT) of factories and IC-modules also supplied mainly by foreign companies. As a rule, the developer does not have its own production facilities, using the services provided by foreign factories (fablesscompanies). Due to this fact, relevant are the studies aimed at the development of a complex of measures, excluding the possibility of unauthorized changes into IC, i.e. protection of projects against intentional hardware and technology violations made during the formation of the control information for handing it over to the production facility and/or in case of IC manufacture at the factory. This paper considers this task from the standpoint of the analysis of the methodology of design for testability (DFT), i.e., a complex of measures that provide obtaining solutions at the design stage. The solutions include the verification of the correct performance of the manufactured chip by means of external tests and/or self-testing procedures. It was proposed, inter alia: 1) to analyze the libraries of standard elements used in the project with full disclosure of their specifications; 2) to create nodes with the physical non-cloning function in the projects on the basis of the libraries of standard elements in models and analysis programs; 3) to analyze IP modules used in the project with the maximum disclosure of structure, methods and algorithms for providing test coverings; 4) to provide for the development in projects of special test kits and methods of their generation at the design stage of functions in order to detect malicious nodes and programs both within SoC cores and at the level of system buses; 5) to develop at the design stage and to apply during tests a technique of special hardware measurements of parameters of the manufactured circuits and analysis of their results, inter alia, according to measurements of delays in distribution of signals and/or buses current consumption.
About the Authors
E. Ph. PevtsovRussian Federation
Cand. of Sci. (Engineering), Associate Professor, Director of the Center for Design of Integrated Circuits, Devices of Nanoelectronics and Microsystems,
78, Vernadskogo pr., Moscow 119454, Russia
Scopus Author ID 6602652601
ResearcherID M-2709-2016
T. A. Demenkova
Russian Federation
Cand. of Sci. (Engineering), Associate Professor of the Chair of Computer Technology, Institute of Information Technologies,
78, Vernadskogo pr., Moscow 119454, Russia
Scopus author ID 57192958412
A. A. Shnyakin
Russian Federation
Programmer of the Center for Design of Integrated Circuits, Devices of
Nanoelectronics and Microsystems
78, Vernadskogo pr., Moscow 119454, Russia
References
1. IEEE 1500 Embedded Core Test. URL: http://grouper.ieee.org/groups/1500.
2. Wong B.P., Mittal A., Starr G. Nano-CMOS circuit and physical design. Moscow: Tekhnosfera Publ., 2014. 432 p., (in Russ.).
3. Shnyakin A.A., Pevtsov E.Ph., Demenkova T.A. Improving the functionality of the semiconductor matrix receiver of optical radiation. In: Proceed. VII Int. Conf. «Modern Technologies for Non-Destructive Testing» IOP Conf. Series: Materials Science and Engineering. IOP Publishing. 2018; 457: 012015. https://doi.org/10.1088/1757-899X/457/1/012015
4. Wang L.T., Chang Y.W., Cheng K.T.T. Electronic design automation: Synthesis, verification, and test. New York: Morgan Kaufmann, 2009. 971 p.
5. Rabai Jean M., Chandrakasan A., Nikolic B. Digital integrated circuits. Design methodology: 2nd ed. Moscow: Publishing House Williams, 2016. 912 p., (in Russ.).
6. Stotland I.A. An approach to simulation-based verification of interconnection modules of microprocessor computer systems. Nauchno-tekhnicheskij vestnik Povolzhʼya [Scientific and Technical Volga region Bulletin]. 2012; (4):191-196, (in Russ.).
7. Bobkov S.G. Development of high-performance trusted computing systems based on KOMDIV
8. microprocessors. Nanoindustiya [Nanoindustry]. 2017; S(74):14-17, (in Russ.).
9. Gubarev V.A., Voronkov S.O., Antufeev G.V. System modeling of digital devices in the style of block design. Voprosy radioelektroniki. Seriya «Elektronnaya vychislitelʼnaya tekhnika» (EVT) [Issues of Radio Electronics. Series: Electronic Computing]. 2012; 2:138-146, (in Russ.).
10. Belous A.I., Solodukha V.A., Shvedov S.V. Software and hardware Trojans-ways of implementation and methods of counteraction. The first technical encyclopedia: in 2 v. Ed. A.I. Bilous. Moscow: Tekhnosfera Publ., 2018. 1318 p., (in Russ.).
11. IEEE 1500 Embedded Core Test. URL: http://grouper.ieee.org/groups/1500.
12. Shnyakin A.A., Pevtsov E.Ph., Demenkova T.A. Improving the functionality of the semiconductor matrix receiver of optical radiation. In: Proceed. VII Int. Conf. «Modern Technologies for Non-Destructive Testing» IOP Conf. Series: Materials Science and Engineering. IOP Publishing. 2018; 457: 012015. https://doi.org/10.1088/1757-899X/457/1/012015
Supplementary files
|
1. Fig. 1. Diagram of a 4-bit register with a sequential scan chain. | |
Subject | ||
Type | Research Instrument | |
View
(50KB)
|
Indexing metadata ▾ |
|
2. Fig. 2. Shift Register Latch | |
Subject | ||
Type | Research Instrument | |
View
(28KB)
|
Indexing metadata ▾ |
|
3. Fig. 3. Example of the circuit signature generator | |
Subject | ||
Type | Research Instrument | |
View
(42KB)
|
Indexing metadata ▾ |
Review
For citations:
Pevtsov E.P., Demenkova T.A., Shnyakin A.A. Design for Testability of Integrated Circuits and Project Protection Difficulties. Russian Technological Journal. 2019;7(4):60-70. https://doi.org/10.32362/2500-316X-2019-7-4-60-70