» książki » Computers - Logic Design
topmenu
 |
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution
ISBN: 9780521022545 / Angielski / Miękka / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book develops the theory of typed feature structures, a data structure that generalizes both first-order terms and feature structures of unification-based grammars to include inheritance, typing, inequality, cycles, and intensionality.
This book develops the theory of typed feature structures, a data structure that generalizes both first-order terms and feature structures of unificat...
|
cena:
290,34 zł |
 |
Topology Via Logic
ISBN: 9780521576512 / Angielski / Miękka / 220 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This advanced textbook on topology has three unusual features. First, the introduction is from the locale viewpoint, motivated by the logic of finite observations: this provides a more direct approach than the traditional one based on abstracting properties of open sets in the real line. Second, the author freely exploits the methods of locale theory. Third, there is substantial discussion of some computer science applications. As computer scientists become more aware of the mathematical foundations of their discipline, it is appropriate that such topics are presented in a form of direct...
This advanced textbook on topology has three unusual features. First, the introduction is from the locale viewpoint, motivated by the logic of finite ...
|
cena:
242,58 zł |
 |
Handshake Circuits: An Asynchronous Architecture for VLSI Programming
ISBN: 9780521617154 / Angielski / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ?Design by programming? has proved very successful in the development of complex software systems. This book describes the construction of programs for VLSI digital circuit design, using the language Tangram, and shows how they can be compiled automatically in fully asynchronous circuits. Handshake circuits were invented by the author to separate questions involving the efficient implementation of the VLSI circuits from issues arising in their design. Dr van Berkel presents a mathematical theory of handshake circuits and a silicon compiler supported by a correctness proof. The treatment of...
?Design by programming? has proved very successful in the development of complex software systems. This book describes the construction of programs fo...
|
cena:
399,23 zł |
 |
Basic Proof Theory
ISBN: 9780521779111 / Angielski / Miękka / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of first-order logic formalization. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic, logic programming theory, category theory, modal logic, linear logic, first-order arithmetic and second-order logic. In each case the authors illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. For the new edition, they have rewritten many sections to improve...
This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of first-order logic fo...
|
cena:
227,81 zł |
 |
Multiple-Valued Logic Design: an Introduction
ISBN: 9780750302104 / Angielski / Twarda / 370 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Multiple-Valued Logic Design: An Introduction explains the theory and applications of this increasingly important subject. Written in a clear and understandable style, the author develops the material in a skillful way. Without using a huge mathematical apparatus, he introduces the subject in a general form that includes the well-known binary logic as a special case. The book is further enhanced by more 200 explanatory diagrams and circuits, hardware and software applications with supporting PASCAL programming, and comprehensive exercises with even-numbered answers for every chapter....
Multiple-Valued Logic Design: An Introduction explains the theory and applications of this increasingly important subject. Written in a clear and unde...
|
cena:
1818,95 zł |
 |
Op Amp Applications Handbook
ISBN: 9780750678445 / Angielski / Miękka / 896 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Operational amplifiers play a vital role in modern electronics design. The latest op amps have powerful new features, making them more suitable for use in many products requiring weak signal amplification, such as medical devices, communications technology, optical networks, and sensor interfacing. The Op Amp Applications Handbook may well be the ultimate op amp reference book available. This book is brimming with up-to-date application circuits, valuable design tips, and in-depth coverage of the latest techniques to simplify op amp circuit designs, and improve their performance. As an...
Operational amplifiers play a vital role in modern electronics design. The latest op amps have powerful new features, making them more suitable for us...
|
cena:
363,74 zł |
 |
Advances in Temporal Logic
ISBN: 9780792361497 / Angielski / Twarda / 453 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has been studied across a wide range of disciplines, from the natural sciences to philosophy and logic. Today, thirty plus years since Prior's work in laying out foundations for temporal logic, and two decades on from Pnueli's seminal work applying of temporal logic in specification and verification of computer programs, temporal logic has a strong and thriving international research community within the broad disciplines of computer science and...
Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has b...
|
cena:
578,30 zł |
 |
System-On-A-Chip Verification: Methodology and Techniques
ISBN: 9780792372790 / Angielski / Twarda / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. System-On-a-Chip Verification: Methodology and Techniques is the first book to cover verification strategies and methodologies for SOC verification from system level verification to the design sign- off. The topics covered include Introduction to the SOC design and verification aspects, System level verification in brief, Block level verification, Analog/mixed signal simulation, Simulation, HW/SW Co-verification, Static netlist verification, Physical verification, and Design sign-off in brief. All the verification aspects are illustrated with a single reference design for...
System-On-a-Chip Verification: Methodology and Techniques is the first book to cover verification strategies and methodologies for SOC verifi...
|
cena:
578,30 zł |
 |
