BackSpace: Formal Analysis for Post-Silicon Debug.

Flavio M. de Paula Marcel Gort Alan J. Hu Steven J. E. Wilton Jin Yang

Published in: FMCAD (2008)

Keyphrases

formal analysis
high density
low cost
agent model
formal methods
high speed
novice programmers
machine learning
artificial intelligence
information systems
knowledge base
steady state
parallel programming
silicon dioxide
ban logic