Contact
How to shop
Delivery
Shopping guide
Source Level Debugging of Verilog Designs
Automated Source Level Debugging of HDL Designs
German
145 b
Up to 30 days for returns
Customers also purchased
/
Hardback
31 317
Ft
/
Paperback
4 046
Ft
/
Hardback
24 804
Ft
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.
About the book
German
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Paperback
10 678
Ft
/
Paperback
2 813
Ft
/
Paperback
16 199
Ft
Hi! I'm Libroamiko, your book advisor.
How can I help you?