Principles of Verifiable Rtl Design: A Functional Coding Style Supporting Verification Processes in Verilog
ISBN: 9780792373681 / Angielski / Twarda / 282 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. System designers, computer scientists and engineers have c- tinuously invented and employed notations for modeling, speci- ing, simulating, documenting, communicating, teaching, verifying and controlling the designs of digital systems. Initially these s- tems were represented via electronic and fabrication details. F- lowing C. E. Shannon's revelation of 1948, logic diagrams and Boolean equations were used to represent digital systems in a fa- ion that de-emphasized electronic and fabrication detail while revealing logical behavior. A small number of circuits were made available to remove the...
System designers, computer scientists and engineers have c- tinuously invented and employed notations for modeling, speci- ing, simulating, documentin...
|
cena:
578,30 zł |
 |
System-On-Chip Methodologies & Design Languages
ISBN: 9780792373933 / Angielski / Twarda / 342 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. System-on-Chip Methodologies & Design Languages brings together a selection of the best papers from three international electronic design language conferences in 2000. The conferences are the Hardware Description Language Conference and Exhibition (HDLCon), held in the Silicon Valley area of USA; the Forum on Design Languages (FDL), held in Europe; and the Asia Pacific Chip Design Language (APChDL) Conference. The papers cover a range of topics, including design methods, specification and modeling languages, tool issues, formal verification, simulation and synthesis. The results...
System-on-Chip Methodologies & Design Languages brings together a selection of the best papers from three international electronic design lan...
|
cena:
578,30 zł |
 |
Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics
ISBN: 9780792374077 / Angielski / Twarda / 112 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book was motivated by the problems being faced with shrinking IC process feature sizes. It is well known that as process feature sizes shrink, a host of electrical problems like cross-talk, electromigration, self-heat, etc. are becoming important. Cross-talk is one of the major problems since it results in unpredictable design behavior. In particular, it can result in significant delay variation or signal integrity problems in a wire, depending on the state of its neighboring wires. Typical approaches to tackle the cross-talk problem attempt to fix the problem once it is created. In our...
This book was motivated by the problems being faced with shrinking IC process feature sizes. It is well known that as process feature sizes shrink, a ...
|
cena:
385,52 zł |
 |
VLSI Synthesis of DSP Kernels: Algorithmic and Architectural Transformations
ISBN: 9780792374213 / Angielski / Twarda / 210 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A critical step in the design of a DSP system is to identify for each of its components (DSP kernels) an implementation architecture that provides the desired degree of flexibility/programmability and optimises the area-delay-power parameters. The book covers the entire solution space comprising both hardware multiplier-based and multiplex-less architectures that offer varying degrees of programmability. For each of the implementation styles, several algorithmic and architectural transformations are proposed so as to optimally implement weighted-sum based DSP kernels over the...
A critical step in the design of a DSP system is to identify for each of its components (DSP kernels) an implementation architecture that provides the...
|
cena:
578,30 zł |
 |
Low-Energy FPGAs -- Architecture and Design
ISBN: 9780792374282 / Angielski / Twarda / 182 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Low-Energy FPGAs: Architecture and Design is a primary resource for both researchers and practicing engineers in the field of digital circuit design.
The book addresses the energy consumption of Field-Programmable Gate Arrays (FPGAs). FPGAs are becoming popular as embedded components in computing platforms. The programmability of the FPGA can be used to customize implementations of functions on an application basis. This leads to performance gains, and enables reuse of expensive silicon. Chapter 1 provides an overview of digital circuit design and FPGAs. Chapter 2 looks... Low-Energy FPGAs: Architecture and Design is a primary resource for both researchers and practicing engineers in the field of digital circuit...
|
cena:
385,52 zł |
 |
Spectral Techniques in VLSI CAD
ISBN: 9780792374336 / Angielski / Twarda / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Spectral Techniques in VLSI CAD have become a subject of renewed interest in the design automation community due to the emergence of new and efficient methods for the computation of discrete function spectra. In the past, spectral computations for digital logic were too complex for practical implementation. The use of decision diagrams for spectral computations has greatly reduced this obstacle allowing for the development of new and useful spectral techniques for VLSI synthesis and verification. Several new algorithms for the computation of the Walsh, Reed-Muller, arithmetic and...
Spectral Techniques in VLSI CAD have become a subject of renewed interest in the design automation community due to the emergence of new and ...
|
cena:
578,30 zł |
 |
