Formal Verification

An Essential Toolkit for Modern VLSI Design

Author: Erik Seligman,Tom Schubert,M V Achutha Kiran Kumar

Publisher: Morgan Kaufmann

ISBN: 0128008156

Category: Computers

Page: 408

View: 8479

DOWNLOAD NOW »
Formal Verification: An Essential Toolkit for Modern VLSI Design presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to directly analyze and mathematically explore the quality or other aspects of a Register Transfer Level (RTL) design without using simulations. This can reduce time spent validating designs and more quickly reach a final design for manufacturing. Building on a basic knowledge of SystemVerilog, this book demystifies FV and presents the practical applications that are bringing it into mainstream design and validation processes at Intel and other companies. After reading this book, readers will be prepared to introduce FV in their organization and effectively deploy FV techniques to increase design and validation productivity. Learn formal verification algorithms to gain full coverage without exhaustive simulation Understand formal verification tools and how they differ from simulation tools Create instant test benches to gain insight into how models work and find initial bugs Learn from Intel insiders sharing their hard-won knowledge and solutions to complex design problems

Math Mutation Classics

Exploring Interesting, Fun and Weird Corners of Mathematics

Author: Erik Seligman

Publisher: Apress

ISBN: 1484218922

Category: Computers

Page: 213

View: 2779

DOWNLOAD NOW »
Use math in unique ways to analyze things you observe in life and use proof to attain the unexpected. There is quite a wide diversity of topics here and so all age levels and ability levels will enjoy the discussions. You'll see how the author's unique viewpoint puts a mathematical spin on everything from politicians to hippos. Along the way, you will enjoy the different point of view and hopefully it will open you up to a slightly more out-of-the-box way of thinking. Did you know that sometimes 2+2 equals 5? That wheels don't always have to be round? That you can mathematically prove there is a hippopotamus in your basement? Or how to spot four-dimensional beings as they pass through your kitchen? If not, then you need to read this book! Math Mutation Classics is a collection of Erik Seligman's blog articles from Math Mutation at MathMutation.com. Erik has been creating podcasts and converting them in his blog for many years. Now, he has collected what he believes to be the most interesting among them, and has edited and organized them into a book that is often thought provoking, challenging, and fun. What You Will Learn View the world and problems in different ways through math. Apply mathematics to things you thought unimaginable. Abstract things that are not taught in school. Who this Book is For Teenagers, college level students, and adults who can gain from the many different ways of looking at problems and feed their interest in mathematics.

Architekturen der digitalen Signalverarbeitung

Author: Peter Pirsch

Publisher: Springer-Verlag

ISBN: 3322967239

Category: Technology & Engineering

Page: 368

View: 4476

DOWNLOAD NOW »
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.

Automated Deduction – CADE 26

26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings

Author: Leonardo de Moura

Publisher: Springer

ISBN: 3319630466

Category: Computers

Page: 582

View: 3970

DOWNLOAD NOW »
This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017. The 26 full papers and 5 system descriptions presented were carefully reviewed and selected from 69 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience. The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license.

Computer

Wie funktionieren Smartphone, Tablet & Co.?

Author: Rolf Drechsler,Andrea Fink,Jannis Stoppe

Publisher: Springer-Verlag

ISBN: 3662530600

Category: Technology & Engineering

Page: 126

View: 6355

DOWNLOAD NOW »
Computer umgeben uns heute in fast allen Lebensbereichen. Sie erleichtern uns nicht nur als PC oder Laptop die Arbeit, sondern sind auch eingebettet in zahlreiche Objekte unseres täglichen Lebens – vom Auto bis zur Waschmaschine. Doch wie funktionieren moderne Rechner eigentlich? Und wie werden diese hochkomplexen, aus Milliarden Komponenten bestehenden Geräte entworfen? Das Buch erklärt auf verständliche, informative und unterhaltsame Weise den Aufbau und die Funktionsweise heutiger Computersysteme. Einzelne inhaltliche Abschnitte werden durch Links zu Videos ergänzt, in denen Professor Rolf Drechsler relevante Themen prägnant und pointiert vorstellt.

Logik für Informatiker

Author: Uwe Schöning

Publisher: Spektrum Akademischer Verlag

