Travelled to:1 × Denmark
1 × Germany
2 × France
2 × USA
Collaborated with:E.Cerny ∅ P.G.Paulin C.Pilkington E.Bensoudane D.Lyonnard O.Benny B.Lavigueur D.Lo K.D.Anon N.Boulerice F.Corella X.Song S.Tahar Y.Xu Z.Zhou
Talks about:processor (2) extend (2) applic (2) verif (2) multi (2) rtl (2) multimedia (1) represent (1) distribut (1) wireless (1)
Person: Michel Langevin
DBLP: Langevin:Michel
Contributed to:
20062004
1996199419911990Wrote 6 papers:
- DATE-2006-PaulinPLBBLLL #distributed #modelling #multi #power management
- Distributed object models for multi-processor SoC’s, with application to low-power multimedia wireless systems (PGP, CP, ML, EB, OB, DL, BL, DL), pp. 482–487.
- DATE-DF-2004-PaulinPBLL #framework #multi #performance
- Application of a Multi-Processor SoC Platform to High-Speed Packet Forwarding (PGP, CP, EB, ML, DL), pp. 58–63.
- CAV-1996-AnonBCCLSTXZ #design #tool support #verification
- MDG Tools for the Verification of RTL Designs (KDA, NB, EC, FC, ML, XS, ST, YX, ZZ), pp. 433–436.
- EDAC-1994-LangevinC #representation
- An Extended OBDD Representation for Extended FSMs (ML, EC), pp. 208–213.
- CAV-1991-LangevinC #state machine
- Comparing Generic State Machines (ML, EC), pp. 466–476.
- CAV-1990-Langevin #automation #calculus #verification
- Automated RTL Verification Based on Predicate Calculus (ML), pp. 116–125.