Author: K. McEvoyPublisher: Cambridge University Press
ISBN: 9780521545655
Category : Computers
Languages : en
Pages : 454
Book Description
Recent research on the physical technologies of very large scale integration (VLSI).
Theoretical Foundations of VLSI Design
Author: K. McEvoyPublisher: Cambridge University Press
ISBN: 9780521545655
Category : Computers
Languages : en
Pages : 454
Book Description
Recent research on the physical technologies of very large scale integration (VLSI).
Algorithms and Data Structures in VLSI Design
Author: Christoph MeinelPublisher: Springer Science & Business Media
ISBN: 3642589405
Category : Computers
Languages : en
Pages : 271
Book Description
One of the main problems in chip design is the enormous number of possible combinations of individual chip elements within a system, and the problem of their compatibility. The recent application of data structures, efficient algorithms, and ordered binary decision diagrams (OBDDs) has proven vital in designing the computer chips of tomorrow. This book provides an introduction to the foundations of this interdisciplinary research area, emphasizing its applications in computer aided circuit design.
Intellectual Property Protection in VLSI Designs
Author: Gang QuPublisher: Springer Science & Business Media
ISBN: 0306487179
Category : Technology & Engineering
Languages : en
Pages : 198
Book Description
This overview of the security problems in modern VLSI design provides a detailed treatment of a newly developed constraint-based protection paradigm for the protection of VLSI design IPs – from FPGA design to standard-cell placement, and from advanced CAD tools to physical design algorithms.
Analog VLSI
Author: Shih-Chii LiuPublisher: MIT Press
ISBN: 9780262122559
Category : Computers
Languages : en
Pages : 466
Book Description
An introduction to the design of analog VLSI circuits. Neuromorphic engineers work to improve the performance of artificial systems through the development of chips and systems that process information collectively using primarily analog circuits. This book presents the central concepts required for the creative and successful design of analog VLSI circuits. The discussion is weighted toward novel circuits that emulate natural signal processing. Unlike most circuits in commercial or industrial applications, these circuits operate mainly in the subthreshold or weak inversion region. Moreover, their functionality is not limited to linear operations, but also encompasses many interesting nonlinear operations similar to those occurring in natural systems. Topics include device physics, linear and nonlinear circuit forms, translinear circuits, photodetectors, floating-gate devices, noise analysis, and process technology.
Recent Trends in Algebraic Development Techniques
Author: Maura CerioliPublisher: Springer
ISBN: 3540456457
Category : Computers
Languages : en
Pages : 353
Book Description
This book constitutes the thoroughly refereed post-workshop proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI in Genova, Italy, in April 2001. The book presents 16 papers selected from 32 workshop presentations. Among the topics addressed are formal specification, specification languages, term rewriting, and proof systems.
Fundamentals of Switching Theory and Logic Design
Author: Jaakko AstolaPublisher: Springer Science & Business Media
ISBN: 0387303111
Category : Technology & Engineering
Languages : en
Pages : 352
Book Description
Fundamentals of Switching Theory and Logic Design discusses the basics of switching theory and logic design from a slightly alternative point of view and also presents links between switching theory and related areas of signal processing and system theory. Switching theory is a branch of applied mathematic providing mathematical foundations for logic design, which can be considered as a part of digital system design concerning realizations of systems whose inputs and outputs are described by logic functions.
Extensions of First-Order Logic
Author: Maria ManzanoPublisher: Cambridge University Press
ISBN: 9780521354356
Category : Computers
Languages : en
Pages : 414
Book Description
An introduction to many-sorted logic as an extension of first-order logic.
Modal Logic
Author: Patrick BlackburnPublisher: Cambridge University Press
ISBN: 1316101959
Category : Computers
Languages : en
Pages : 574
Book Description
This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from economics to computational linguistics have since realised its worth. The book is for novices and for more experienced readers, with two distinct tracks clearly signposted at the start of each chapter. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects, and applications to issues in logic and computer science such as completeness, computability and complexity are considered. Three appendices supply basic background information and numerous exercises are provided. Ideal for anyone wanting to learn modern modal logic.
Metamathematics, Machines and Gödel's Proof
Author: N. ShankarPublisher: Cambridge University Press
ISBN: 9780521585330
Category : Computers
Languages : en
Pages : 224
Book Description
Describes the use of computer programs to check several proofs in the foundations of mathematics.
The Uncertain Reasoner's Companion
Author: J. B. ParisPublisher: Cambridge University Press
ISBN: 9780521460897
Category : Computers
Languages : en
Pages : 28
Book Description
This is an introduction to the mathematical foundations of uncertain reasoning.