Searching for authors named "Shobha Vasudevan" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Efficient Microprocessor Verification using Antecedent Conditioned Slicing
- …Efficient Microprocessor Verification using Antecedent Conditioned Slicing Shobha Vasudevan…
- Add To MetaCart
-
Dependency Classifier in Part-Whole Relationships
- …Dependency Classifier in Part-Whole Relationships Rushikesh K. Joshi + , Shobha Vasudevan…
- Add To MetaCart
-
structural faults
- … processor Sankar Gurumurthy, Shobha Vasudevan and Jacob A. Abraham Computer Engineering Research Center…
- Add To MetaCart
-
Automated mapping of precomputed module-level test sequences to processor instructions
- … Gurumurthy, Shobha Vasudevan and Jacob A. Abraham Computer Engineering Research Center University of Texas…
- Cited by 5 (2 self) – Add To MetaCart
-
Microprocessor Verification using RT-Level Static Analysis Techniques
- …Microprocessor Verification using RT-Level Static Analysis Techniques Shobha Vasudevan Vinod…
- Add To MetaCart
-
Improved Verification of Hardware Designs through Antecedent Conditioned Slicing
- … by the editor) Shobha Vasudevan · E. Allen Emerson · Jacob A. Abraham Improved Verification of Hardware Designs…
- Cited by 2 (1 self) – Add To MetaCart
-
Automatic Verification of Arithmetic Circuits in RTL using Term Rewriting Systems
- …Copyright by Shobha Vasudevan 2003 Automatic Verification of Arithmetic Circuits in RTL using Term…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 7.
