SystemVerilog Assertions and Functional Coverage

Author: Ashok B. Mehta
Publisher: Springer
ISBN: 9783319305394
Release Date: 2016-05-11
Genre: Technology & Engineering

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.

Computerunterst tzte Fertigung

Author: Peter Hehenberger
Publisher: Springer-Verlag
ISBN: 9783642134753
Release Date: 2011-03-07
Genre: Technology & Engineering

Das Buch bietet eine kompakte Darstellung der computerunterstützten Fertigung im Produktentwicklungsprozess. Der Autor stellt die wichtigsten Fertigungsverfahren, Werkzeugmaschinen und Techniken vor und zeigt die Schnittstellen zu gängigen Systemen (CAD, CAM). Weitere Aspekte sind die Prozess-Steuerung mit Fertigungsleittechnik und das Qualitätsmanagement. Das Buch richtet sich an Studierende (Automatisierungs- und Elektrotechnik, Mechatronik, Maschinenbau, Wirtschaftsingenieur) sowie an Ingenieure, die sich einen Überblick verschaffen wollen.

ASIC SoC Functional Design Verification

Author: Ashok B. Mehta
Publisher: Springer
ISBN: 9783319594187
Release Date: 2017-07-07
Genre: Technology & Engineering

This book describes in detail all required technologies and methodologies needed to create a comprehensive, functional design verification strategy and environment to tackle the toughest job of guaranteeing first-pass working silicon. The author first outlines all of the verification sub-fields at a high level, with just enough depth to allow an engineer to grasp the field before delving into its detail. He then describes in detail industry standard technologies such as UVM (Universal Verification Methodology), SVA (SystemVerilog Assertions), SFC (SystemVerilog Functional Coverage), CDV (Coverage Driven Verification), Low Power Verification (Unified Power Format UPF), AMS (Analog Mixed Signal) verification, Virtual Platform TLM2.0/ESL (Electronic System Level) methodology, Static Formal Verification, Logic Equivalency Check (LEC), Hardware Acceleration, Hardware Emulation, Hardware/Software Co-verification, Power Performance Area (PPA) analysis on a virtual platform, Reuse Methodology from Algorithm/ESL to RTL, and other overall methodologies.

Clean Code Refactoring Patterns Testen und Techniken f r sauberen Code

Author: Robert C. Martin
Publisher: MITP-Verlags GmbH & Co. KG
ISBN: 9783826696381
Release Date: 2013-12-18
Genre: Computers

h2> Kommentare, Formatierung, Strukturierung Fehler-Handling und Unit-Tests Zahlreiche Fallstudien, Best Practices, Heuristiken und Code Smells Clean Code - Refactoring, Patterns, Testen und Techniken für sauberen Code Aus dem Inhalt: Lernen Sie, guten Code von schlechtem zu unterscheiden Sauberen Code schreiben und schlechten Code in guten umwandeln Aussagekräftige Namen sowie gute Funktionen, Objekte und Klassen erstellen Code so formatieren, strukturieren und kommentieren, dass er bestmöglich lesbar ist Ein vollständiges Fehler-Handling implementieren, ohne die Logik des Codes zu verschleiern Unit-Tests schreiben und Ihren Code testgesteuert entwickeln Selbst schlechter Code kann funktionieren. Aber wenn der Code nicht sauber ist, kann er ein Entwicklungsunternehmen in die Knie zwingen. Jedes Jahr gehen unzählige Stunden und beträchtliche Ressourcen verloren, weil Code schlecht geschrieben ist. Aber das muss nicht sein. Mit Clean Code präsentiert Ihnen der bekannte Software-Experte Robert C. Martin ein revolutionäres Paradigma, mit dem er Ihnen aufzeigt, wie Sie guten Code schreiben und schlechten Code überarbeiten. Zusammen mit seinen Kollegen von Object Mentor destilliert er die besten Praktiken der agilen Entwicklung von sauberem Code zu einem einzigartigen Buch. So können Sie sich die Erfahrungswerte der Meister der Software-Entwicklung aneignen, die aus Ihnen einen besseren Programmierer machen werden – anhand konkreter Fallstudien, die im Buch detailliert durchgearbeitet werden. Sie werden in diesem Buch sehr viel Code lesen. Und Sie werden aufgefordert, darüber nachzudenken, was an diesem Code richtig und falsch ist. Noch wichtiger: Sie werden herausgefordert, Ihre professionellen Werte und Ihre Einstellung zu Ihrem Beruf zu überprüfen. Clean Code besteht aus drei Teilen:Der erste Teil beschreibt die Prinzipien, Patterns und Techniken, die zum Schreiben von sauberem Code benötigt werden. Der zweite Teil besteht aus mehreren, zunehmend komplexeren Fallstudien. An jeder Fallstudie wird aufgezeigt, wie Code gesäubert wird – wie eine mit Problemen behaftete Code-Basis in eine solide und effiziente Form umgewandelt wird. Der dritte Teil enthält den Ertrag und den Lohn der praktischen Arbeit: ein umfangreiches Kapitel mit Best Practices, Heuristiken und Code Smells, die bei der Erstellung der Fallstudien zusammengetragen wurden. Das Ergebnis ist eine Wissensbasis, die beschreibt, wie wir denken, wenn wir Code schreiben, lesen und säubern. Dieses Buch ist ein Muss für alle Entwickler, Software-Ingenieure, Projektmanager, Team-Leiter oder Systemanalytiker, die daran interessiert sind, besseren Code zu produzieren. Über den Autor: Robert C. »Uncle Bob« Martin entwickelt seit 1970 professionell Software. Seit 1990 arbeitet er international als Software-Berater. Er ist Gründer und Vorsitzender von Object Mentor, Inc., einem Team erfahrener Berater, die Kunden auf der ganzen Welt bei der Programmierung in und mit C++, Java, C#, Ruby, OO, Design Patterns, UML sowie Agilen Methoden und eXtreme Programming helfen.

