| |
| 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] |