Yann Oddos

Publication Activity (10 Years)

Years Active: 2006-2009
Publications (10 Years): 0

Publications

Yann Oddos, Katell Morin-Allory, Dominique Borrione
From Assertion-Based Verification to Assertion-Based Synthesis. VLSI-SoC (2009)
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)
Yann Oddos, Katell Morin-Allory, Dominique Borrione
Assertion-Based Design with Horus. MEMOCODE (2008)
Yann Oddos, Katell Morin-Allory, Dominique Borrione
Prototyping Generators for On-line Test Vector Generation Based on PSL Properties. DDECS (2007)
Yann Oddos, Katell Morin-Allory, Dominique Borrione
On-Line Test Vector Generation from Temporal Constraints Written in PSL. VLSI-SoC (2006)