BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × USA
Collaborated with:
N.Nicolici A.B.Kinsman
Talks about:
valid (3) silicon (2) generat (2) autom (2) post (2) constrain (1) trigger (1) sequenc (1) identif (1) hardwar (1)

Person: Ho Fai Ko


Contributed to:

DAC 20132013
DATE 20082008

Wrote 3 papers:

DAC-2013-KinsmanKN #generative #sequence #validation
Hardware-efficient on-chip generation of time-extensive constrained-random sequences for in-system validation (ABK, HFK, NN), p. 6.
DATE-2008-KoN #automation #identification #validation
Automated Trace Signals Identification and State Restoration for Improving Observability in Post-Silicon Validation (HFK, NN), pp. 1298–1303.
DATE-2008-KoN08a #automation #generative #on the #validation
On Automated Trigger Event Generation in Post-Silicon Validation (HFK, NN), pp. 256–259.

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.