1996 | ||
---|---|---|
1 | K. D. Anon, N. Boulerice, Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Ying Xu, Zijian Zhou: MDG Tools for the Verification of RTL Designs. CAV 1996: 433-436 |
1 | K. D. Anon | [1] |
2 | Eduard Cerny | [1] |
3 | Francisco Corella | [1] |
4 | Michel Langevin | [1] |
5 | Xiaoyu Song | [1] |
6 | Sofiène Tahar | [1] |
7 | Ying Xu | [1] |
8 | Zijian Zhou | [1] |