Inventor · disambiguated record
Petr Spacek
Also filed as: SPACEK PETR · SPACEK PETR WILLIAM
5 granted patents·1 pending application·39 citations·filing 2012–2022
77Inventor score
Top patents by PatentIndex Score
6 records- 0190US8904321B1System and method for automatically generating coverage constructs and constraint solver distributionsCADENCE DESIGN SYSTEMS INC·Filed 2012·Granted Dec 2, 2014·19 cites·17 claims
- 0281US9544278B2Using domain name system security extensions in a mixed-mode environmentRED HAT INC·Filed 2015·Granted Jan 10, 2017·10 cites·20 claims
- 0369US9373077B1System and method for identifying constraint solver callsCADENCE DESIGN SYSTEMS INC·Filed 2012·Granted Jun 21, 2016·6 cites·17 claims
- 0467US10447482B2Using domain name system for verifying integrity of application packagesRED HAT INC·Filed 2017·Granted Oct 15, 2019·2 cites·20 claims
- 0564US8875069B1System and method for generating constrained random values associated with an electronic designCADENCE DESIGN SYSTEMS INC·Filed 2013·Granted Oct 28, 2014·2 cites·18 claims
- 0655US2025276994A1Cap analog for the 5'-end of eukaryotic messenger rnasWESTFAELISCHE WILHELMS UNIV·Filed 2022·Application pending·0 cites
Join the waitlist — get patent alerts
Get an alert when Petr Spacek 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 →