Computer

Author: Rolf Drechsler
Publisher: Springer-Verlag
ISBN: 9783662530603
Release Date: 2017-02-23
Genre: Technology & Engineering

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.

Computernetzwerke

Author: James F. Kurose
Publisher: Pearson Deutschland GmbH
ISBN: 3827373301
Release Date: 2008
Genre:


SystemVerilog for Verification

Author: Chris Spear
Publisher: Springer Science & Business Media
ISBN: 9780387765303
Release Date: 2008-04-22
Genre: Technology & Engineering

The updated second edition of this book provides practical information for hardware and software engineers using the SystemVerilog language to verify electronic designs. The author explains methodology concepts for constructing testbenches that are modular and reusable. The book includes extensive coverage of the SystemVerilog 3.1a constructs such as classes, program blocks, randomization, assertions, and functional coverage. This second edition contains a new chapter that covers programs and interfaces as well as chapters with updated information on directed testbench and OOP, layered, and random testbench for an ATM switch.

Real Time Data Mining

Author: Florian Stompe
Publisher: Diplomica Verlag
ISBN: 9783836678797
Release Date: 2009-08
Genre: Business & Economics

Data Mining ist ein inzwischen etabliertes, erfolgreiches Werkzeug zur Extraktion von neuem, bislang unbekanntem Wissen aus Daten. In mittlerweile fast allen gr eren Unternehmen wird es genutzt um Mehrwerte f r Kunden zu generieren, den Erfolg von Marketingkampagnen zu erh hen, Betrugsverdacht aufzudecken oder beispielsweise durch Segmentierung unterschiedliche Kundengruppen zu identifizieren. Ein Grundproblem der intelligenten Datenanalyse besteht darin, dass Daten oftmals in rasanter Geschwindigkeit neu entstehen. Eink ufe im Supermarkt, Telefonverbindungen oder der ffentliche Verkehr erzeugen t glich eine neue Flut an Daten, in denen potentiell wertvolles Wissen steckt. Die versteckten Zusammenh nge und Muster k nnen sich im Zeitverlauf mehr oder weniger stark ver ndern. Datenmodellierung findet in der Regel aber noch immer einmalig bzw. sporadisch auf dem Snapshot einer Datenbank statt. Einmal erkannte Muster oder Zusammenh nge werden auch dann noch angenommen, wenn diese l ngst nicht mehr bestehen. Gerade in dynamischen Umgebungen wie zum Beispiel einem Internet-Shop sind Data Mining Modelle daher schnell veraltet. Betrugsversuche k nnen dann unter Umst nden nicht mehr erkannt, Absatzpotentiale nicht mehr genutzt werden oder Produktempfehlungen basieren auf veralteten Warenk rben. Um dauerhaft Wettbewerbsvorteile erzielen zu k nnen, muss das Wissen ber Daten aber m glichst aktuell und von ausgezeichneter Qualit t sein. Der Inhalt dieses Buches skizziert Methoden und Vorgehensweisen von Data Mining in Echtzeit.

Einf hrung in Perl

Author: Randal L. Schwartz
Publisher: O'Reilly Germany
ISBN: 9783868991451
Release Date: 2012
Genre: Electronic books

Perl ist eine Skriptsprache zur einfachen Bearbeitung von Texten, Dateien und Prozessen. Ursprunglich ein beliebtes Werkzeug von Unix-Systemadministratoren fur die zahllosen alltaglichen Aufgaben hat sich Perl zu einer ausgewachsenen Programmiersprache fur nahezu jede Rechnerplattform entwickelt und wird fur Web- und Datenbank-Programmierung, XML-Verarbeitung, Systemadministration und vieles mehr eingesetzt. Das Schweizer Messer der Programmiersprachen Gleichzeitig ist Perl immer noch das Schweizer Messer fur die kleinen alltaglichen Aufgaben. Perl ist schnell, macht Spa und erweist sich als auerordentlich nutzlich. Viele haben Perl gelernt, weil sie mussten, und benutzen es weiter, weil sie es lieben. Fur Einsteiger Einfuhrung in Perl ist ein sorgfaltig abgestimmter Kurs fur Einsteiger von drei der erfahrensten Perl-Dozenten. Mit vielen Programmierbeispielen sowie Ubungen und ausgearbeiteten Losungen zu jedem Thema zeigen die Autoren Schritt fur Schritt, wie man mit Perl, Version 5.14, programmiert. Ideal fur Systemadministoren und Programmierer Einfuhrung in Perl ist das ideale Buch fur Systemadministratoren und Programmierer, die schon nach kurzer Zeit einsetzbare Perl-Skripten schreiben wollen.

Perl Kochbuch

Author: Tom Christiansen
Publisher: O'Reilly Germany
ISBN: 3897213664
Release Date: 2004
Genre: Perl (Computer program language)


Compiler

Author: Alfred V. Aho
Publisher: Pearson Deutschland GmbH
ISBN: 3827370973
Release Date: 2008
Genre: Compiler