Login / Signup
DESSERT: Debugging RTL Effectively with State Snapshotting for Error Replays across Trillions of Cycles.
Donggyu Kim
Christopher Celio
Sagar Karandikar
David Biancolin
Jonathan Bachrach
Krste 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