Rapid Prototyping of Digital Systems: A Tutorial Approach
ISBN: 9780792374398 / Angielski / Miękka / 270 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Rapid Prototyping of Digital Systems, Second Edition provides an exciting and challenging laboratory component for an undergraduate digital logic design class. The more advanced topics and exercises are also appropriate for consideration at schools that have an upper level course in digital logic or programmable logic. Rapid Prototyping of Digital Systems, Second Edition provides an exciting and challenging laboratory component for an undergraduate digital ... |
cena:
385,52 zł |
 |
Functional Decomposition with Applications to FPGA Synthesis
ISBN: 9780792375852 / Angielski / Twarda / 264 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. During the last few years Field Programmable Gate Arrays (FPGAs) have become increasingly important. Thanks to recent breakthroughs in technology, FPGAs offer millions of system gates at low cost and considerable speed.
Functional decomposition has emerged as an essential technique in automatic logic synthesis for FPGAs. Functional decomposition as a technique to find realizations for Boolean functions was already introduced in the late fifties and early sixties by Ashenhurst, Curtis, Roth and Karp. In recent years, however, it has attracted a great deal of renewed attention, for several... During the last few years Field Programmable Gate Arrays (FPGAs) have become increasingly important. Thanks to recent breakthroughs in technology, FPG...
|
cena:
578,30 zł |
 |
Memory Design Techniques for Low Energy Embedded Systems
ISBN: 9780792376903 / Angielski / Twarda / 144 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The proliferation of embedded systems, and the corresponding new chip and chip set designs, have brought additional attention to storage units. Indeed, the heterogeneity of components and structures within embedded systems and the possibility of using application-specific storage systems has added a new dimension to memory system design. Moreover, new degrees of freedom have been opened since the introduction of embedded memory arrays in different technologies, such as SRAMs, DRAMs and EEPROMs and Flash, and their realization on the same silicon substate hosting processing units.
Embedded... The proliferation of embedded systems, and the corresponding new chip and chip set designs, have brought additional attention to storage units. Indeed...
|
cena:
385,52 zł |
 |
Practical Low Power Digital VLSI Design
ISBN: 9780792380092 / Angielski / Twarda / 212 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Practical Low Power Digital VLSI Design emphasizes the optimization and trade-off techniques that involve power dissipation, in the hope that the readers are better prepared the next time they are presented with a low power design problem. The book highlights the basic principles, methodologies and techniques that are common to most CMOS digital designs. The advantages and disadvantages of a particular low power technique are discussed. Besides the classical area-performance trade-off, the impact to design cycle time, complexity, risk, testability and reusability are discussed. The...
Practical Low Power Digital VLSI Design emphasizes the optimization and trade-off techniques that involve power dissipation, in the hope that...
|
cena:
693,97 zł |
 |
Evolutionary Algorithms for VLSI CAD
ISBN: 9780792381686 / Angielski / Twarda / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In VLSI CAD, difficult optimization problems have to be solved on a constant basis. Various optimization techniques have been proposed in the past. While some of these methods have been shown to work well in applications and have become somewhat established over the years, other techniques have been ignored.
Recently, there has been a growing interest in optimization algorithms based on principles observed in nature, termed Evolutionary Algorithms (EAs). Evolutionary Algorithms in VLSI CAD presents the basic concepts of EAs, and considers the application of EAs in VLSI... In VLSI CAD, difficult optimization problems have to be solved on a constant basis. Various optimization techniques have been proposed in the past. Wh...
|
cena:
385,52 zł |
 |
Place Coding in Analog VLSI: A Neuromorphic Approach to Computation
ISBN: 9780792381945 / Angielski / Twarda / 215 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Neurobiology research suggests that information can be represented by the location of an activity spot in a population of cells (place coding'), and that this information can be processed by means of networks of interconnections. Place Coding in Analog VLSI defines a representation convention of similar flavor intended for analog-integrated circuit design. It investigates its properties and suggests ways to build circuits on the basis of this coding scheme.
In this electronic version of place coding, numbers are represented by the state of an array of nodes called a map, and... Neurobiology research suggests that information can be represented by the location of an activity spot in a population of cells (place coding'), and t...
|
cena:
578,30 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
