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