Journal
Scientific and technical journal of information technologies, mechanics and optics
UDK004.312.2, 004.021, 510.649
Issue:5 (93)
Download PDF0 Kbyte
RELATIONAL THEORY APPLICATION FOR OPTIMAL DESIGN OF INTEGRATED CIRCUITS
Annotation
This paper deals with a method of relational theory adaptation for integrated circuits CAD systems. A new algorithm is worked out for optimal search of implicit Don’t Care values for combinational multiple-level digital circuits. The algorithm is described in terms of the adapted relational theory that gives the possibility for a very simple algorithm description for both intuitive understanding and formal analysis. The proposed method makes it possible to apply progressive experience of relational databases in efficient implementation of relational algebra operations (including distributed ones). Comparative analysis of the proposed algorithm and a classic one for optimal search of implicit Don’t Cares is carried out. The analysis has proved formal correctness of the proposed algorithm and its considerably less worst-case complexity. The search of implicit Don’t Care values in the integrated circuits design makes it easier to optimize such characteristics of IC as chip area, power, verifiability and reliability. However, the classic algorithm for optimal search of implicit Don’t Care values is not used in practice due to its very high computational complexity. Application of algorithms for sub-optimal search doesn’t give the possibility to realize the potential of IC optimization to the full. Implementation of the proposed algorithm in IC CAD (a.k.a., EDA) systems is adequate due to much lower computational complexity, and potentially makes it possible to improve the quality-development time ratio of IC (chip area, power, verifiability and reliability). Developed method gives the possibility for creation of distributed EDA system with higher computational power and, consequently, for design automation of more complex IC.
Keywords
Постоянный URL
Articles in current issue
- ACCOUNTING OF MANY-PARTICLE INTERACTIONS IN MOLECULAR J-AGGREGATES AND NONLINEAR OPTICAL EFFECTS IN THESE SYSTEMS
- SERS OF BACTERIORHODOPSIN WITH OUT-DIFFUSED SILVER NANOISLANDS
- SOLID BODY ABLATION UNDER EXPOSURE TO ULTRA SHORT LASER PULSES: STUDY BY MOLECULAR DYNAMICS METHODS
- FUNDAMENTAL MATRIX OF LINEAR CONTINUOUS SYSTEM IN THE PROBLEM OF ESTIMATING ITS TRANSPORT DELAY
- THERMAL AND ELECTRIC FIELDS AT SPARK PLASMA SINTERING OF THERMOELECTRIC MATERIALS
- INFLUENCE OF QUARTZ CERAMICS SINGLE-STAGE PROCESSING BY GEL-FORMING WATER SOLUTIONS ON ITS STRENGTH
- INVESTIGATION OF SORPTION CHARACTERISTICS OF POLYMERIC MINERAL-FILLED COMPOSITES FOR MEDICINE
- CRYSTALLIZATION KINETICS OF POLYMERIC NANOCOMPOSITES BASED ON POLYAMIDE 12 MODIFIED BY Cr2O3 NANOPARTICLES
- INORGANIC PHOSPHORS IN GLASS BASED ON LEAD SILICATE GLASSES
- IMPROVEMENT OF RECOGNITION QUALITY IN DEEP LEARNING NETWORKS BY SIMULATED ANNEALING METHOD
- EXPERIMENTAL STUDY OF FIRMWARE FOR INPUT AND EXTRACTION OF USER’S VOICE SIGNAL IN VOICE AUTHENTICATION SYSTEMS
- SYSTEMS FOR SUPPORT OF COLLABORATIVE STUDIES IN THE COLLA ENVIRONMENT BASED ON THE EVENT BUSH METHOD
- BILINGUAL MULTIMODAL SYSTEM FOR TEXT-TO-AUDIOVISUAL SPEECH AND SIGN LANGUAGE SYNTHESIS
- POLICE OFFICE MODEL IMPROVEMENT FOR SECURITY OF SWARM ROBOTIC SYSTEMS
- RELATIONAL THEORY APPLICATION FOR OPTIMAL DESIGN OF INTEGRATED CIRCUITS
- INTERVALS OPTIMIZATION OF SYSTEMS INFORMATION SECURITY INSPECTION
- ALGORITHM FOR SEMANTIC TEXT ANALYSIS BY MEANS OF BASIC SEMANTIC TEMPLATES WITH DELETION
- ARCHITECTURE OF WEB BASED COMPUTER-AIDED MANUFACTURING SYSTEM
- SIMULATION OF PULSED BREAKDOWN IN HELIUM BY ADAPTIVE METHODS
- ON ALGORITHMS CREATION FOR STRAPDOWN STABILIZED GYROCOMPASS OPERATION BASED ON ELECTRICALLY SUSPENDED GYROSCOPE
- MODELING AND EXPERIMENTAL STUDY OF A FIBER OPTIC HYDROPHONE SENSING ELEMENT
- NEW APPROACHES TO EFFICIENCY OF MASSIVE ONLINE COURSE
- INFORMATION INFRASTRUCTURE OF THE EDUCATIONAL ENVIRONMENT WITH VIRTUAL MACHINE TECHNOLOGY
- TWO-LAYER PHASE COMPENSATING INTERFERENCE SYSTEMS
- A PROTOTYPE OF BARENTSNET PROFESSIONAL SOCIAL NETWORK FOR INFORMATION SUPPORT OF DEVELOPMENT MANAGEMENT FOR BARENTS EURO-ARCTIC REGION