Inventor
PEIXOTO FABIANO
BR6 patents
⚠️ This page may combine multiple inventors who share the name “PEIXOTO FABIANO”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
CADENCE DESIGN SYSTEMS INC
5 patentsUS10204201B1Feb 12, 2019
Methods, systems, and articles of manufacture for verifying an electronic design using hierarchical clock domain crossing verification techniques
CADENCE DESIGN SYSTEMS INC12 citations79
US10162917B1Dec 25, 2018
Method and system for implementing selective transformation for low power verification
CADENCE DESIGN SYSTEMS INC5 citations71
US9633151B1Apr 25, 2017
Methods, systems, and computer program product for verifying electronic designs with clock domain crossing paths
CADENCE DESIGN SYSTEMS INC5 citations68
US9665682B1May 30, 2017
Methods, systems, and articles of manufacture for enhancing formal verification with counter acceleration for electronic designs
CADENCE DESIGN SYSTEMS INC2 citations65
US9817930B1Nov 14, 2017
Method, system, and computer program product for verifying an electronic circuit design with a graph-based proof flow
CADENCE DESIGN SYSTEMS INC6 citations64