• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

DESSERT: Debugging RTL Effectively with State Snapshotting for Error Replays across Trillions of Cycles.

Donggyu KimChristopher CelioSagar KarandikarDavid BiancolinJonathan BachrachKrste Asanovic
Published in: FPL (2018)
Keyphrases
  • model based diagnosis
  • image processing
  • artificial intelligence
  • error rate
  • search algorithm
  • trade off
  • hidden markov models
  • dynamic programming
  • parallel algorithm