Yann Oddos

According to our database, Yann Oddos authored at least 5 papers between 2006 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2009

From Assertion-Based Verification to Assertion-Based Synthesis.

Yann Oddos, Katell Morin-Allory, Dominique Borrione

Proceedings of the VLSI-SoC: Technologies for Systems Integration, 2009

MYGEN: automata-based on-line test generator for assertion-based verification.

Yann Oddos, Katell Morin-Allory, Dominique Borrione, Marc Boule, Zeljko Zilic

Proceedings of the 19th ACM Great Lakes Symposium on VLSI 2009, 2009

2008

Assertion-Based Design with Horus.

Yann Oddos, Katell Morin-Allory, Dominique Borrione

Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008

2007

Prototyping Generators for On-line Test Vector Generation Based on PSL Properties.

Yann Oddos, Katell Morin-Allory, Dominique Borrione

Proceedings of the 10th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2007), 2007

2006

On-Line Test Vector Generation from Temporal Constraints Written in PSL.

Yann Oddos, Katell Morin-Allory, Dominique Borrione

Proceedings of the IFIP VLSI-SoC 2006, 2006