Source Level Debugging of Verilog Designs : Automated Source Level Debugging of HDL Designs

Naveed Riaz

ISBN 10: 3639262875 ISBN 13: 9783639262872

Verlag: VDM Verlag Dr. Müller e.K., 2010

Sprache: Deutsch

Zustand: Gebraucht - Sehr gut Softcover

F�r sp�ter vormerken

Verkauft von Buchpark, Trebbin, Deutschland

AbeBooks-Verk�ufer seit 30. September 2021

Verk�uferbewertung 5 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Gebraucht - Softcover

Zustand: Gebraucht - Sehr gut

Preis: EUR 44,20 W�hrung umrechnen

Kostenlos f�r den Versand innerhalb von/der Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

Zustand: Sehr gut | Seiten: 124 | Sprache: Deutsch | Produktart: B�cher.

Bestandsnummer des Verk�ufers 7922199/2

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Source Level Debugging of Verilog Designs : Automated Source Level Debugging of HDL Designs

Verlag

VDM Verlag Dr. M�ller e.K.

Erscheinungsjahr

2010

Sprache

Deutsch

ISBN-10

3639262875

ISBN-13

9783639262872

Einband

Softcover

Zustand

Sehr gut

Verk�uferkataloge

�ber diesen Titel

Inhaltsangabe

Debugging is a very crucial part of hardware design cycle. Once a design is completed, all the possible faults need to be located and corrected. Although the complexity of hardware design is ever increasing, debugging is still mostly performed manually. Today, debugging has become a very painstaking and time consuming task. Model-based diagnosis provides a solid foundation for automated debugging and fault localization but sometimes the quality of the results is questionable as too many diagnosis candidates are reported. The work presented in this book shows how to apply model-based diagnosis to debugging of synthesizable Verilog designs. Moreover, Two extensions of the model based debugging theory to improve the debugging process in terms of reduction in the number of diagnosis candidates reported, are proposed.

Rese�a del editor

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Seit �ber 30 Jahren handeln wir mit B�chern. Begonnen hat alles als kleiner Fachbuchhandel in Berlin. Heute sind wir spezialisiert auf den An- und Verkauf gebrauchter B�cher. Noch immer liegt unser Fokus dabei auf den Kategorien: Fachbuch und englischsprachige Literatur. Hinzu kommen B�cher aus allen anderen Genres, wie Belletristik, Biografien oder Kinderb�cher. Unser oberstes Ziel ist dabei die Weiterverwendung von Dingen und die Schonung von Ressourcen. Neben dem Ankauf von privaten B�chern oder Haushaltsaufl�sungen kaufen wir bundesweit komplette Bibliotheken und Buchbest�nde von Institutionen auf, um diese nachhaltig ein weiteres Mal auf den Markt zu bringen. Parallel dazu bietet Buchpark die M�glichkeit, gro�e Mengen einzulagern. Ganze Bibliotheken und umfangreiche Buchbest�nde werden von uns professionell auf Qualit�tsmerkmale hin untersucht und sorgf�ltig f�r den Onlinehandel aufbereitet. Wir schenken B�chern ein zweites Leben.

Zur Homepage des Verk�ufers