P.-Y. Martinez

Formal proof between two designs having different level of abstraction

A. Maalej, P.-Y. Martinez, 2008, 2008 3rd International Conference on Design and Technology of Integrated Systems in Nanoscale Era.

Integration of an STBus Type 3 protocol custom component into a HLS tool

P.-Y. Martinez, T. Tayachi, 2008, 2008 3rd International Conference on Design and Technology of Integrated Systems in Nanoscale Era.