Engineering Digital Design, Second Edition provides the most extensive coverage of any available textbook in digital logic and design. The new REVISED Second Edition published in September of 2002 provides 5 productivity tools free on the accompanying CD ROM. This software is also included on the Instructor's Manual CD ROM and complete instructions accompany each software program.In the REVISED Second Edition modern notation combines with state-of-the-art treatment of the most important subjects in digital design to provide the student with the background needed to enter industry or graduate study at a competitive level. Combinatorial logic design and synchronous and asynchronous sequential machine design methods are given equal weight, and new ideas and design approaches are explored. The productivity tools provided on the accompanying CD are outlined below:[1] EXL-Sim2002 logic simulator: EXL-Sim2002 is a full-featured, interactive, schematic-capture and simulation program that is ideally suited for use with the text at either the entry or advanced-level of logic design. Its many features include drag-and-drop capability, rubber banding, mixed logic and positive logic simulations, macro generation, individual and global (or randomized) delay assignments, connection features that eliminate the need for wire connections, schematic page sizing and zooming, waveform zooming and scrolling, a variety of printout capabilities, and a host of other useful features. [2] BOOZER logic minimizer: BOOZER is a software minimization tool that is recommended for use with the text. It accepts entered variable (EV) or canonical (1's and 0's) data from K-maps or truth tables, with or without don't cares, and returns an optimal or near optimal single or multi-output solution. It can handle up to 12 functions Boolean functions and as many inputs when used on modern computers. [3] ESPRESSO II logic minimizer: ESPRESSO II is another software minimization tool widely used in schools and industry. It supports advanced heuristic algorithms for minimization of two-level, multi-output Boolean functions but does not accept entered variables. It is also readily available from the University of California, Berkeley, 1986 VLSI Tools Distribution. [4] ADAM design software: ADAM (for Automated Design of Asynchronous Machines) is a very powerful productivity tool that permits the automated design of very complex asynchronous state machines, all free of timing defects. The input files are state tables for the desired state machines. The output files are given in the Berkeley format appropriate for directly programming PLAs. ADAM also allows the designer to design synchronous state machines, timing-defect-free. The options include the lumped path delay (LPD) model or NESTED CELL model for asynchronous FSM designs, and the use of D FLIP-FLOPs for synchronous FSM designs. The background for the use of ADAM is covered in Chapters 11, 14 and 16 of the REVISED 2nd Edition.[5] A-OPS design software: A-OPS (for Asynchronous One-hot Programmable Sequencers) is another very powerful productivity tool that permits the design of asynchronous and synchronous state machines by using a programmable sequencer kernel. This software generates a PLA or PAL output file (in Berkeley format) or the VHDL code for the automated timing-defect-free designs of the following: (a) Any 1-Hot programmable sequencer up to 10 states. (b) The 1-Hot design of multiple asynchronous or synchronous state machines driven by either PLDs or RAM. The input file is that of a state table for the desired state machine. This software can be used to design systems with the capability of instantly switching between several radically different controllers on a time-shared basis. The background for the use of A-OPS is covered in Chapters 13, 14 and 16 of the REVISED 2nd Edition.
Relativistic Flight Mechanics and Space Travel is about the fascinating prospect of future human space travel. Its purpose is to demonstrate that such ventures may not be as difficult as one might believe and are certainly not impossible. The foundations for relativistic flight mechanics are provided in a clear and instructive manner by using well established principles which are used to explore space flight possibilities within and beyond our galaxy. The main substance of the book begins with a background review of Einstein's Special Theory of Relativity as it pertains to relativistic flight mechanics and space travel. The book explores the dynamics and kinematics of relativistic space flight from the point of view of the astronauts in the spacecraft and compares these with those observed by earth's scientists and engineers-differences that are quite surprising. A quasi historical treatment leads quite naturally into the central subject areas of the book where attention is focused on various issues not ordinarily covered by such treatment. To accomplish this, numerous simple thought experiments are used to bring rather complicated subject matter down to a level easily understood by most readers with an engineering or science background. The primary subjects regarding photon rocketry and space travel are covered in some depth and include a flight plan together with numerous calculations represented in graphical form. A geometric treatment of relativistic effects by using Minkowski diagrams is included for completeness. The book concludes with brief discussions of other prospective, even exotic, transport systems for relativistic space travel. A glossary and simple end-of-chapter problems with answers enhance the learning process.
Asynchronous Sequential Machine Design and Analysis provides a lucid, in-depth treatment of asynchronous state machine design and analysis presented in two parts: Part I on the background fundamentals related to asynchronous sequential logic circuits generally, and Part II on self-timed systems, high-performance asynchronous programmable sequencers, and arbiters. Part I provides a detailed review of the background fundamentals for the design and analysis of asynchronous finite state machines (FSMs). Included are the basic models, use of fully documented state diagrams, and the design and characteristics of basic memory cells and Muller C-elements. Simple FSMs using C-elements illustrate the design process. The detection and elimination of timing defects in asynchronous FSMs are covered in detail. This is followed by the array algebraic approach to the design of single-transition-time machines and use of CAD software for that purpose, one-hot asynchronous FSMs, and pulse mode FSMs. Part I concludes with the analysis procedures for asynchronous state machines. Part II is concerned mainly with self-timed systems, programmable sequencers, and arbiters. It begins with a detailed treatment of externally asynchronous/internally clocked (or pausable) systems that are delay-insensitive and metastability-hardened. This is followed by defect-free cascadable asynchronous sequencers, and defect-free one-hot asynchronous programmable sequencers--their characteristics, design, and applications. Part II concludes with arbiter modules of various types, those with and without metastability protection, together with applications. Presented in the appendices are brief reviews covering mixed-logic gate symbology, Boolean algebra, and entered-variable K-map minimization. End-of-chapter problems and a glossary of terms, expressions, and abbreviations contribute to the reader's learning experience. Five productivity tools are made available specifically for use with this text and briefly discussed in the Preface. Table of Contents: I: Background Fundamentals for Design and Analysis of Asynchronous State Machines / Introduction and Background / Simple FSM Design and Initialization / Detection and Elimination of Timing Defects in Asynchronous FSMs / Design of Single Transition Time Machines / Design of One-Hot Asynchronous FSMs / Design of Pulse Mode FSMs / Analysis of Asynchronous FSMs / II: Self-Timed Systems/ Programmable Sequencers, and Arbiters / Externally Asynchronous/Internally Clocked Systems / Cascadable Asynchronous Programmable Sequencers (CAPS) and Time-Shared System Design / Asynchronous One-Hot Programmable Sequencer Systems / Arbiter Modules
Tensor Properties of Solids presents the phenomenological development of solid state properties represented as matter tensors in two parts: Part I on equilibrium tensor properties and Part II on transport tensor properties. Part I begins with an introduction to tensor notation, transformations, algebra, and calculus together with the matrix representations. Crystallography, as it relates to tensor properties of crystals, completes the background treatment. A generalized treatment of solid-state equilibrium thermodynamics leads to the systematic correlation of equilibrium tensor properties. This is followed by developments covering first-, second-, third-, and higher-order tensor effects. Included are the generalized compliance and rigidity matrices for first-order tensor properties, Maxwell relations, effect of measurement conditions, and the dependent coupled effects and use of interaction diagrams. Part I concludes with the second- and higher-order effects, including numerous optical tensor properties. Part II presents the driving forces and fluxes for the well-known proper conductivities. An introduction to irreversible thermodynamics includes the concepts of microscopic reversibility, Onsager's reciprocity principle, entropy density production, and the proper choice of the transport parameters. This is followed by the force-flux equations for electronic charge and heat flow and the relationships between the proper conductivities and phenomenological coefficients. The thermoelectric effects in solids are discussed and extended to the piezothermoelectric and piezoresistance tensor effects. The subjects of thermomagnetic, galvanomagnetic, and thermogalvanomagnetic effects are developed together with other higher-order magnetotransport property tensors. A glossary of terms, expressions, and symbols are provided at the end of the text, and end-of-chapter problems are provided on request. Endnotes provide the necessary references for further reading. Table of Contents: I. Equilibrium Tensor Properties of Solids / Introduction / Introduction to Tensor Notation, Tensor Transformations, Tensor Calculus, and Matrix Representation / Crystal Systems, Symmetry Elements, and Symmetry Transformations / Generalized Thermostatics and the Systematic Correlation of Physical Properties / The Dependent Coupled Effects and the Interrelationships Between First-Order Tensor Properties - Use of Interaction Diagrams / Third- and Fourth-Rank Tensor Properties - Symmetry Considerations / Second- and Higher-Order Effects - Symmetry Considerations / II. Transport Properties of Solids / Introduction to Transport Properties and the Thermodynamics of Irreversible Processes / Thermoelectric, Piezothermoelectric, and Diffusive Effects in Solids / Effect of Magnetic Field on the Transport Properties / Appendix A: Magnetic Tensor Properties, Magnetic Crystals, and the Combined Space-Time Transformations / Endnotes / Glossary / Biography / Index
Tensor Properties of Solids presents the phenomenological development of solid state properties represented as matter tensors in two parts: Part I on equilibrium tensor properties and Part II on transport tensor properties. Part I begins with an introduction to tensor notation, transformations, algebra, and calculus together with the matrix representations. Crystallography, as it relates to tensor properties of crystals, completes the background treatment. A generalized treatment of solid-state equilibrium thermodynamics leads to the systematic correlation of equilibrium tensor properties. This is followed by developments covering first-, second-, third-, and higher-order tensor effects. Included are the generalized compliance and rigidity matrices for first-order tensor properties, Maxwell relations, effect of measurement conditions, and the dependent coupled effects and use of interaction diagrams. Part I concludes with the second- and higher-order effects, including numerous optical tensor properties. Part II presents the driving forces and fluxes for the well-known proper conductivities. An introduction to irreversible thermodynamics includes the concepts of microscopic reversibility, Onsager's reciprocity principle, entropy density production, and the proper choice of the transport parameters. This is followed by the force-flux equations for electronic charge and heat flow and the relationships between the proper conductivities and phenomenological coefficients. The thermoelectric effects in solids are discussed and extended to the piezothermoelectric and piezoresistance tensor effects. The subjects of thermomagnetic, galvanomagnetic, and thermogalvanomagnetic effects are developed together with other higher-order magnetotransport property tensors. A glossary of terms, expressions, and symbols are provided at the end of the text, and end-of-chapter problems are provided on request. Endnotes provide the necessary references for further reading. Table of Contents: I. Equilibrium Tensor Properties of Solids / Introduction / Introduction to Tensor Notation, Tensor Transformations, Tensor Calculus, and Matrix Representation / Crystal Systems, Symmetry Elements, and Symmetry Transformations / Generalized Thermostatics and the Systematic Correlation of Physical Properties / The Dependent Coupled Effects and the Interrelationships Between First-Order Tensor Properties - Use of Interaction Diagrams / Third- and Fourth-Rank Tensor Properties - Symmetry Considerations / Second- and Higher-Order Effects - Symmetry Considerations / II. Transport Properties of Solids / Introduction to Transport Properties and the Thermodynamics of Irreversible Processes / Thermoelectric, Piezothermoelectric, and Diffusive Effects in Solids / Effect of Magnetic Field on the Transport Properties / Appendix A: Magnetic Tensor Properties, Magnetic Crystals, and the Combined Space-Time Transformations / Endnotes / Glossary / Biography / Index
The options include the lumped path delay (LPD) model or NESTED CELL model for asynchronous FSM designs, and the use of D FLIP-FLOPs for synchronous FSM designs. The background for the use of ADAM is covered in Chapters 11, 14 and 16 of the REVISED 2nd Edition. [5] A-OPS design software: A-OPS (for Asynchronous One-hot Programmable Sequencers) is another very powerful productivity tool that permits the design of asynchronous and synchronous state machines by using a programmable sequencer kernel. This software generates a PLA or PAL output file (in Berkeley format) or the VHDL code for the automated timing-defect-free designs of the following: (a) Any 1-Hot programmable sequencer up to 10 states. (b) The 1-Hot design of multiple asynchronous or synchronous state machines driven by either PLDs or RAM. The input file is that of a state table for the desired state machine.-
This book focuses on a forensics-style re-examination of several historical events. The purpose of these studies is to afford readers the opportunity to apply basic principles of physics to unsolved mysteries and controversial events in order to settle the historical debate. We identify nine advantages of using case studies as a pedagogical approach to understanding forensic physics. Each of these nine advantages is the focus of a chapter of this book. Within each chapter, we show how a cascade of unlikely events resulted in an unpredictable catastrophe and use introductory-level physics to analyze the outcome. Armed with the tools of a good forensic physicist, the reader will realize that the historical record is far from being a set of agreed upon immutable facts; instead, it is a living, changing thing that is open to re-visitation, re-examination, and re-interpretation.
In two editions spanning more than a decade, The Electrical Engineering Handbook stands as the definitive reference to the multidisciplinary field of electrical engineering. Our knowledge continues to grow, and so does the Handbook. For the third edition, it has expanded into a set of six books carefully focused on a specialized area or field of study. Each book represents a concise yet definitive collection of key concepts, models, and equations in its respective domain, thoughtfully gathered for convenient access. Computers, Software Engineering, and Digital Devices examines digital and logical devices, displays, testing, software, and computers, presenting the fundamental concepts needed to ensure a thorough understanding of each field. It treats the emerging fields of programmable logic, hardware description languages, and parallel computing in detail. Each article includes defining terms, references, and sources of further information. Encompassing the work of the world's foremost experts in their respective specialties, Computers, Software Engineering, and Digital Devices features the latest developments, the broadest scope of coverage, and new material on secure electronic commerce and parallel computing.
This will help us customize your experience to showcase the most relevant content to your age group
Please select from below
Login
Not registered?
Sign up
Already registered?
Success – Your message will goes here
We'd love to hear from you!
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?
This site does not use any third party cookies with one exception — it uses cookies from Google to deliver its services and to analyze traffic.Learn More.