Manish Pandey

Manish Pandey

Carnegie Mellon University - Pittsburgh / United States
Engineering & Technology / Electrical & Electronic Engineering
AD Scientific Index ID: 884030
person_outline Manish Pandey's MOST POPULAR ARTICLES
1-) Formal verification of content addressable memories using symbolic trajectory evaluationM Pandey, R Raimi, RE Bryant, MS AbadirProceedings of the 34th annual Design Automation Conference, 167-172, 1997811997
2-) Formal verification of content addressable memories using symbolic trajectory evaluationM Pandey, R Raimi, RE Bryant, MS AbadirProceedings of the 34th annual Design Automation Conference, 167-172, 1997811997
3-) Formal verification of PowerPC arrays using symbolic trajectory evaluationM Pandey, R Raimi, DL Beatty, RE Bryant33rd Design Automation Conference Proceedings, 1996, 649-654, 1996631996
4-) Method and mechanism for implementing electronic designs having power information specifications backgroundQ Wang, A Gupta, P Chen, C Chu, M Pandey, HC Tsai, S Bhatia, Y Chen, ...US Patent 7,739,629, 2010562010
5-) Method and system for equivalence checking of a low power designM Pandey, R Arora, CC Lin, HC Tsai, B Chandramouli, KY KhooUS Patent 7,669,165, 2010442010