Best Paper Award in DAC 2014
Our paper at DAC 2014 "Code Coverage of Assertions Using RTL Source Code Analysis" won the best paper award!
Best paper award in VLSI Design 2014
Our paper "A Coverage Guided mining Approach for Automatic Generation of Succint Assertions" was awarded the best paper award at the VLSI Design conference 2014. Yet another GoldMine victory! The authors are Shobha Vasudevan, Lingyi Liu, David Sheridan and Hyung Sul Kim.
Shobha Vasudevan named a recepient of 2014 Dean's award for excellence in research
Dean's award for excellence in research is awarded by the UIUC college of Engineering annually.
Watch out for our paper at DAC 2014
"Code Coverage of Assertions Using RTL Source Code Analysis" by Viraj Athavale, Sai Ma, Sam Hertz and Shobha Vasudevan. This paper generates a code coverage metric for assertions using dynamic and static analysis techniques. Attend our presentation at DAC 2014!
System level assertion generation for performance and functionality
Automatic Generation of System Level Assertions from Transaction Level Models. Lingyi Liu and Shobha Vasudevan. Accepted. To appear in Journal of Electronic Testing: Theory and Applications (JETTA)
Our paper on invariant mining for debugging programs in ASE 2013
Parth Sagdeo et al's paper "Using Automatically Generated Invariants for Regression Testing and Bug Localization" introduces a novel bug localization methodology with PREAMBL, a predicate clustering and invariant guided tool. Invariants from PRECIS in ASE 2011 are used for software regression testing as well.
Watch our for our ICCAD 2013 paper on system level debug and diagnosis
Our paper "Diagnosing Root Causes of System Level Performance Violations" to be published in ICCAD 2013 uses a unique, data mining approach to pinpoint latency and throughput bottlenecks in system level designs. This problem was proposed by Huawei Technologies, and is a product of our collaboration with them.
Vasudevan's group has two papers in IEEE Transactions on CAD (TCAD) in May 2013
Our papers "Formal probabilistic timing verification in RTL" and "Mining Hardware Assertions With Guidance from Static Analysis" cover two diverse aspects of hardware verification. Read and enjoy!
The award is given by ACM SIGDA to one junior faculty member who displays outstanding potential as an educator and/or researcher in the field of EDA. Many thanks to my students and collaborators for their role in this recognition. Pictures of the award ceremony can be found here.