wyszukanych pozycji: 10
North Carolina Wills: A Testator Index, 1665-1900. Corrected and Revised Edition
ISBN: 9780806313610 / Angielski / Miękka / 2008 / 632 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
306,85 zł |
Digital System Verification : A Combined Formal Methods and Simulation Framework
ISBN: 9781608451784 / Angielski / Miękka / 2010 / 100 str. Termin realizacji zamówienia: ok. 30 dni roboczych. This book focuses on an Integrated Design Validation (IDV) system that provides a framework for design validation and takes advantage of current technology in the areas of simulation and formal verification resulting in a practical validation engine with reasonable runtime. After surveying the basic principles of formal verification and simulation, this book describes the IDV approach to integrated circuit functional validation. Table of Contents: Introduction / Formal Methods Background / Simulation Approaches / Integrated Design Validation System / Conclusion and Summary
This book focuses on an Integrated Design Validation (IDV) system that provides a framework for design validation and takes advantage of current techn...
|
|
cena:
198,64 zł |
Introduction to Logic Synthesis using Verilog HDL
ISBN: 9781598291063 / Angielski / Miękka / 1905 / 84 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Introduction to Logic Synthesis Using Verilog HDL explains how to write accurate Verilog descriptions of digital systems that can be synthesized into digital system netlists with desirable characteristics. The book contains numerous Verilog examples that begin with simple combinational networks and progress to synchronous sequential logic systems. Common pitfalls in the development of synthesizable Verilog HDL are also discussed along with methods for avoiding them. The target audience is anyone with a basic understanding of digital logic principles who wishes to learn how to model digital...
Introduction to Logic Synthesis Using Verilog HDL explains how to write accurate Verilog descriptions of digital systems that can be synthesized into ...
|
|
cena:
198,64 zł |
Modeling Digital Switching Circuits with Linear Algebra
ISBN: 9783031798665 / Angielski / Miękka / 2014 / 160 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Modeling Digital Switching Circuits with Linear Algebra describes an approach for modeling digital information and circuitry that is an alternative to Boolean algebra. While the Boolean algebraic model has been wildly successful and is responsible for many advances in modern information technology, the approach described in this book offers new insight and different ways of solving problems. Modeling the bit as a vector instead of a scalar value in the set {0, 1} allows digital circuits to be characterized with transfer functions in the form of a linear transformation matrix. The use of...
Modeling Digital Switching Circuits with Linear Algebra describes an approach for modeling digital information and circuitry that is an alternative to...
|
|
cena:
126,90 zł |
Longview Farm: Biography of a Dream Come True
ISBN: 9781463699000 / Angielski / Miękka / 2011 / 268 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Longview Farm was simply amazing in both its scope and design. It was picturesque in its winding scenic country lanes - twenty five miles of glistening white rail fencing set against lush green pastures - leading to a multitude of strikingly grand red-tiled roofs and white stucco buildings. The barns, as well as the residences, were likewise magnificent in their exterior construction and in their landscaping of vines, flowers, shrubs, and trees. It was a symbol of security and serenity, and by every account, the epitome of splendor. Longview Farm was the realization of the childhood dream of...
Longview Farm was simply amazing in both its scope and design. It was picturesque in its winding scenic country lanes - twenty five miles of glistenin...
|
|
cena:
85,51 zł |
The Papers of William Woods Holden, Volume 1: 1841-1868
ISBN: 9780865262928 / Angielski / Twarda / 2000 / 503 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
256,66 zł |
Multiple-Valued Logic: Concepts and Representations
ISBN: 9783031797781 / Angielski / Miękka / 2007 / 135 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Multiple Valued Logic: Concepts and Representations begins with a survey of the use ofmultiple-valued logic in several modern application areas including electronic design automation algorithms and circuit design. The mathematical basis and concepts of various algebras and systems of multiple valued logic are provided including comparisons among various systems and examples of their application. The book also provides an examination of alternative representations of multiple-valued logic suitable for implementation as data structures in automated computer applications. Decision diagram...
Multiple Valued Logic: Concepts and Representations begins with a survey of the use ofmultiple-valued logic in several modern application areas includ...
|
|
cena:
126,90 zł |
Spectral Techniques in VLSI CAD
ISBN: 9780792374336 / Angielski / Twarda / 2001 / 250 str. Termin realizacji zamówienia: ok. 20 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:
576,96 zł |
Spectral Techniques in VLSI CAD
ISBN: 9781461355472 / Angielski / Miękka / 2012 / 250 str. Termin realizacji zamówienia: ok. 20 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:
576,96 zł |
Boolean Differential Calculus
ISBN: 9781627059220 / Angielski / Miękka / 2017 / 215 str. Termin realizacji zamówienia: ok. 30 dni roboczych. The Boolean Differential Calculus is a powerful theory that extends the basic concepts of Boolean Algebras significantly. Its applications are based on Boolean spaces and Boolean operations, and basic structures such as Boolean Algebras and Boolean Rings, Boolean functions, Boolean equations, Boolean inequalities, incompletely specified Boolean functions, and Boolean lattices of Boolean functions.
The Boolean Differential Calculus is a powerful theory that extends the basic concepts of Boolean Algebras significantly. Its applications are based o...
|
|
cena:
395,14 zł |