Inventor · disambiguated record
Naphtali Yehoshua Sprei
Also filed as: SPREI NAPHTALI YEHOSHUA
1 granted patent·2 pending applications·0 citations·filing 2018–2023
3Inventor score
Technology areasG06F
Files withSYNOPSYS INC3
Top patents by PatentIndex Score
3 records- 0142US2024273271A1Verifying nonoverlapping transactions described by assertions for sequential implicationsSYNOPSYS INC·Filed 2023·Application pending·0 cites
- 0238US10579760B2Force/release support in emulation and formal verificationSYNOPSYS INC·Filed 2018·Granted Mar 3, 2020·0 cites·22 claims
- 0338US2023017872A1Optimization of alternating büchi automata for formal verification of a circuit designSYNOPSYS INC·Filed 2022·Application pending·0 cites
Join the waitlist — get patent alerts
Get an alert when Naphtali Yehoshua Sprei 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 →