Inventor · disambiguated record
Demosthenes Anastasakis
Also filed as: ANASTASAKIS DEMOSTHENES
2 granted patents·1 pending application·106 citations·filing 2000–2021
68Inventor score
Technology areasG06F
Files withSYNOPSYS INC3
Top patents by PatentIndex Score
3 records- 0187US6247165B1System and process of extracting gate-level descriptions from simulation tables for formal verificationSYNOPSYS INC·Filed 2000·Granted Jun 12, 2001·65 cites·21 claims
- 0277US6668362B1Hierarchical verification for equivalence checking of designsSYNOPSYS INC·Filed 2002·Granted Dec 23, 2003·41 cites·20 claims
- 0338US2022198109A1Boolean methods for engineering change order (eco) patch identificationSYNOPSYS INC·Filed 2021·Application pending·0 cites
Join the waitlist — get patent alerts
Get an alert when Demosthenes Anastasakis 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 →