![SCIENTIFIC AND TECHNICAL JOURNAL OF INFORMATION TECHNOLOGIES, MECHANICS AND OPTICS](/images/mag-ntv.png)
VERIFICATION OF INTEGRATED CIRCUIT BEHAVIORAL MODELS BY PROGRAMMABLE LOGIC
![SCIENTIFIC AND TECHNICAL JOURNAL OF INFORMATION TECHNOLOGIES, MECHANICS AND OPTICS](/images/mag-ntv.png)
Annotation
Subject of Research. The paper considers the research of verification methods for behavioral models by the field-programmed gate array (FPGA). Applying verification with FPGA gives the possibility to identify functional errors, which are not determined at the verification phase of the traditional integrated circuits (IC) design. Method. The approach is recommendedto two-stage IC interface blocks prototyping with FPGA by means of standard IP-blocks and external devices. The addition of an extra verification phase was proposed carried out after the verification phase according to the traditional IC design path in the Cadence automated design system. Main Results. The approach was used to verify the block of the serial peripheral interface (SPI), which was included in the IC of the micromechanical accelerometer. The result of the interface block model verification showed that the first stage of prototyping with the use of standard interface IP blocks gives the possibility to reveal the existing functional errors in the device with minimal time. Without standard IP-blocks, the model of the verification device ought to be developed separately that can lead to malfunction risks of the final device. The second prototyping stage applying an external plug-in verification device makes it possible to get out of errors connected with signal propagation delays outside the IC and to avoid limitations connected with lack of necessary IP-blocks. Practical Relevance. Two-stage prototyping can be used in the design of IC interface blocks with a view to minimize the probability of errors in data transmission. Functional errors not detected during the verification phase of the traditional IC design were identified and corrected based on the results of two-stage prototyping of the SPI block model. The model designed by this approach was used to develop an IC for a micromechanical accelerometer.
Keywords
Постоянный URL
Articles in current issue
- TO THE ANNIVERSARY OF ALEXANDER LVOVICH FRADKOV
- DEPENDENCE OF SPECTRAL CHARACTERISTICS OF SEMICONDUCTOR AND SOLID STATE LASERS OF VISIBLE RANGE ON ACTIVE ENVIRONMENT TEMPERATURE
- SPECTRAL SENSITIVITY STABILITY ESTIMATION OF DIGITAL COLOR CAMERAS
- ENEGETIC EFFICIENCY ASSESSMENT OF SPECTRAL COHERENCE TOMOGRAPH OPTICAL-ELECTRONIC SYSTEM
- METAFILM-BASED BIOSENSOR FOR DETERMINATION OF GLUCOSE CONCENTRATION IN HUMAN BLOOD
- ADAPTIVE ROBUST DISTURBANCE COMPENSATION IN LINEAR SYSTEMS WITH DELAY
- ROBUST STABILIZATION OF TWIN-ROTOR MIMO PLANT
- POROUS STRUCTURE AND FUNCTIONAL PROPERTIES OF HIGHLY-PERMEABLE POLYPROPYLENE FILMS
- FABRICATION OF ACTIVE ADDITIVE TO SHAMPOOS BASED ON DIFFERENT NATURE NANOPARTICLES
- LASER SYNTHESIS OF SELENIUM NANOPARTICLES IN LIQUID MONOMERS
- DESIGN CONCEPTS FOR DIGITAL PROJECT AND PRODUCTION COMPANIES OF INDUSTRY 4.0 STANDARD
- AUDIO-REPLAY ATTACKS SPOOFING DETECTION FOR SPEAKER RECOGNITION SYSTEMS
- MATRIX-ITERATIVE SOLUTION METHOD FOR SYSTEM OF LINEAR EQUATIONS AND ITS APPLICATION IN SPACE TOMOGRAPHY SCANNING USING RADAR
- CROSS-DOMAIN WEB AUTHOR IDENTIFICATION
- FACE RECOGNITION SYSTEM FOR PAYMENT PROCESS ON MOBILE DEVICES AND WEB-APPLICATIONS
- MODELING OF ETHERNET NETWORKS IN OMNET ++ INET FRAMEWORK MEDIUM
- QUEUE SYSTEMS WITH POLYMODAL QUERY FLOWS
- STUDY OF COMPUTER VISION ALGORITHMS FOR SPACE TRACKING SYSTEMS IN TYPICAL MODES OF THEIR FUNCTIONING
- AN ALGORITHM FOR COMPACT FIXED-POINT IMPLEMENTATION OF DIGITAL CONTROLLERS
- SIMULATION MODEL FOR MULTICHANNEL PRIORITY SERVICE OF REDUNDANT DATA TRANSFER SYSTEM
- PLATFORM ARCHITECTURE FOR DEVELOPMENT OF MOBILE APPLICATIONS WITH OUTDOOR-QUESTS
- SHORTCUT ANALYTICAL-STATISTICAL MODELING METHODS FOR TECHNICAL SYSTEMS WITH DISTRIBUTED STRUCTURE
- STABILITY OF VISCOUS FILM ON SURFACE OF SLIGHTLY INCLINED ROTATING VERTICAL CYLINDER
- MATHEMATICAL MODEL OF RESONATOR CHAINS IN EXTERNAL MAGNETIC FIELD
- CREATION OF INDIVIDUAL LEARNING TRAJECTORIES BASED ON STUDENT’S ACHIEVEMENTS AND FUNCTIONAL STATE ANALYSIS
- DEVELOPMENT OF EDUCATIONAL PLATFORM FOR INDUSTRY 4.0 PRODUCTION PROCESS STUDY