Travelled to:
2 × USA
Collaborated with:
∅ M.R.Prasad R.Mukherjee J.Jain
Talks about:
industri (1) challeng (1) problem (1) system (1) verif (1) model (1) level (1) latch (1) solv (1) use (1)
Person: Kelvin Ng
DBLP: Ng:Kelvin
Contributed to:
Wrote 2 papers:
- DAC-2008-Ng #challenge #modelling #using #verification
- Challenges in using system-level models for RTL verification (KN), pp. 812–815.
- DAC-2003-NgPMJ #industrial #problem
- Solving the latch mapping problem in an industrial setting (KN, MRP, RM, JJ), pp. 442–447.