Simulation and Optimization of Digital Circuits

Considering and Mitigating Destabilizing Factors

Author: Vazgen Melikyan

Publisher: Springer

ISBN: 3319716379

Category: Technology & Engineering

Page: 349

View: 4826

This book describes new, fuzzy logic-based mathematical apparatus, which enable readers to work with continuous variables, while implementing whole circuit simulations with speed, similar to gate-level simulators and accuracy, similar to circuit-level simulators. The author demonstrates newly developed principles of digital integrated circuit simulation and optimization that take into consideration various external and internal destabilizing factors, influencing the operation of digital ICs. The discussion includes factors including radiation, ambient temperature, electromagnetic fields, and climatic conditions, as well as non-ideality of interconnects and power rails.

FSM-based Digital Design using Verilog HDL

Author: Peter Minns,Ian Elliott

Publisher: John Wiley & Sons

ISBN: 9780470987612

Category: Technology & Engineering

Page: 408

View: 790

As digital circuit elements decrease in physical size, resulting in increasingly complex systems, a basic logic model that can be used in the control and design of a range of semiconductor devices is vital. Finite State Machines (FSM) have numerous advantages; they can be applied to many areas (including motor control, and signal and serial data identification to name a few) and they use less logic than their alternatives, leading to the development of faster digital hardware systems. This clear and logical book presents a range of novel techniques for the rapid and reliable design of digital systems using FSMs, detailing exactly how and where they can be implemented. With a practical approach, it covers synchronous and asynchronous FSMs in the design of both simple and complex systems, and Petri-Net design techniques for sequential/parallel control systems. Chapters on Hardware Description Language cover the widely-used and powerful Verilog HDL in sufficient detail to facilitate the description and verification of FSMs, and FSM based systems, at both the gate and behavioural levels. Throughout, the text incorporates many real-world examples that demonstrate designs such as data acquisition, a memory tester, and passive serial data monitoring and detection, among others. A useful accompanying CD offers working Verilog software tools for the capture and simulation of design solutions. With a linear programmed learning format, this book works as a concise guide for the practising digital designer. This book will also be of importance to senior students and postgraduates of electronic engineering, who require design skills for the embedded systems market.

EDA for IC System Design, Verification, and Testing

Author: Louis Scheffer,Luciano Lavagno,Grant Martin

Publisher: CRC Press

ISBN: 1351837591

Category: Technology & Engineering

Page: 544

View: 8385

Presenting a comprehensive overview of the design automation algorithms, tools, and methodologies used to design integrated circuits, the Electronic Design Automation for Integrated Circuits Handbook is available in two volumes. The first volume, EDA for IC System Design, Verification, and Testing, thoroughly examines system-level design, microarchitectural design, logical verification, and testing. Chapters contributed by leading experts authoritatively discuss processor modeling and design tools, using performance metrics to select microprocessor cores for IC designs, design and verification languages, digital simulation, hardware acceleration and emulation, and much more. Save on the complete set.

Design of Reconfigurable Logic Controllers

Author: Andrei Karatkevich,Arkadiusz Bukowiec,Michał Doligalski,Jacek Tkacz

Publisher: Springer

ISBN: 3319267256

Category: Technology & Engineering

Page: 185

View: 7598

This book presents the original concepts and modern techniques for specification, synthesis, optimisation and implementation of parallel logical control devices. It deals with essential problems of reconfigurable control systems like dependability, modularity and portability. Reconfigurable systems require a wider variety of design and verification options than the application-specific integrated circuits. The book presents a comprehensive selection of possible design techniques. The diversity of the modelling approaches covers Petri nets, state machines and activity diagrams. The preferences of the presented optimization and synthesis methods are not limited to increasing of the efficiency of resource use. One of the biggest advantages of the presented methods is the platform independence, the FPGA devices and single board computers are some of the examples of possible platforms. These issues and problems are illustrated with practical cases of complete control systems. If you expect a new look at the reconfigurable systems designing process or need ideas for improving the quality of the project, this book is a good choice.g process or need ideas for improving the quality of the project, this book is a good choice.

Code Complete - Deutsche Ausgabe

Author: Steve McConnell

Publisher: Microsoft Press Deutschland

ISBN: 9783860635933

Category: Computer software

Page: 909

View: 6075

