A Performance-Driven QBF-based ILA Representation with Applications to Verification, Debug and Test - Archive ouverte HAL Access content directly
Conference Papers Year : 2007
No file

Dates and versions

hal-00466757 , version 1 (24-03-2010)

Identifiers

  • HAL Id : hal-00466757 , version 1

Cite

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⟩
44 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More