ISBN: 9783827410054

Category: Computers

Page: 200

View: 4371

DOWNLOAD NOW »
Das Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Bestandteil der Ausbildung in Theoretischer Informatik sind. Die Darstellung orientiert sich an den Bedürfnissen von Informatikstudierenden. Insbesondere werden viele mehr auf das Prinzipielle ausgerichtete Resultate der formalen Logik unter einem algorithmischen Gesichtspunkt behandelt. Diese Vorgehensweise erleichtert entscheidend den Zugang zu dem abstrakten Themengebiet. Prof. Schöning gelingt eine kompakte und verständliche Darstellung der Aussagen- und Prädikatenlogik, bei der die benötigten Begriffe präzise eingeführt und durch Beispiele veranschaulicht werden. Darauf beruhend werden Anwendungen der Logik in der Informatik, wie z. B. Resolution, Automatisches Beweisen und Logik-Programmierung behandelt. Zahlreiche Übungsaufgaben mit ausführlichen Lösungshinweisen erleichtern die Vertiefung des Lernstoffes.

GMAT für Dummies

Author: Scott A. Hatch,Lisa Zimmer Hatch

Publisher: John Wiley & Sons

ISBN: 3527642277

Category: Study Aids

Page: 459

View: 5380

DOWNLOAD NOW »
Graut Ihnen vor dem GMAT? Keine Panik! Mit "GMAT f?r Dummies" k?nnen Sie sich systematisch auf die GMAT-Fragen einstellen und so Ihre Testpunktzahl nach oben treiben. Sie lernen, nach GMAT-Art zu denken, Texte und knifflige Korrekturaufgaben zu entschl?sseln, hervorragende Essays zu schreiben und die GMAT-Mathematikaufgaben analytisch zu l?sen. Au?erdem finden Sie in diesem Buch zwei komplette ?bungspr?fungen f?r Ihre Vorbereitung auf den Test.

Google Hacking 2

Grundtechniken, erweterte Operatoren. Underground Googling. Wie man sich vor Google-Hackern schützt

Author: Johnny Long

Publisher: N.A

ISBN: 9783826659423

Category:

Page: 543

View: 8837

DOWNLOAD NOW »

Essential Scrum

Umfassendes Scrum-Wissen aus der Praxis

Author: Kenneth S. Rubin

Publisher: mitp Verlags GmbH & Co. KG

ISBN: 3826690478

Category: Computers

Page: 480

View: 6655

