Inventor · disambiguated record
Zaher Andraus
Also filed as: ANDRAUS ZAHER
4 granted patents·3 pending applications·16 citations·filing 2009–2017
71Inventor score
Technology areasG06F
Top patents by PatentIndex Score
7 records- 0178US8954909B2Automated scalable verification for hardware designs at the register transfer levelUNIV MICHIGAN·Filed 2013·Granted Feb 10, 2015·6 cites·19 claims
- 0275US8601414B2Automated scalable verification for hardware designs at the register transfer levelANDRAUS ZAHER·Filed 2010·Granted Dec 3, 2013·8 cites·20 claims
- 0358US10229235B2Sequential non-deterministic detection in hardware designReveal Design Automation·Filed 2015·Granted Mar 12, 2019·1 cites·19 claims
- 0454US9141738B2Sequential non-deterministic detection in hardware designReveal Design Automation·Filed 2013·Granted Sep 22, 2015·1 cites·1 claims
- 0539US2010306308A1Scalable system for resource management and/or resource allocation based on online constraint satisfaction solvingANDRAUS ZAHER·Filed 2009·Application pending·0 cites
- 0632US2018089341A1Self Equivalence in Hardware DesignsReveal Design Automation·Filed 2017·Application pending·0 cites
- 0730US2017068753A1Self Equivalence in Hardware DesignsBARANSI AKRAM·Filed 2016·Application pending·0 cites
Join the waitlist — get patent alerts
Get an alert when Zaher Andraus 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 →