Dieses Buch ist die deutsche Ubersetzung eines Klassikers der Programmierliteratur von Steve McConnell. Seine mit vielen Preisen ausgezeichneten Bucher helfen Programmierern seit Jahren, besseren und effizienteren Code zu schreiben. Das Geheimnis dieses Buches liegt in der Art, wie der Autor das vorhandene Wissen uber Programmiertechniken aus wissenschaftlichen Quellen mit den Erfahrungen aus der taglichen praktischen Arbeit am Code zusammenfuhrt und daraus die wesentlichen Grundvoraussetzungen der Softwareentwicklung und die effektivsten Arbeitstechniken ableitet. Verstandliche Beispiele und klare Anleitungen vermitteln dem Leser dieses Wissen auf unkomplizierte Weise. Dieses Buch informiert und stimuliert, ganz gleich, wie viel sie bereits uber Programmierung wissen, welche Entwicklungsumgebung und Sprache sie bevorzugen und welche Arten von Anwendungen sie normalerweise programmieren.

Applied Formal Verification

For Digital Circuit Design

Author: Douglas L. Perry,Harry Foster

Publisher: McGraw Hill Professional

ISBN: 0071588892

Category: Technology & Engineering

Page: 240

View: 6488

Formal verification is a powerful new digital design method. In this cutting-edge tutorial, two of the field's best known authors team up to show designers how to efficiently apply Formal Verification, along with hardware description languages like Verilog and VHDL, to more efficiently solve real-world design problems. Contents: Simulation-Based Verification * Introduction to Formal Techniques * Contrasting Simulation vs. Formal Techniques * Developing a Formal Test Plan * Writing High-Level Requirements * Proving High-Level Requirements * System Level Simulation * Design Example * Formal Test Plan * Final System Simulation

Rechnerorganisation und Rechnerentwurf

Die Hardware/Software-Schnittstelle

Author: David Patterson,John LeRoy Hennessy

Publisher: Walter de Gruyter GmbH & Co KG

ISBN: 3110446065

Category: Computers

Page: 833

View: 2558

Mit der deutschen Übersetzung zur fünfter Auflage des amerikanischen Klassikers Computer Organization and Design - The Hardware/Software Interface ist das Standardwerk zur Rechnerorganisation wieder auf dem neusten Stand - David A. Patterson und John L. Hennessy gewähren die gewohnten Einblicke in das Zusammenwirken von Hard- und Software, Leistungseinschätzungen und zahlreicher Rechnerkonzepte in einer Tiefe, die zusammen mit klarer Didaktik und einer eher lockeren Sprache den Erfolg dieses weltweit anerkannten Standardwerks begründen. Patterson und Hennessy achten darauf, nicht nur auf das "Wie" der dargestellten Konzepte, sondern auch auf ihr "Warum" einzugehen und zeigen damit Gründe für Veränderungen und neue Entwicklungen auf. Jedes der Kapitel steht für einen deutlich umrissenen Teilbereich der Rechnerorganisation und ist jeweils gleich aufgebaut: Eine Einleitung, gefolgt von immer tiefgreifenderen Grundkonzepten mit steigernder Komplexität. Darauf eine aktuelle Fallstudie, "Fallstricke und Fehlschlüsse", Zusammenfassung und Schlussbetrachtung, historische Perspektiven und Literaturhinweise sowie Aufgaben. In der neuen Auflage sind die Inhalte in den Kapiteln 1-5 an vielen Stellen punktuell verbessert und aktualisiert, mit der Vorstellung neuerer Prozessoren worden, und der Kapitel 6... from Client to Cloud wurde stark überarbeitetUmfangreiches Zusatzmaterial (Werkzeuge mit Tutorien etc.) stehtOnline zur Verfügung.

SystemVerilog Assertions and Functional Coverage

Guide to Language, Methodology and Applications

Author: Ashok B. Mehta

Publisher: Springer

ISBN: 3319305395

Category: Technology & Engineering

Page: 406

View: 3331