DOWNLOAD NOW »
Umfassendes Scrum-Wissen aus der Praxis Mit Vorworten von Mike Cohn und Ron Jeffries Umfassendes Scrum-Wissen auf Team-, Produkt- und Portfolio-Ebene Kernkonzepte, Rollen, Planung und Sprints ausführlich erläutert Auch geeignet zur Vorbereitung auf die Scrum-Zertifizierung Aus dem Inhalt: 1. Teil: Kernkonzepte Scrum-Framework Agile Prinzipien Sprints Anforderungen und User Stories Das Product Backlog Schätzungen und Velocity Technische Schulden 2. Teil: Rollen Product Owner ScrumMaster Entwicklungsteam Strukturen des Scrum-Teams Manager 3. Teil: Planung Scrum-Planungsprinzipien Mehrstufige Planung Portfolio-Planung Visionsfindung/Produktplanung Release-Planung 4. Teil: Sprints Sprint-Planung Sprint-Ausführung Sprint Review Sprint-Retrospektive Dieses Buch beschreibt das Wesen von Scrum – die Dinge, die Sie wissen müssen, wenn Sie Scrum erfolgreich einsetzen wollen, um innovative Produkte und Dienstleistungen zu entwickeln. Es ist entstanden, weil der Autor Kenneth S. Rubin als Agile- und Scrum-Berater oft nach einem Referenzbuch für Scrum gefragt worden ist – einem Buch, das einen umfassenden Überblick über das Scrum-Framework bietet und darüber hinaus die beliebtesten Ansätze für die Anwendung von Scrum präsentiert. Dieses Buch ist der Versuch, die eine entscheidende Quelle für alles Wesentliche über Scrum bereitzustellen. Rubin beleuchtet die Werte, Prinzipien und Praktiken von Scrum und beschreibt bewährte, flexible Ansätze, die Ihnen helfen werden, sie viel effektiver umzusetzen. Dabei liefert er mehr als nur die Grundlagen und weist zudem auf wichtige Probleme hin, die Ihnen auf Ihrem Weg begegnen können. Ob Sie sich nun zum ersten Mal an Scrum versuchen oder es schon seit Jahren benutzen: Dieses Buch weiht Sie in die Geheimnisse des Scrum-Entwicklungsverfahrens ein und vermittelt Ihnen ein umfangreiches Scrum-Wissen auf Team-, Produkt- und Portfolio-Ebene. Für diejenigen, die bereits mit Scrum vertraut sind, eignet es sich als Scrum-Referenz. Rubin hat das Buch nicht für eine bestimmte Scrum-Rolle geschrieben. Stattdessen soll es allen, die direkt oder indirekt mit Scrum zu tun haben, ein gemeinsames Verständnis von Scrum und den Prinzipien, auf denen es beruht, vermitteln. Stellen Sie sich meine Überraschung und mein Entzücken vor, als ich feststellte, dass das Buch praktisch alles behandelt, was man über Scrum wissen muss – sowohl für Anfänger als auch für alte Hasen. Ron Jeffries (aus dem Vorwort) Über den Autor: Kenneth S. Rubin ist zertifizierter Scrum- und Agile-Trainer und -Berater und hilft Unternehmen, ihre Produktentwicklung effektiver und wirtschaftlicher zu gestalten. Er hat inzwischen mehr als 18.000 Menschen in den Bereichen Agile und Scrum, Organisation objektorientierter Projekte und Übergangsmanagement unterwiesen und Hunderten von Unternehmen als Berater zur Seite gestanden. Rubin war der erste Managing Director der weltweit agierenden Scrum Alliance und erfolgreich als Scrum-Product-Owner, ScrumMaster und Entwickler unterwegs.

Versionskontrolle mit Git

Author: Jon Loeliger

Publisher: O'Reilly Germany

ISBN: 389721945X

Category:

Page: 338

View: 6907

DOWNLOAD NOW »
Git wurde von keinem Geringeren als Linus Torvalds ins Leben gerufen. Sein Ziel: die Zusammenarbeit der in aller Welt verteilten Entwickler des Linux-Kernels zu optimieren. Mittlerweile hat das enorm schnelle und flexible System eine groe Fangemeinde gewonnen. Viele Entwickler ziehen es zentralisierten Systemen vor, und zahlreiche bekannte Entwicklungsprojekte sind schon auf Git umgestiegen. Verstandliche Einfuhrung: Wer Git einsetzen und dabei grotmoglichen Nutzen aus seinen vielseitigen Funktionen ziehen mochte, findet in diesem Buch einen idealen Begleiter. Versionskontrolle mit Git fuhrt grundlich und gut verstandlich in die leistungsstarke Open Source-Software ein und demonstriert ihre vielfaltigen Einsatzmoglichkeiten. Auf dieser Basis kann der Leser Git schon nach kurzer Zeit produktiv nutzen und optimal auf die Besonderheiten seines Projekts abstimmen. Insider-Tipps aus erster Hand: Jon Loeliger, der selbst zum Git-Entwicklerteam gehort, lasst den Leser tief ins Innere des Systems blicken, so dass er ein umfassendes Verstandnis seiner internen Datenstrukturen und Aktionen erlangt. Neben alltaglicheren Szenarios behandelt Loeliger auch fortgeschrittene Themen wie die Verwendung von Hooks zum Automatisieren von Schritten, das Kombinieren von mehreren Projekten und Repositories zu einem Superprojekt sowie die Arbeit mit Subversion-Repositories in Git-Projekten.

Untersuchungen über höhere Arithmetik

Author: Carl Friedrich Gauss

Publisher: American Mathematical Soc.

ISBN: 0821842137

Category: Mathematics

Page: 695

View: 1217

