Logic Design And Simulation

Logic design and simulation link system design to electrical engineering and form a key issue in contemporary VLSI design. This volume examines the past, present and future of this topic. The first part of the book treats subjects from logic synthesis, which is followed by a review of logic simulation and related topics. Finally, the book takes a look at the future of silicon compilation and artificial intelligence, showing how programming is gaining importance in chip development, allowing access to non-experts. It highlights the fact that VLSI design systems of the future will be characterized by an efficient combination of traditional algorithmic processes and the new knowledge-based AI techniques.

Your road map for meeting today's digital testing challenges Today, digital logic devices are common in products that impact public safety, including applications in transportation and human implants. Accurate testing has become more critical to reliability, safety, and the bottom line. Yet, as digital systems become more ubiquitous and complex, the challenge of testing them has become more difficult. As one development group designing a RISC stated, "the work required to . . . test a chip of this size approached the amount of effort required to design it." A valued reference for nearly two decades, Digital Logic Testing and Simulation has been significantly revised and updated for designers and test engineers who must meet this challenge. There is no single solution to the testing problem. Organized in an easy-to-follow, sequential format, this Second Edition familiarizes the reader with the many different strategies for testing and their applications, and assesses the strengths and weaknesses of the various approaches. The book reviews the building blocks of a successful testing strategy and guides the reader on choosing the best solution for a particular application. Digital Logic Testing and Simulation, Second Edition covers such key topics as: * Binary Decision Diagrams (BDDs) and cycle-based simulation * Tester architectures/Standard Test Interface Language (STIL) * Practical algorithms written in a Hardware Design Language (HDL) * Fault tolerance * Behavioral Automatic Test Pattern Generation (ATPG) * The development of the Test Design Expert (TDX), the many obstacles encountered and lessons learned in creating this novel testing approach Up-to-date and comprehensive, Digital Logic Testing and Simulation is an important resource for anyone charged with pinpointing faulty products and assuring quality, safety, and profitability.

The new standard in the field, presenting the latest design and testing methods for logic circuits, and the development of a BASIC-based simulation. Offers designers and test engineers unique coverage of circuit design for testability, stressing the incorporation of hardware into designs that facilitate testing and diagnosis by allowing greater access to internal circuits. Examines various ways of representing a design, as well as external testing methods that apply this information.

This book provides the reader with the key concepts and techniques of modern digital logic design and applications. This concise treatment provides essential development and explanations for both classical and modern topics. The modern topics include unicode, unipolar transistors, copper technology, flash memory, HDL, verilog and logic simulation software tools. Also covered are combinatorial logic circuits and transistor circuits. It will be an essential resource for computer scientists, logic circuit designers and computer engineers.

Logic Design: A Review of Theory and Practice describes computer design focusing on the theoretical and practical relationships of sequential machines. This book reviews the major technologies that make the computer, particularly the switching circuit design involving vacuum tubes, discrete transistors, and integrated circuits. The switching theory associated in the logic design of sequential machine models and synthesis techniques lead to understanding of constraints due to stray delays, input change restrictions, and memory element operation. This text also describes the logic design processes including the use of flow charts, design languages, simulations, and system timing. Three aspects needed prior to the design phase that should be considered by the programmer are data flow, the micro-operations (and their sequencing), and the timing (machine cycle or logic). The significance between theoretical and mathematical models can then be determined through fault detection, masking, digital simulation, and test generation. This book can be beneficial for computer engineering instructors and advanced students in computer science.

This description of the structure of simulators suitable for use in the design of digital electronic systems includes the compiled code and event driven algorithms for digital electronic system simulators, together with timing verification as well as structural limitations and problems.

A presentation of circuit synthesis and circuit simulation using VHDL (including VHDL 2008), with an emphasis on design examples and laboratory exercises. This text offers a comprehensive treatment of VHDL and its applications to the design and simulation of real, industry-standard circuits. It focuses on the use of VHDL rather than solely on the language, showing why and how certain types of circuits are inferred from the language constructs and how any of the four simulation categories can be implemented. It makes a rigorous distinction between VHDL for synthesis and VHDL for simulation. The VHDL codes in all design examples are complete, and circuit diagrams, physical synthesis in FPGAs, simulation results, and explanatory comments are included with the designs. The text reviews fundamental concepts of digital electronics and design and includes a series of appendixes that offer tutorials on important design tools including ISE, Quartus II, and ModelSim, as well as descriptions of programmable logic devices in which the designs are implemented, the DE2 development board, standard VHDL packages, and other features. All four VHDL editions (1987, 1993, 2002, and 2008) are covered. This expanded second edition is the first textbook on VHDL to include a detailed analysis of circuit simulation with VHDL testbenches in all four categories (nonautomated, fully automated, functional, and timing simulations), accompanied by complete practical examples. Chapters 1–9 have been updated, with new design examples and new details on such topics as data types and code statements. Chapter 10 is entirely new and deals exclusively with simulation. Chapters 11–17 are also entirely new, presenting extended and advanced designs with theoretical and practical coverage of serial data communications circuits, video circuits, and other topics. There are many more illustrations, and the exercises have been updated and their number more than doubled.

This textbook, based on the authors' fifteen years of teaching, is a complete teaching tool for turning students into logic designers in one semester. Each chapter describes new concepts, giving extensive applications and examples. Assuming no prior knowledge of discrete mathematics, the authors introduce all background in propositional logic, asymptotics, graphs, hardware and electronics. Important features of the presentation are: • All material is presented in full detail. Every designed circuit is formally specified and implemented, the correctness of the implementation is proved, and the cost and delay are analyzed • Algorithmic solutions are offered for logical simulation, computation of propagation delay and minimum clock period • Connections are drawn from the physical analog world to the digital abstraction • The language of graphs is used to describe formulas and circuits • Hundreds of figures, examples and exercises enhance understanding. The extensive website (http://www.eng.tau.ac.il/~guy/Even-Medina/) includes teaching slides, links to Logisim and a DLX assembly simulator.