Login / Signup

Parallel fault backtracing for calculation of fault coverage.

Raimund UbarSergei DevadzeJaan RaikArtur Jutman
Published in: ASP-DAC (2008)
Keyphrases