DOWNLOAD NOW »
In this volume are included all of Gauss's number-theoretic works: his masterpiece, Disquisitiones Arithmeticae, published when Gauss was only 25 years old; several papers published during the ensuing 31 years; and papers taken from material found in Gauss's handwriting after his death. These papers include a fourth, fifth, and sixth proof of the Quadratic Reciprocity Law, researches on biquadratic residues, quadratic forms, and other topics. This reprint of the German translation from Latin of the second edition published in 1889 includes an extensive appendix and concludes with a commentary on the papers (with references, where appropriate, to the relevant pages of the Disquisitiones).

Java programmieren lernen für Dummies

Author: Barry A. Burd

Publisher: John Wiley & Sons

ISBN: 3527812636

Category: Computers

Page: 480

View: 7808

DOWNLOAD NOW »
Steigen Sie mit diesem Buch in die Welt des Programmierens ein und zwar mit der beliebten Programmiersprache Java! Schritt für Schritt werden Sie mit den Grundlagen, wie zum Beispiel Variablen, Schleifen und objektorientierter Programmierung, vertraut gemacht, probieren viele anschauliche Beispiele aus und schreiben Ihr erstes eigenes Programm. Dieses Buch steht Ihnen bei allen Herausforderungen jederzeit mit hilfreichen Tipps und Lösungsvorschlägen zur Seite, sodass Sie auf Ihrem Weg zum Programmierer optimal gerüstet sind! Mit den Programmbeispielen zum Herunterladen können Sie das Gelernte direkt ausprobieren.

Mentopolis

Author: Marvin Lee Minsky

Publisher: N.A

ISBN: 9783608931174

Category:

Page: 342

View: 4335

DOWNLOAD NOW »
Computing Methodologies -- Artificial Intelligence.

Handbuch des Kathodischen Korrosionsschutzes

Theorie und Praxis der elektrochemischen Schutzverfahren

Author: Walter von Baeckmann,W. Schwenk

Publisher: John Wiley & Sons

ISBN: 3527625739

Category: Science

Page: 560

View: 7743

DOWNLOAD NOW »
Seit dem Erscheinen der ersten Auflage vor fast 30 Jahren ist das Handbuch des kathodischen Korrosionsschutzes zu einem Klassiker geworden. Der Erfolgstitel liegt nun in der vierten Auflage vor. Kathodischer Korrosionsschutzes hat in den vergangenen Jahren nichts an seiner Bedeutung verloren - er ist auch heute noch eines der wichtigsten Verfahren des Korrosionschutzes überhaupt. Auf einigen Gebieten wie dem Schutz von Stahlbeton ist seine Bedeutung sogar noch gewachsen. Gut zehn Jahre nach dem Erscheinen der dritten Auflage musste in vielen Bereichen eine Neubearbeitung durchgeführt werden. Das gilt - wie bereits bei früheren Auflagen - für die Messtechnik zum Nachweis der ausreichenden Schutzwirkung mit der praktischen Anwendung bei Rohrleitungen und Fragen der Beeinflussung durch Gleichströme sowie die Wirkung von Wechselspannungen. Im Bereich der Korrosion bilden die verschiedenen Arten der Risskorrosion und die Wechselstromkorrosion Schwerpunkte der Überarbeitung. Auf dem Gebiet der Messtechnik und der Umhüllungsschäden wurden neuartige Beschriebungen der elektrischen Eigenschaften von Beschichtungsfehlstellen entwickelt. Die vierte Auflage erscheint in einer Zeit der verstärkten internationalen Zusammenarbeit - insbesondere bei der Normung - und eines zunehmenden Sicherbeitsbedarfs. Deshalb dient das Handbuch auch der Wissenserhaltung mit allen zugehörigen Grundlagenwissenschaften und gegebenenfalls auch zur Basis von Qualifikationsnachweisen. Wieder haben zahlreiche Fachleute aus der Industrie ihr Fachwissen zum weltweit einzigartigen Standardwerk über alle Anwendungsbereiche der elektrochemischen Korrosionsschutzverfahren beigetragen. Dabei wurde Wert auf lückenlose Querverweise zwischen den einzelnen Kapiteln und einheitliche bzw. normgerechte Terminologie gelegt. Das Handbuch ist nicht nur unentbehrlich für Unternehmen für kathodischen Schutz, sondern ist für alle Personen, die sich mit Korrosion und Korrosionsschutz beschäftigen, zum Nachschlagen und zur Weiterbildung geeignet.