Skip to content

Efficient validation input generation in RTL by hybridized source code analysis.

Lingyi Liu, Shobha Vasudevan

VenueADATE
Year2011
ProceedingsDATE

Browse the full DATE paper archive.