Travelled to:1 × France
Collaborated with:S.Vasudevan D.Sheridan W.Tuohy
Talks about:generat (2) valid (2) stimulus (1) coverag (1) analysi (1) toward (1) hybrid (1) effici (1) design (1) closur (1)
Person: Lingyi Liu
DBLP: Liu:Lingyi
Contributed to:
2011Wrote 2 papers:
- DATE-2011-LiuSTV #design #generative #towards #using #validation
- Towards coverage closure: Using GoldMine assertions for generating design validation stimulus (LL, DS, WT, SV), pp. 173–178.
- DATE-2011-LiuV #analysis #generative #performance #source code #validation
- Efficient validation input generation in RTL by hybridized source code analysis (LL, SV), pp. 1596–1601.