![]() |
| 2008 | ||
|---|---|---|
| 3 | EE | Kelvin Ng: Challenges in using system-level models for RTL verification. DAC 2008: 812-815 |
| 2004 | ||
| 2 | EE | Kelvin Ng, Alan J. Hu, Jin Yang: Generating Monitor Circuits for Simulation-Friendly GSTE Assertion Graphs. ICCD 2004: 409-416 |
| 2003 | ||
| 1 | EE | Kelvin Ng, Mukul R. Prasad, Rajarshi Mukherjee, Jawahar Jain: Solving the latch mapping problem in an industrial setting. DAC 2003: 442-447 |
| 1 | Alan J. Hu | [2] |
| 2 | Jawahar Jain | [1] |
| 3 | Rajarshi Mukherjee | [1] |
| 4 | Mukul R. Prasad | [1] |
| 5 | Jin Yang | [2] |