This book provides a hands-on, application-oriented guide to the language and methodology of both SystemVerilog Assertions and SystemVerilog Functional Coverage. Readers will benefit from the step-by-step approach to functional hardware verification using SystemVerilog Assertions and Functional Coverage, which will enable them to uncover hidden and hard to find bugs, point directly to the source of the bug, provide for a clean and easy way to model complex timing checks and objectively answer the question ‘have we functionally verified everything’. Written by a professional end-user of ASIC/SoC/CPU and FPGA design and Verification, this book explains each concept with easy to understand examples, simulation logs and applications derived from real projects. Readers will be empowered to tackle the modeling of complex checkers for functional verification, thereby drastically reducing their time to design and debug. This updated second edition addresses the latest functional set released in IEEE-1800 (2012) LRM, including numerous additional operators and features. Additionally, many of the Concurrent Assertions/Operators explanations are enhanced, with the addition of more examples and figures. · Covers in its entirety the latest IEEE-1800 2012 LRM syntax and semantics; · Covers both SystemVerilog Assertions and SystemVerilog Functional Coverage language and methodologies; · Provides practical examples of the what, how and why of Assertion Based Verification and Functional Coverage methodologies; · Explains each concept in a step-by-step fashion and applies it to a practical real life example; · Includes 6 practical LABs that enable readers to put in practice the concepts explained in the book.

VENUS

Entwurf von VLSI-Schaltungen

Author: Egon Hörbst,Martin Nett,Heinz Schwärtzel

Publisher: Springer-Verlag

ISBN: 3662107562

Category: Technology & Engineering

Page: 336

View: 5071


Zero to One

Wie Innovation unsere Gesellschaft rettet

Author: Peter Thiel,Blake Masters

Publisher: Campus Verlag

ISBN: 3593501600

Category: Political Science

Page: 200

View: 4510

Wir leben in einer technologischen Sackgasse. Zwar suggeriert die Globalisierung technischen Fortschritt, doch das vermeintlich Neue, sind vor allem Kopien des Bestehenden. Peter Thiel, Silicon-Valley-Insider und in der Wirtschaftscommunity bestens bekannter Innovationstreiber ist überzeugt: Globalisierung ist kein Fortschritt, Konkurrenz ist schädlich und nur Monopole sind nachhaltig erfolgreich. Er zeigt: Wahre Innovation entsteht nicht horizontal, sondern sprunghaft - from Zero to One. Um die Zukunft zu erobern, reicht es nicht, der Beste zu sein. Gründer müssen aus dem Wettkampf des Immergleichen heraustreten und völlig neue Märkte erobern. Wie man wirklich Neues erfindet, enthüllt seine beeindruckende Anleitung zum visionären Querdenken. Ein Appell für einen Startup der ganzen Gesellschaft.

Partielle Differentialgleichungen

Eine Einführung

Author: Walter A. Strauss

Publisher: Springer-Verlag

ISBN: 366312486X

Category: Mathematics

Page: 458

View: 1641

Dieses Buch ist eine umfassende Einführung in die klassischen Lösungsmethoden partieller Differentialgleichungen. Es wendet sich an Leser mit Kenntnissen aus einem viersemestrigen Grundstudium der Mathematik (und Physik) und legt seinen Schwerpunkt auf die explizite Darstellung der Lösungen. Es ist deshalb besonders auch für Anwender (Physiker, Ingenieure) sowie für Nichtspezialisten, die die Methoden der mathematischen Physik kennenlernen wollen, interessant. Durch die große Anzahl von Beispielen und Übungsaufgaben eignet es sich gut zum Gebrauch neben Vorlesungen sowie zum Selbststudium.

Digitale Bildverarbeitung

Eine Einführung mit Java und ImageJ

Author: Wilhelm Burger,Mark James Burge

Publisher: Springer-Verlag

ISBN: 354027653X

Category: Computers

Page: 532

View: 5535

Die Autoren geben eine fundierte Einführung in die wichtigsten Methoden der digitalen Bildverarbeitung. Dabei steht die praktische Anwendbarkeit im Vordergrund, formale und mathematische Aspekte sind auf das Wesentliche reduziert, ohne dabei auf eine präzise und konsistente Vorgehensweise zu verzichten. Der Text eignet sich für technisch orientierte Studiengänge ab dem 3.Semester und basiert auf der mehrjährigen Lehrerfahrung der Autoren zu diesem Thema. Der Einsatz in der Lehre wird durch zahlreiche praktische Übungsaufgaben unterstützt. Das Buch eignet sich auch als detaillierte Referenz für Praktiker und Anwender gängiger Verfahren der digitalen Bildverarbeitung, z.B. in der Medizin, der Materialprüfung, der Robotik oder der Medientechnik. Softwareseitig basiert das Buch auf der in Java implementierten und frei verfügbaren Bildverarbeitungsumgebung ImageJ.

