Laurence V. Pierre

Publication Activity (10 Years)

Years Active: 1992-2007
Publications (10 Years): 0

Publications

Dominique Borrione, Amr Helmy, Laurence V. Pierre, Julien Schmaltz
A Generic Model for Formally Verifying NoC Communication Architectures: A Case Study. NOCS (2007)
Dominique Borrione, Julia Dushina, Laurence V. Pierre
A compositional model for the functional verification of high-level synthesis results. IEEE Trans. Very Large Scale Integr. Syst. 8 (5) (2000)
Dominique Borrione, Laurence V. Pierre, Ashraf M. Salem
Formal Verification of VHDL Descriptions in the Prevail Environment. IEEE Des. Test Comput. 9 (2) (1992)