Assistant Professor, Electrical and Computer Engineering
GoldMine's assertion generator can be downloaded
for academic and research use. Please send an email if you want to use it.
GoldMine's fault detector can be downloaded
STAR and HYBRO
© 2011 Shobha Vasudevan. All rights reserved.