Inventor
CHOPRA MANU
IN8 patents
⚠️ This page may combine multiple inventors who share the name “CHOPRA MANU”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
CADENCE DESIGN SYSTEMS INC
7 patentsUS7047510B1May 16, 2006
Method and system for partitioning an integrated circuit design
CADENCE DESIGN SYSTEMS INC26 citations91
US7747971B1Jun 29, 2010
State retention for formal verification
CADENCE DESIGN SYSTEMS INC14 citations80
US10325042B1Jun 18, 2019
Debugging failures in X-propagation logic circuit simulation
CADENCE DESIGN SYSTEMS INC6 citations68
US7444274B1Oct 28, 2008
Method and system for verifying circuit designs through propagation of assertions
CADENCE DESIGN SYSTEMS INC3 citations60
US11429770B1Aug 30, 2022
System, method, and computer program product for analyzing X-propagation simulations
CADENCE DESIGN SYSTEMS INC0 citations58
US8949754B1Feb 3, 2015
System, method, and computer program product for verification using X-propagation
CADENCE DESIGN SYSTEMS INC0 citations49
US10162920B1Dec 25, 2018
System and method for performing out of order name resolution in an electronic design
CADENCE DESIGN SYSTEMS INC0 citations44