BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ng:Kelvin

Contributed to:

DAC 20082008
DAC 20032003

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.