Copertina di Formal Methods in Automated Design Debugging
Titolo del libro:

Formal Methods in Automated Design Debugging

Bridging the gap between debugging needs and automated capabilities

VDM Verlag Dr. Müller (02.04.2010 )

Books loader

Omni badge eleggibile a buono
ISBN-13:

978-3-639-24573-8

ISBN-10:
3639245733
EAN:
9783639245738
Lingua del libro:
Inglese
Risvolto di copertina:
The relentless growth in size and complexity of integrated circuits over the past decades continues to present new challenges to the electronic design community. Today, debugging is a bottleneck that jeopardizes the efficiency of the design industry. To alleviate this burden, scalable and practical automated solutions are required. This book presents novel techniques and methodologies to bridge the gap between current capabilities of debuggers and the strict industry requirements. The contributions proposed leverage powerful advancements made in the formal methods community, such as model checking and reasoning engines, to ease the debugging effort. The first contribution, abstraction and refinement, is a systematic methodology that reduces the complexity of debugging problems under analysis. The second contribution, Bounded Model Debugging, is a methodology based on the observation that erroneous behaviour is more likely caused by errors excited temporally close to observation points. The third and fourth contributions are a formulation based on maximum satisfiability and a trace reduction technique that using reachability analysis.
Casa editrice:
VDM Verlag Dr. Müller
Sito Web:
http://www.vdm-verlag.de
Da (autore):
Sean Safarpour
Numero di pagine:
152
Pubblicato il:
02.04.2010
Giacenza di magazzino:
Disponibile
categoria:
Elettronica, Elettrotecnica, tecnologia dell'informazione e della comunicazione
Prezzo:
59,00 €
Parole chiave:
debugging, Verification, formal, diagnosis, circuit, Test, CAD, EDA, Algorithm, Methodology

Books loader

Adyen::diners Adyen::jcb Adyen::discover Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Adyen::paypal Paypal Trasferimento

  0 prodotti nel carro d'acquisti
Modificare il carrello
Loading frontend
LOADING