2009 |
4 | EE | 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 | EE | 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 | EE | Yann Oddos,
Katell Morin-Allory,
Dominique Borrione:
On-Line Test Vector Generation from Temporal Constraints Written in PSL.
VLSI-SoC 2006: 397-402 |