| |
| 2004 | ||
|---|---|---|
| 1 | EE | Moayad Fahim Ali, Andreas G. Veneris, Sean Safarpour, Magdy S. Abadir, Freescale Semiconductor, Rolf Drechsler, Alexander Smith: Debugging Sequential Circuits Using Boolean Satisfiability. MTV 2004: 44-49 |
| 1 | Magdy S. Abadir | [1] |
| 2 | Moayad Fahim Ali | [1] |
| 3 | Rolf Drechsler | [1] |
| 4 | Sean Safarpour | [1] |
| 5 | Alexander Smith | [1] |
| 6 | Andreas G. Veneris | [1] |