Philippe Bourgon

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Hardware And Software

Formal Verification

Top Venues

Publications

Laurence Pierre, Luca Ferro, Zeineb Bel Hadj Amor, Philippe Bourgon, Jérôme Quévremont
Integrating PSL properties into SystemC transactional modeling - Application to the verification of a modem SoC. SIES (2012)