| Efficient validation input generation in RTL by hybridized source code analysis L Liu, S Vasudevan 2011 Design, Automation & Test in Europe, 1-6, 2011 | 89 | 2011 |
| Integration of data mining and static analysis for hardware design verification S Vasudevan, D Sheridan, L Liu US Patent 9,021,409, 2015 | 77 | 2015 |
| STAR: Generating input vectors for design validation by static analysis of RTL L Liu, S Vasudevan 2009 IEEE International High Level Design Validation and Test Workshop, 32-37, 2009 | 47 | 2009 |
| A technique for test coverage closure using goldmine L Liu, D Sheridan, W Tuohy, S Vasudevan IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2012 | 35 | 2012 |
| Word level feature discovery to enhance quality of assertion mining L Liu, CH Lin, S Vasudevan Proceedings of the International Conference on Computer-Aided Design, 210-217, 2012 | 34 | 2012 |
| Automatic generation of assertions from system level design using data mining L Liu, D Sheridan, V Athavale, S Vasudevan Ninth ACM/IEEE International Conference on Formal Methods and Models for …, 2011 | 32 | 2011 |
| Low power processor design for wireless sensor network applications Y Xu, L Liu, P Shen, T Lv, X Li Proceedings. 2005 International Conference on Wireless Communications …, 2005 | 31 | 2005 |
| A coverage guided mining approach for automatic generation of succinct assertions D Sheridan, L Liu, H Kim, S Vasudevan 2014 27th International Conference on VLSI Design and 2014 13th …, 2014 | 26 | 2014 |
| Scaling Input Stimulus Generation through Hybrid Static and Dynamic Analysis of RTL L Liu, S Vasudevan ACM Transactions on Design Automation of Electronic Systems (TODAES) 20 (1), 2014 | 26 | 2014 |
| Towards coverage closure: Using goldmine assertions for generating design validation stimulus L Liu, D Sheridan, W Tuohy, S Vasudevan 2011 Design, Automation & Test in Europe, 1-6, 2011 | 25 | 2011 |
| Automatic generation of system level assertions from transaction level models L Liu, S Vasudevan Journal of Electronic Testing 29, 669-684, 2013 | 21 | 2013 |
| Observability statement coverage based on dynamic factored use-definition chains for functional verification T Lv, JP Fan, XW Li, LY Liu Journal of Electronic Testing 22, 273-285, 2006 | 16 | 2006 |
| An observability branch coverage metric based on dynamic factored use-define chains T Lv, L Liu, Y Zhao, H Li, X Li 2006 15th Asian Test Symposium, 89-94, 2006 | 12 | 2006 |
| Diagnosing root causes of system level performance violations L Liu, X Zhong, X Chen, S Vasudevan 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 295-302, 2013 | 7 | 2013 |
| Scaling probabilistic timing verification of hardware using abstractions in design source code JA Kumar, L Liu, S Vasudevan 2011 Formal Methods in Computer-Aided Design (FMCAD), 196-205, 2011 | 5 | 2011 |
| Generating concise assertions with complete coverage CH Lin, L Liu, S Vasudevan Proceedings of the 23rd ACM international conference on Great lakes …, 2013 | 4 | 2013 |
| Watching too much television is good: Self-supervised audio-visual representation learning from movies and tv shows MM Kalayeh, N Kamath, L Liu, A Chandrashekar arXiv preprint arXiv:2106.08513, 2021 | 2 | 2021 |
| 结合 ATPG 和 SAT 的无界模型检验前像计算方法 刘领一， 赵阳， 吕涛， 李华伟， 李晓维 计算机辅助设计与图形学学报 19 (3), 376-380, 2007 | 2 | 2007 |
| A comparative study of assertion mining algorithms in GoldMine S Vasudevan, L Liu, S Hertz Machine Learning in VLSI Computer-Aided Design, 609-645, 2019 | 1 | 2019 |
| Scaling RTL property checking using feasible path analysisand decomposition L Liu, S Vasudevan Proceedings of the 23rd ACM international conference on Great lakes …, 2013 | 1 | 2013 |
Shobha VasudevanProfessor of Computer Engineering, University of Illinois at Urbana-ChampaignDirección de correo verificada de illinois.edu
