1995 | ||
---|---|---|
2 | EE | Ashok K. Chandra, Vijay S. Iyengar, D. Jameson, R. V. Jawalekar, Indira Nair, Barry K. Rosen, Michael P. Mullen, J. Yoon, R. Armoni, Daniel Geist, Yaron Wolfsthal: AVPGEN-A test generator for architecture verification. IEEE Trans. VLSI Syst. 3(2): 188-200 (1995) |
1994 | ||
1 | Ashok K. Chandra, Vijay S. Iyengar, R. V. Jawalekar, Michael P. Mullen, Indira Nair, Barry K. Rosen: Architectural Verification of Processors Using Symbolic Instruction Graphs. ICCD 1994: 454-459 |
1 | R. Armoni | [2] |
2 | Ashok K. Chandra | [1] [2] |
3 | Daniel Geist | [2] |
4 | Vijay S. Iyengar | [1] [2] |
5 | D. Jameson | [2] |
6 | Michael P. Mullen | [1] [2] |
7 | Indira Nair | [1] [2] |
8 | Barry K. Rosen | [1] [2] |
9 | Yaron Wolfsthal (Yaron Wolfstahl) | [2] |
10 | J. Yoon | [2] |