Login / Signup

Formal-Analysis-Based Trace Computation for Post-Silicon Debug.

Marcel GortFlavio M. de PaulaJohnny J. W. KuanTor M. AamodtAlan J. HuSteven J. E. WiltonJin Yang
Published in: IEEE Trans. Very Large Scale Integr. Syst. (2012)
Keyphrases
  • formal analysis
  • formal methods
  • high density
  • artificial intelligence
  • high speed
  • agent model
  • ban logic
  • machine learning
  • information systems
  • expert systems
  • software systems