 | 2009 |
|---|
| 4 |       | Yann Oddos,
Katell Morin-Allory,
Dominique Borrione,
Marc Boule,
Zeljko Zilic:
MYGEN: automata-based on-line test generator for assertion-based verification.
ACM Great Lakes Symposium on VLSI 2009: 75-80 |
| 2008 |
|---|
| 3 | | Yann Oddos,
Katell Morin-Allory,
Dominique Borrione:
Assertion-Based Design with Horus.
MEMOCODE 2008: 75-76 |
| 2007 |
|---|
| 2 |  | Yann Oddos,
Katell Morin-Allory,
Dominique Borrione:
Prototyping Generators for On-line Test Vector Generation Based on PSL Properties.
DDECS 2007: 383-388 |
| 2006 |
|---|
| 1 | | Yann Oddos,
Katell Morin-Allory,
Dominique Borrione:
On-Line Test Vector Generation from Temporal Constraints Written in PSL.
VLSI-SoC 2006: 397-402 |
