Deadlock & Livelock Detection in Power Controllers Using Under-constrained Formal Testbench
Speaker:
Ipshita Tripathi
Qualcomm India Pvt. Ltd. & Qualcomm Technologies, Inc., Noida, India
Authors:
Ipshita Tripathi
Qualcomm India Pvt. Ltd. & Qualcomm Technologies, Inc., Noida, India
Arumugam Velayoudame
Qualcomm India Pvt. Ltd. & Qualcomm Technologies, Inc., Bangalore, India
Rahul Gupta
Qualcomm India Pvt. Ltd. & Qualcomm Technologies, Inc., Noida, India
Vinay Garipelli
Qualcomm India Pvt. Ltd. & Qualcomm Technologies, Inc., Bangalore, India