Inventor
NALLA PRADEEP K
IN8 patents
Patents
8 patentsUS10210296B2Feb 19, 2019
Adaptive bug-search depth for simple and deep counterexamples
IBM3 citations71
US10073938B2Sep 11, 2018
Integrated circuit design verification
IBM3 citations69
US10394987B2Aug 27, 2019
Adaptive bug-search depth for simple and deep counterexamples
IBM1 citations61
US9483595B2Nov 1, 2016
Method for scalable liveness verification via abstraction refinement
IBM0 citations51
US9471734B2Oct 18, 2016
System and program product for scalable liveness verification via abstraction refinement
IBM1 citations51
US10078716B2Sep 18, 2018
Scalable logic verification by identifying unate primary inputs
IBM0 citations50
US9715564B2Jul 25, 2017
Scalable and automated identification of unobservability causality in logic optimization flows
IBM0 citations40
US9922153B2Mar 20, 2018
Scalable logic verification by identifying unate primary inputs
IBM0 citations39