Mini faq
Logic Circuit Design
ISBN: 9780030507939 / Angielski / Twarda / 734 str. With Shaw's conversational writing style, sophomore engineering and computer science majors will find this text's coverage of combinational and sequential logic design easy to understand and a pleasure to read. The text is remarkably clear and provides extensive examples. Shaw maintains an ongoing relationship with industry, which is reflected in the text's primary goal of preparing students for entry into the workplaceready to design. The text's designfirst organization allows students to master a simple systematic design process, then move to design and analysis of more complex circuits....
With Shaw's conversational writing style, sophomore engineering and computer science majors will find this text's coverage of combinational and sequen...


cena:
1158,50 zł 
Signal and Power Integrity in Digital Systems: TTL, CMOS, and BICMOS
ISBN: 9780070087347 / Angielski / Twarda / 400 str. This book shows designers how to ensure signal integrity and control noise in highspeed digital systems  particularly important in a Pentiumpaced environment where functional logic design is no longer separable from electrical and mechanical design. Highlighting TTL, CMOS, and BiCMOS logic applications in a single source, Signal and Power Integrity in Digital Systems provides a practical solutionsoriented approach to a wide variety of relevant interconnection and timing issues. Special features include noise tolerant logic architectures; power distribution techniques that reduce noise;...
This book shows designers how to ensure signal integrity and control noise in highspeed digital systems  particularly important in a Pentiumpaced e...


cena:
304,03 zł 
Photodiode Amplifiers: Op Amp Solutions
ISBN: 9780070242470 / Angielski / Twarda / 252 str. Light photons impinging upon a semiconductor material in the vicinity of a PN junction release conduction carriers to produce current flow through the photodiode effect. Photodiode amplifiers convert this current to a voltage in a relationship that remains linear as long as the amplifier eliminates signal voltage swing from the photodiode.
Light photons impinging upon a semiconductor material in the vicinity of a PN junction release conduction carriers to produce current flow through th...


cena:
367,35 zł 
SystemOnChip Test Architectures: Nanometer Design for Testability
ISBN: 9780123739735 / Angielski / Twarda / 856 str. Modern electronics testing has a legacy of more than 40 years. The introduction of new technologies, especially nanometer technologies with 90nm or smaller geometry, has allowed the semiconductor industry to keep pace with the increased performancecapacity demands from consumers. As a result, semiconductor test costs have been growing steadily and typically amount to 40% of today's overall product cost.
This book is a comprehensive guide to new VLSI Testing and DesignforTestability techniques that will allow students, researchers, DFT practitioners, and VLSI designers to master quickly... Modern electronics testing has a legacy of more than 40 years. The introduction of new technologies, especially nanometer technologies with 90nm or sm...


cena:
319,71 zł 
Digital System Design Using Field Programmable Gate Arrays
ISBN: 9780133190212 / Angielski / Miękka / 256 str. This is the first book to offer a complete description of FPGAs and the methods involved in using CAD design tools for implementation of digital systems using FPGAs. It covers both general concepts of systems and logic design and specific issues related to FPGAs themselves  with reference to all existing technologies. Provides a complete approach to digital systems specification, synthesis, implementation and prototyping. Outlines all steps in using FPGA technology in logic design  from description of the problem to realization  and contains practical, detailed examples... This is the first book to offer a complete description of FPGAs and the methods involved in using CAD design tools for implementation of digital s... 

cena:
414,90 zł 
Practical Design Using Programmable Logic
ISBN: 9780137238347 / Angielski / Miękka / 320 str. The book starts with the basics of logic design and quickly progresses to advanced PLDspecific design techniques, with a section addressing problems of testability and production. It ends with an informative design example including descriptions and supplementary documentation complete enough to allow even the most novice PLD users to duplicate this design themselves. The book starts with the basics of logic design and quickly progresses to advanced PLDspecific design techniques, with a section addressing proble... 

cena:
383,78 zł 
Temporal Logic: Mathematical Foundations and Computational Aspects Volume 2
ISBN: 9780198537687 / Angielski / Twarda / 616 str. This is the second volume in a series of wellrespected works in temporal science and is by the same authors as the first. Volume one dealt primarily with basic concepts and methods, volume two discuses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations from volume one, covering automata, branching time and labelled deduction. The rest of the book is devoted to discussions of temporal databases, temporal execution and programming, actions and planning. With its inclusion of cuttingedge results and unifying methodologies, this...
This is the second volume in a series of wellrespected works in temporal science and is by the same authors as the first. Volume one dealt primarily ...


