Inventor · disambiguated record
John Moondanos
Also filed as: MOONDANOS JOHN
4 granted patents·29 citations·filing 2000–2004
74Inventor score
Technology areasG06F
Files withINTEL CORP4
Top patents by PatentIndex Score
4 records- 0161US6792581B2Method and apparatus for cut-point frontier selection and for counter-example generation in formal equivalence verificationINTEL CORP·Filed 2002·Granted Sep 14, 2004·9 cites·15 claims
- 0261US6564358B2Method and system for formal verification of a circuit model using binary decision diagramsINTEL CORP·Filed 2000·Granted May 13, 2003·12 cites·28 claims
- 0353US7159201B2Method and apparatus for cut-point frontier selection and for counter-example generation in formal equivalence verificationINTEL CORP·Filed 2004·Granted Jan 2, 2007·4 cites·18 claims
- 0452US7117465B2Application of the retimed normal form to the formal equivalence verification of abstract RTL descriptions for pipelined designsINTEL CORP·Filed 2003·Granted Oct 3, 2006·4 cites·18 claims
Join the waitlist — get patent alerts
Get an alert when John Moondanos 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 →