Error detection/correction and fault detection/recovery
Pulse or data error handling
Digital logic testing
Inventor
active
Estimating the difficulty level of a formal verification...
Generating a test sequence using a satisfiability technique
Performing latch mapping of sequential circuits
Scheduling events in a boolean satisfiability (SAT) solver
System and method for verifying a digital design using...
No associations
LandOfFree
Mukul R. Prasad does not yet have a rating. At this time, there are no reviews or comments for this inventor.
If you have personal experience with Mukul R. Prasad, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Mukul R. Prasad will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-P-2930184