cena:
1735,02 zł 
Computation and Reasoning  A Type Theory for Computer Science
ISBN: 9780198538356 / Angielski / Twarda / 240 str. This book develops a type theory, studies its properties, and explains its uses in computer science. The book focuses in particular on how the study of type theory may offer a powerful and uniform language for programming, program specification and development, and logical reasoning. The type theory developed here reflects a conceptual distinction between logical propositions and computational data types. Starting from an introduction of the basic concepts, the author explains the meaning and use of the typetheoretic language with prooftheoretic justifications, and discusses various issues...
This book develops a type theory, studies its properties, and explains its uses in computer science. The book focuses in particular on how the study o...


cena:
455,76 zł 
Asynchronous Circuits
ISBN: 9780387944203 / Angielski / Twarda / 404 str. Although asynchronous circuits date back to the early 1950s most of the digital circuits in use today are synchronous because, traditionally, asynchronous circuits have been viewed as difficult to understand and design. In recent years, however, there has been a great surge of interest in asynchronous circuits, largely through the development of new asynchronous design methodologies.
This book provides a comprehensive theory of asynchronous circuits, including modelling, analysis, simulation, specification, verification, and an introduction to their design. It is based on courses given to... Although asynchronous circuits date back to the early 1950s most of the digital circuits in use today are synchronous because, traditionally, asynchro...


cena:
917,66 zł 
Logic for Applications
ISBN: 9780387948935 / Angielski / Twarda / 456 str. In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re cent dramatic growth in the applications oflogic to computer science. Thus, our choice oftopics has been heavily influenced by such applications. Of course, we cover the basic traditional topics: syntax, semantics, soundnes5, completeness and compactness as well as a few more advanced results such as the theorems of SkolemLowenheim and Herbrand. Much ofour book, however, deals with other less traditional topics. Resolution theorem...
In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to ...


cena:
598,48 zł 
Spectral Interpretation of Decision Diagrams
ISBN: 9780387955452 / Angielski / Twarda / 286 str. Anyone who can interpret decision diagrams using the spectral approach can advance both the utility and understanding of classical DD techniques. This approach also provides a framework for developing advanced solutions for digital design and a host of other applications. Scientists, computer science and engineering professionals, and researchers with an interest in the spectral methods of representing discrete functions, as well as the foundations of logic design, will find the book a clearly explained, wellorganized, and essential resource. Anyone who can interpret decision diagrams using the spectral approach can advance both the utility and understanding of classical DD techniques. T... 

cena:
507,53 zł 
Refinement Calculus: A Systematic Introduction
ISBN: 9780387984179 / Angielski / Miękka / 520 str. Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? This latter question is known as the refinement of programs and the purpose of this book is to consider these questions in a formal setting. In fact, correctness turns out to be a special case of refinement and so the focus is on refinement. Although a reasonable background knowledge is assumed from mathematics and CS, the book is a selfcontained introduction suitable for graduate students and researchers coming to this subject for...
Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving c...


cena:
461,96 zł 
Descriptive Complexity
ISBN: 9780387986005 / Angielski / Twarda / 268 str. A basic issue in computer science is the complexity of problems. Computational complexity measures how much time or memory is needed as a function of the input problem size. Descriptive complexity is concerned with problems which may be described in firstorder logic. By virtue of the close relationship between logic and relational databses, it turns out that this subject has important applications to databases such as analysing the queries computable in polynomial time, analysing the parallel time needed to compute a query, and the analysis of nondeterministic classes. This book is written...
A basic issue in computer science is the complexity of problems. Computational complexity measures how much time or memory is needed as a function of ...


cena:
461,96 zł 
Advanced FPGA Design: Architecture, Implementation, and Optimization
ISBN: 9780470054376 / Angielski / Twarda / 352 str. This book provides the advanced issues of FPGA design as the underlying theme of the work. In practice, an engineer typically needs to be mentored for several years before these principles are appropriately utilized. The topics that will be discussed in this book are essential to designing FPGA's beyond moderate complexity. The goal of the book is to present practical design techniques that are otherwise only available through mentorship and realworld experience.
This book provides the advanced issues of FPGA design as the underlying theme of the work. In practice, an engineer typically needs to be mentored for...


