A Performance-Driven QBF-based ILA Representation with Applications to Verification, Debug and Test

Hratch Mangassarian (1) , Andreas Veneris (2, 3) , Sean Safarpour (1) , Marco Benedetti (4) , Duncan Smith (1)

1 ECE - Department of Electrical and Computer Engineering [Waterloo]
2 ECE - Department of Electrical and Computer Engineering [University of Toronto]
3 Dept. of Computer Science
4 LIFO - Laboratoire d'Informatique Fondamentale d'Orléans

Domaines: Autre [cs.OH]

Hratch Mangassarian, Andreas Veneris, Sean Safarpour, Marco Benedetti, Duncan Smith. A Performance-Driven QBF-based ILA Representation with Applications to Verification, Debug and Test. International Conference on Computer-aided Design (ICCAD), 2007, San Jose, United States. pp.1-6. ⟨hal-00466757⟩