Seguir
Shobha Vasudevan
Shobha Vasudevan
Professor of Computer Engineering, University of Illinois at Urbana-Champaign
Dirección de correo verificada de illinois.edu - Página principal
Título
Citado por
Citado por
Año
Goldmine: Automatic assertion generation using data mining and static analysis
S Vasudevan, D Sheridan, S Patel, D Tcheng, B Tuohy, D Johnson
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010
1992010
Mining hardware assertions with guidance from static analysis
S Hertz, D Sheridan, S Vasudevan
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2013
1112013
Efficient validation input generation in RTL by hybridized source code analysis
L Liu, S Vasudevan
2011 Design, Automation & Test in Europe, 1-6, 2011
912011
Integration of data mining and static analysis for hardware design verification
S Vasudevan, D Sheridan, L Liu
US Patent 9,021,409, 2015
782015
Automatic generation of instruction sequences targeting hard-to-detect structural faults in a processor
S Gurumurthy, S Vasudevan, JA Abraham
2006 IEEE International Test Conference, 1-9, 2006
752006
Automated mapping of pre-computed module-level test sequences to processor instructions
S Guramurthy, S Vasudevan, JA Abraham
IEEE International Conference on Test, 2005., 10 pp.-303, 2005
652005
Automatic verification of arithmetic circuits in RTL using stepwise refinement of term rewriting systems
S Vasudevan, V Viswanath, RW Sumners, JA Abraham
IEEE Transactions on Computers 56 (10), 1401-1414, 2007
522007
Can't see the forest for the trees: State restoration's limitations in post-silicon trace signal selection
S Ma, D Pal, R Jiang, S Ray, S Vasudevan
2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2015
502015
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
482009
Automatic decomposition for sequential equivalence checking of system level and RTL descriptions
S Vasudevan, JA Abraham, V Viswanath, J Tu
Fourth ACM and IEEE International Conference on Formal Methods and Models …, 2006
452006
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
372012
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
372011
Application level investigation of system-level ESD-induced soft failures
S Vora, R Jiang, S Vasudevan, E Rosenbaum
2016 38th Electrical Overstress/Electrostatic Discharge Symposium (EOS/ESD …, 2016
352016
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
352012
Learning semantic representations to verify hardware designs
S Vasudevan, WJ Jiang, D Bieber, R Singh, CR Ho, C Sutton
Advances in Neural Information Processing Systems 34, 23491-23504, 2021
292021
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
292014
Improved verification of hardware designs through antecedent conditioned slicing
S Vasudevan, EA Emerson, JA Abraham
International Journal on Software Tools for Technology Transfer 9, 89-101, 2007
282007
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
272014
Efficient model checking of hardware using conditioned slicing
S Vasudevan, EA Emerson, JA Abraham
Electronic Notes in Theoretical Computer Science 128 (6), 279-294, 2005
272005
Automatic generation of system level assertions from transaction level models
L Liu, S Vasudevan
Journal of Electronic Testing 29, 669-684, 2013
262013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20