The Experts below are selected from a list of 143505 Experts worldwide ranked by ideXlab platform
Y. Hayashi - One of the best experts on this subject based on the ideXlab platform.
-
ICCAD - An algorithm for locating Logic Design errors
1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers, 1Co-Authors: M. Tomita, H.-h. Jiang, T. Yamamoto, Y. HayashiAbstract:Discusses the problem of locating Logic Design errors, and proposes an algorithm to solve it. Based on the results of Logic verification, the authors introduce an input pattern for locating Design errors. The pattern contains only one Boolean variable X/X and is used to sensitize the Design errors. An algorithm for locating single Design errors with the input patterns has been developed. Experimental results have shown the effectiveness of the input patterns and the algorithm for locating single Design errors. >
Svetlana Yanushkevich - One of the best experts on this subject based on the ideXlab platform.
-
Introduction to Logic Design
2008Co-Authors: Svetlana Yanushkevich, Vlad ShmerkoAbstract:With an abundance of insightful examples, problems, and computer experiments, Introduction to Logic Design provides a balanced, easy-to-read treatment of the fundamental theory of Logic functions and applications to the Design of digital devices and systems. Requiring no prior knowledge of electrical circuits or electronics, it supplies the essential material to understand the basic operation and Design of digital systems. Satisfying the Requirements of an Introductory Course The text presents a clear picture of basic concepts, effective problem-solving techniques, modern technologies, and applications. It focuses on the relationships between and the manipulation of various data structures. By examining the similarities and differences between assorted theoretical approaches for the representation, manipulation, and optimization of Boolean functions, the authors provide a unified overview of the relationships among digital system Design, computer organization, micro- and nanoelectronics, and numerical methods. The book also describes classical minimization techniques, along with advanced and emerging problems of Logic Design. Meeting the Needs of Developing Technology Reflecting the integrated nature of modern engineering, this text shows how theoretical ideas, physical devices, and Design methodologies come together to form a successful Design approach. It provides the basis to explore even more sophisticated aspects in the field.
-
Artificial intelligence in Logic Design
2005Co-Authors: Svetlana YanushkevichAbstract:There are three outstanding points of this book. First: for the first time, a collective point of view on the role of artificial intelligence paradigm in Logic Design is introduced. Second, the book reveals new horizons of Logic Design tools on the technologies of the near future. Finally, the contributors of the book are twenty recognizable leaders in the field from the seven research centres. The chapters of the book have been carefully reviewed by equally qualified experts. All contributors are experienced in practical electronic Design and in teaching engineering courses. Thus, the book's style is accessible to graduate students, practical engineers and researchers.
-
Logic Design of NanoICS
2004Co-Authors: Svetlana Yanushkevich, Vlad Shmerko, Sergey Edward LyshevskiAbstract:PREFACE ACKNOWLEDGEMENTS INTRODUCTION Progress From Micro- to Nanoelectronics Logic Design in Spatial Dimensions Towards Computer-Aided Design of NanoICs Methodology Example: Hypercube Structure of Hierarchical FPGA Summary Problems Further Reading References NANOTECHNOLOGIES Nanotechnologies Nanoelectronic Devices Digital Nanoscale Circuits: Gates vs. Arrays Molecular Electronics Scaling and Fabrication Summary Problems Further Reading References BASICS OF Logic Design IN NANOSPACE Graphs Data Structures for Switching Functions Sum-of-Products Expressions Shannon Decision Trees and Diagrams Reed-Muller Expressions Decision Trees and Diagrams Arithmetic Expressions Decision Trees and Diagrams Summary Problems Further Reading References WORD-LEVEL DATA STRUCTURES Word-level Data Structures Word-level Arithmetic Expressions Word-level Sum-of-Products Expressions Word-level Reed-Muller Expressions Summary Problems Further Reading References NANOSPACE AND HYPERCUBE-LIKE DATA STRUCTURES Spatial Structures Hypercube Data Structure Assembling of Hypercubes N-Hypercube Definition Degree of Freedom and Rotation Coordinate Description N-Hypercube Design for n > 3 Dimensions Embedding a Binary Decision Tree in N-Hypercube Assembling Spatial TopoLogical Measurements Summary Problems Further Reading References NANODIMENSIONAL MULTILEVEL CIRCUITS Graph-Based Models in Logic Design of Multilevel Networks Library of N-Hypercubes for Elementary Logic Functions Hybrid Design Paradigm: N-Hypercube and DAG Manipulation of N-Hypercubes Numerical Evaluation of 3-D Structures Summary Further Reading References LINEAR WORD-LEVEL MODELS OF MULTILEVEL CIRCUITS Linear Expressions Linear Arithmetic Expressions Linear Arithmetic Expressions of Elementary Functions Linear Decision Diagrams Representation of a Circuit Level by Linear Expression Linear Decision Diagrams for Circuit Representation Technique for Manipulating the Coefficients Linear Word-level Sum-of-Products Expressions Linear Word-level Reed-Muller Expressions Summary Problems Further Reading References EVENT-DRIVEN ANALYSIS OF HYPERCUBE-LIKE TOPOLOGY Formal Definition of Change in a Binary System Computing Boolean Differences Models of Logic Networks in Terms of Change Matrix Models of Change Models of Directed Changes in Algebraic Form Local Computation Via Partial Boolean Difference Generating Reed-Muller Expressions by Logic Taylor Series Arithmetic Analogs of Boolean Differences and Logic Taylor Expansion Summary Problems Further Reading References NANODIMENSIONAL MULTIVALUED CIRCUITS Introduction to Multivalued Logic Spectral Technique Multivalued Decision Trees and Decision Diagrams Concept of Change in Multivalued Circuits Generation of Reed-Muller Expressions Linear Word-level Expressions of Multivalued Functions Linear Nonarithmetic Word-level Representation of Multivalued Functions Summary Problems Further Reading References PARALLEL COMPUTATION IN NANOSPACE Data Structures and Massive Parallel Computing Arrays Linear Systolic Arrays for Computing Logic Functions Computing Reed-Muller Expressions Computing Boolean Differences Computing Arithmetic Expressions Computing Walsh Expressions Tree-Based Network for Manipulating a Switching Function Hypercube Arrays Summary Problems Further Reading References FAULT-TOLERANT COMPUTATION Definitions Probabilistic Behavior of Nanodevices Neural Networks Stochastic Computing Von Neumann's Model on Reliable Computation with Unreliable Components Faulty Hypercube-Like Computing Structures Summary Further Reading References INFORMATION MEASURES IN NANODIMENSIONS Information-Theoretical Measures at Various Levels of Design in Nanodimensions Information-Theoretical Measures in Logic Design Information Measures of Elementary Switching Functions Information-Theoretical Measures in Decision Trees Information Measures in the N-Hypercube Information-Theoretical Measures in Multivalued Functions Summary Problems Further Reading References INDEX
-
Editorial: artificial intelligence in Logic Design
Artificial Intelligence Review, 2003Co-Authors: Svetlana YanushkevichAbstract:This issue represents a collection of selected “pieces” created by “masters” in the area of Logic Design. Although relatively few people in the world participate in the research on artificial intelligence aspects of digital Design, this is no impairment to the truly original research. We believe that artificial intelligence approach is an important aspect of digital systems Design, because it includes advanced theory (such as multiple-valued Logic, fuzzy Logic and evolutionary algorithms) and is flexible to advanced and new technologies that could have far-reaching effects on future computers and information systems.
D.m. Tilbury - One of the best experts on this subject based on the ideXlab platform.
-
The practice of industrial Logic Design
Proceedings of the 2004 American Control Conference, 2004Co-Authors: D.m. TilburyAbstract:Many academic researchers have been working on the problem of how to improve industrial Logic Design. The problem that many are trying to solve is the perceived inefficiency of the current methods, which use primitive, low-level Design languages, practically no Logic reuse, and are very time consuming. To solve these problems researchers have focused on methods which can be verified against a known specification language, or which can be automatically generated from a specification. This work has generally been done with a minimal understanding of what the current Logic Design methods actually are. In this work, we present the results of an observational study of the current methods of creating control Logic. We find that the current specifications are generally informal and loosely defined, and that the typical Logic Designer is responsible for determining the details of system behavior, anticipating potential problems, and coordinating with other Designers. This is a larger range of activities than generally addressed by Logic Design schemes focused on verification or automatic Logic generation.
M. Tomita - One of the best experts on this subject based on the ideXlab platform.
-
ICCAD - An algorithm for locating Logic Design errors
1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers, 1Co-Authors: M. Tomita, H.-h. Jiang, T. Yamamoto, Y. HayashiAbstract:Discusses the problem of locating Logic Design errors, and proposes an algorithm to solve it. Based on the results of Logic verification, the authors introduce an input pattern for locating Design errors. The pattern contains only one Boolean variable X/X and is used to sensitize the Design errors. An algorithm for locating single Design errors with the input patterns has been developed. Experimental results have shown the effectiveness of the input patterns and the algorithm for locating single Design errors. >
H.-h. Jiang - One of the best experts on this subject based on the ideXlab platform.
-
ICCAD - An algorithm for locating Logic Design errors
1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers, 1Co-Authors: M. Tomita, H.-h. Jiang, T. Yamamoto, Y. HayashiAbstract:Discusses the problem of locating Logic Design errors, and proposes an algorithm to solve it. Based on the results of Logic verification, the authors introduce an input pattern for locating Design errors. The pattern contains only one Boolean variable X/X and is used to sensitize the Design errors. An algorithm for locating single Design errors with the input patterns has been developed. Experimental results have shown the effectiveness of the input patterns and the algorithm for locating single Design errors. >
