Kniha Formal Methods in Automated Design Debugging Sean Safarpour

Formal Methods in Automated Design Debugging

Bridging the gap between debugging needs and automated capabilities

Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: VDM Verlag
Dostupnosť: U vydavateľa na objednávku
Odosielame za 17-27 dní
58.25
The relentless growth in size and complexity of integrated circuits over the past decades continues...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2010
Stránok
152
EAN
9783639245738
ISBN
3639245733
Enbook ID
06832157
Vydavateľ
Hmotnosť
231
Rozmery
152 x 229 x 9

Kompletný popis

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.

Mohlo by vás zaujímať

Complete Starter Guide to Whittling

Editors of Woodcarving Illustrated
10.31

Fawn

Magda Szabo
11.48

I am Brave

Brad Meltzer
6.77

Mount Prospect

Gavin W. Kleespies
19.05
75.05

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

The Dog in Photography

Raymond Merritt
19.05
271.34

RECURSOS CONTENCIOSO ADMINISTRATIVOS PASO A PASO

DEPARTAMENTO DE DOCUMENTACION DE IBERLEY
23.08