FPGAs: Instant Access

Author: Clive Maxfield

Publisher: Elsevier

ISBN: 9780080560113

Category: Computers

Page: 216

View: 7567

FPGAs are central to electronic design! The engineers designing these devices are in need of essential information at a moment's notice. The Instant Access Series provides all the critical content that a computer design engineer needs in his or her daily work. This book provides an introduction to FPGAs as well as succinct overviews of fundamental concepts and basic programming. FPGAs are a customizable chip flexible enough to be deployed in a wide range of products and applications. There are several basic design flows detailed including ones based in C/C++, DSP, and HDL. This book is filled with images, figures, tables, and easy to find tips and tricks for the engineer that needs material fast to complete projects to deadline. Table of Contents CHAPTER 1 The Fundamentals CHAPTER 2 FPGA Architectures CHAPTER 3 Programming (Configuring) an FPGA CHAPTER 4 FPGA vs. ASIC Designs CHAPTER 5 “Traditional Design Flows CHAPTER 6 Other Design Flows CHAPTER 7 Using Design Tools CHAPTER 8 Choosing the Right Device *Tips and tricks feature that will help engineers get info fast and move on to the next issue *Easily searchable content complete with tabs, chapter table of contents, bulleted lists, and boxed features *Just the essentials, no need to page through material not needed for the current project

Architekturen der digitalen Signalverarbeitung

Author: Peter Pirsch

Publisher: Springer-Verlag

ISBN: 3322967239

Category: Technology & Engineering

Page: 368

View: 3546

Mit den Fortschritten in der Mikroelektronik wächst auch der Bedarf an VLSI-Realisierungen von digitalen Signalverarbeitungseinheiten. Die zunehmende Komplexität der Signalverarbeitungsverfahren führt insbesondere bei Signalen mit hoher Quellenrate auf Anforderungen, die nur durch spezielle Schaltungsstrukturen erfüllt werden können. Dieses Buch behandelt Schaltungstechniken und Architekturen zur Erzielung hoher Durchsatzraten von Algorithmen der Signalverarbeitung. Neben alternativen Schaltungstechniken zur Realisierung der Basisoperationen, Addition, Multiplikation und Division werden CORDIC-Architekturen zur Implementierung transzendenter Funktionen vorgestellt. Zur Konzeption von Systemen mit Parallelverarbeitung und Pipelining wird ein allgemeines Verfahren zur Abbildung von Signalverarbeitungsalgorithmen auf anwendungsspezifischen Architekturen erläutert. Hierzu werden beispielhaft spezielle Architekturen für Filter, Matrixoperationen und die diskrete Fouriertransformation erörtert. Architekturen programmierbarer digitaler Signalprozessoren sowie beispielhafte zugehörige Implementierungen sind eingeschlossen. Das Buch soll sowohl Studenten und Ingenieure der Elektrotechnik als auch der technischen Informatik mit Architekturkonzepten der digitalen Signalverarbeitung vertraut machen.

Algorithmen und Datenstrukturen im VLSI-Design

OBDD — Grundlagen und Anwendungen

Author: Christoph Meinel,Thorsten Theobald

Publisher: Springer-Verlag

ISBN: 3642587739

Category: Computers

Page: 286

View: 3585

Eines der Hauptprobleme beim Chipentwurf besteht darin, daß die Anzahl der zu bewältigenden Kombinationen der einzelnen Chipbausteine ins Unermeßliche steigt. Hier hat sich eine sehr fruchtbare Verbindung zu einem Kerngebiet der Theoretischen Informatik, dem Gebiet des Entwurfs von Datenstrukturen und effizienten Algorithmen, herstellen lassen: das Konzept der geordneten binären Entscheidungsgraphen, das in zahlreichen CAD-Projekten zu einer beträchtlichen Leistungssteigerung geführt hat. Die Autoren stellen die Grundlagen dieses interdisziplinären Forschungsgebiets dar und behandeln wichtige Anwendungen aus dem rechnergestützten Schaltkreisentwurf.