cena:
516,42 zł 
Digital Design from Zero to One
ISBN: 9780471124474 / Angielski / Miękka / 640 str. Takes a fresh look at basic digital design. From definition, to example, to graphic illustration, to simulation result, the book progresses through the main themes of digital design. Technically uptodate, this book covers all the latest topics: Field programmable gate arrays, PALs and ROMs. The latest memory chips for SRAM and DRAM are shown. Software for creating the excitation equations of FSM are covered, as well as LogicWorks and Beige Bag PC and more.
Takes a fresh look at basic digital design. From definition, to example, to graphic illustration, to simulation result, the book progresses through th...


cena:
946,77 zł 
VLSI Digital Signal Processing Systems: Design and Implementation
ISBN: 9780471241867 / Angielski / Twarda / 808 str. Digital audio, speech recognition, cable modems, radar, highdefinition televisionthese are but a few of the modern computer and communications applications relying on digital signal processing (DSP) and the attendant applicationspecific integrated circuits (ASICs). As informationage industries constantly reinvent ASIC chips for lower power consumption and higher efficiency, there is a growing need for designers who are current and fluent in VLSI design methodologies for DSP.
Enter VLSI Digital Signal Processing Systemsa unique, comprehensive guide to performance optimization... Digital audio, speech recognition, cable modems, radar, highdefinition televisionthese are but a few of the modern computer and communications appli...


cena:
722,03 zł 
LowVoltage Soi CMOS VLSI Devices and Circuits
ISBN: 9780471417774 / Angielski / Twarda / 424 str. A practical, comprehensive survey of SOI CMOS devices and circuits for microelectronics engineers
The microelectronics industry is becoming increasingly dependent on SOI CMOS VLSI devices and circuits. This book is the first to address this important topic with a practical focus on devices and circuits. It provides an uptodate survey of the current knowledge regarding SOI device behaviors and describes stateoftheart lowvoltage CMOS VLSI analog and digital circuit techniques. LowVoltage SOI CMOS VLSI Devices and Circuits covers the entire field, from basic concepts to the... A practical, comprehensive survey of SOI CMOS devices and circuits for microelectronics engineers
The microelectronics industry is becoming incr... 

cena:
635,96 zł 
Verilog Coding for Logic Synthesis
ISBN: 9780471429760 / Angielski / Twarda / 309 str. Provides a practical approach to Verilog design and problem solving.
* Bulk of the book deals with practical design problems that design engineers solve on a daily basis. * Includes over 90 design examples. * There are 3 full scale design examples that include specification, architectural definition, microarchitectural definition, RTL coding, testbench coding and verification. * Book is suitable for use as a textbook in EE departments that have VLSI courses Provides a practical approach to Verilog design and problem solving.
* Bulk of the book deals with practical design problems that design enginee... 

cena:
573,80 zł 
ULSI Semiconductor Technology Atlas
ISBN: 9780471457725 / Angielski / Twarda / 666 str. More than 1,100 TEM images illustrate the science of ULSI
The natural outgrowth of VLSI (Very Large Scale Integration), Ultra Large Scale Integration (ULSI) refers to semiconductor chips with more than 10 million devices per chip. Written by three renowned pioneers in their field, ULSI Semiconductor Technology Atlas uses examples and TEM (Transmission Electron Microscopy) micrographs to explain and illustrate ULSI process technologies and their associated problems. The first book available on the subject to be illustrated using TEM images, ULSI Semiconductor... More than 1,100 TEM images illustrate the science of ULSI
The natural outgrowth of VLSI (Very Large Scale Integration), Ultra Large Scale... 

cena:
982,91 zł 
FieldProgrammable Gate Arrays: Reconfigurable Logic for Rapid Prototyping and Implementation of Digital Systems
ISBN: 9780471556657 / Angielski / Twarda / 360 str. Timely, authoritative, applicationoriented. an indepth exploration of current and future uses of FPGAs in digital systems The development of fieldprogrammable gate arrays (FPGAs) may well be the most important breakthrough for the microelectronics industry since the invention of the microprocessor. Using FPGAs, a system designer working on a PC can now develop a working prototype in a few hours and change it at will in just a few minutes, rather than waiting weeks or months for a printedcircuit assembly or a custom integrated circuit to be built. This newfound ability to change a system...
Timely, authoritative, applicationoriented. an indepth exploration of current and future uses of FPGAs in digital systems The development of fieldp...


cena:
745,94 zł 