Inventor · disambiguated record
Mirlaine Aparecida Crepalde
Also filed as: CREPALDE MIRLAINE APARECIDA
3 granted patents·11 citations·filing 2017–2019
62Inventor score
Files withCADENCE DESIGN SYSTEMS INC3
Top patents by PatentIndex Score
3 records- 0173US10289798B1System, method, and computer program product for property clustering associated with formal verification of an electronic circuit designCADENCE DESIGN SYSTEMS INC·Filed 2017·Granted May 14, 2019·6 cites·20 claims
- 0272US10706195B1System, method, and computer program product for over-constraint/deadcode detection in a formal verificationCADENCE DESIGN SYSTEMS INC·Filed 2018·Granted Jul 7, 2020·4 cites·20 claims
- 0362US10956640B1System, method, and computer program product for determining suitability for formal verificationCADENCE DESIGN SYSTEMS INC·Filed 2019·Granted Mar 23, 2021·1 cites·15 claims
Join the waitlist — get patent alerts
Get an alert when Mirlaine Aparecida Crepalde files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →