Searching for authors named "Michel Langevin" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Description and Verification of RTL Designs Using Multiway Decision Graphs
- … Song y Francisco Corella z Eduard Cerny y Michel Langevin x y D'IRO, Universit'e de Montr…
- Cited by 9 (7 self) – Add To MetaCart
-
Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration
- … Abstract State Enumeration Michel Langevin , Sofi��ne Tahar, Zijian Zhou, Xiaoyu Song and Eduard Cerny…
- Cited by 5 (5 self) – Add To MetaCart
-
Formal Verification of an ATM Switch Fabric using Multiway Decision Graphs
- …��ne Tahar, Zijian Zhou, Xiaoyu Song, Eduard Cerny and Michel Langevin University of Montreal, IRO Dept…
- Cited by 14 (10 self) – Add To MetaCart
-
Modeling and Automatic Formal Verification of the Fairisle ATM Switch Fabric Using MDGs
- … # and Michel Langevin # Concordia University, ECE Dept., Montreal, Quebec, H3G 1M8 Canada E…
- Cited by 2 (1 self) – Add To MetaCart
-
Application of a multi-processor soc platform to high-speed packet forwarding
- …, Chuck Pilkington, Essaid Bensoudane, Michel Langevin, Damien Lyonnard Central R&D, STMicroelectronics…
- Cited by 7 (0 self) – Add To MetaCart
Showing 1 through 5.
