Inventor · disambiguated record
Andrea Iabrudi Tavares
Also filed as: TAVARES ANDREA IABRUDI
5 granted patents·26 citations·filing 2014–2016
76Inventor score
Technology areasG06F
Files withCADENCE DESIGN SYSTEMS INC5
Top patents by PatentIndex Score
5 records- 0189US10204201B1Methods, systems, and articles of manufacture for verifying an electronic design using hierarchical clock domain crossing verification techniquesCADENCE DESIGN SYSTEMS INC·Filed 2016·Granted Feb 12, 2019·12 cites·21 claims
- 0281US9633151B1Methods, systems, and computer program product for verifying electronic designs with clock domain crossing pathsCADENCE DESIGN SYSTEMS INC·Filed 2015·Granted Apr 25, 2017·5 cites·20 claims
- 0376US9817930B1Method, system, and computer program product for verifying an electronic circuit design with a graph-based proof flowCADENCE DESIGN SYSTEMS INC·Filed 2014·Granted Nov 14, 2017·6 cites·21 claims
- 0474US10094875B1Methods, systems, and articles of manufacture for graph-driven verification and debugging of an electronic designCADENCE DESIGN SYSTEMS INC·Filed 2016·Granted Oct 9, 2018·2 cites·24 claims
- 0556US10769008B1Systems and methods for automatic formal metastability fault analysis in an electronic designCADENCE DESIGN SYSTEMS INC·Filed 2016·Granted Sep 8, 2020·1 cites·12 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →