Follow
Indradeep Ghosh
Indradeep Ghosh
Verified email at us.fujitsu.com
Title
Cited by
Cited by
Year
GKLEE: concolic verification and test generation for GPUs
G Li, P Li, G Sawaya, G Gopalakrishnan, I Ghosh, SP Rajan
Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of …, 2012
1702012
KLOVER: A symbolic execution and automatic test generation tool for C++ programs
G Li, I Ghosh, SP Rajan
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
1462011
A fast and low cost testing technique for core-based system-on-chip
I Ghosh, S Dey, NK Jha
Proceedings of the 35th annual Design Automation Conference, 542-547, 1998
1281998
SymJS: automatic symbolic testing of JavaScript web applications
G Li, E Andreasen, I Ghosh
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
1232014
Design for hierarchical testability of RTL circuits obtained by behavioral synthesis
I Ghosh, A Raghunathan, NK Jha
IEEE transactions on computer-aided design of integrated circuits and …, 1997
1171997
Automatic test pattern generation for functional register-transfer level circuits using assignment decision diagrams
I Ghosh, M Fujita
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2001
1042001
A design-for-testability technique for register-transfer level circuits using control/data flow extraction
I Ghosh, A Raghunathan, NK Jha
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1998
911998
A low overhead design for testability and test generation technique for core-based systems
I Ghosh, NK Jha, S Dey
Proceedings International Test Conference 1997, 50-59, 1997
801997
Efficient sequential ATPG for functional RTL circuits
L Zhang, I Ghosh, M Hsiao
International Test Conference, 2003. Proceedings. ITC 2003., 290-290, 2003
752003
PASS: string solving with parameterized array and interval automaton
G Li, I Ghosh
Haifa Verification Conference, 15-31, 2013
712013
Method for implementing a bist scheme into integrated circuits for testing RTL controller-data paths in the integrated circuits
S Bhawmik, I Ghosh, N Jha
US Patent 6,463,560, 2002
672002
JST: An automatic test generation tool for industrial Java applications with strings
I Ghosh, N Shafiei, G Li, WF Chiang
2013 35th International Conference on Software Engineering (ICSE), 992-1001, 2013
642013
A design for testability technique for RTL circuits using control/data flow extraction
I Ghosh, A Raghunathan, NK Jha
Proceedings of International Conference on Computer Aided Design, 329-336, 1996
581996
Using symbolic execution to check global temporal requirements in an application
MR Prasad, I Ghosh, SP Rajan
US Patent 8,359,576, 2013
532013
Hierarchical test generation and design for testability methods for ASPPs and ASIPs
I Ghosh, A Raghunathan, NK Jha
IEEE transactions on computer-aided design of integrated circuits and …, 1999
531999
Automatic test pattern generation for functional RTL circuits using assignment decision diagrams
I Ghosh, M Fujita
Proceedings of the 37th Annual Design Automation Conference, 43-48, 2000
502000
A BIST scheme for RTL circuits based on symbolic testability analysis
I Ghosh, NK Jha, S Bhawmik
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2000
492000
Generating test sets using intelligent variable selection and test set compaction
I Ghosh
US Patent 8,479,171, 2013
452013
A low overhead design for testability and test generation technique for core-based systems-on-a-chip
I Ghosh, NK Jha, S Dey
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1999
441999
Symbolic execution and test generation for GPU programs
G Li, SP Rajan, I Ghosh
US Patent 8,595,701, 2013
432013
The system can't perform the operation now. Try again later.
Articles 1–20