Inventor

ANDRAUS ZAHER

US4 patents

⚠️ This page may combine multiple inventors who share the name “ANDRAUS ZAHER”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

Reveal Design Automation

2 patents

US10229235B2Mar 12, 2019

Sequential non-deterministic detection in hardware design

Reveal Design Automation1 citations52

US9141738B2Sep 22, 2015

Sequential non-deterministic detection in hardware design

Reveal Design Automation1 citations42

UNIV MICHIGAN

1 patent

US8954909B2Feb 10, 2015

Automated scalable verification for hardware designs at the register transfer level

UNIV MICHIGAN6 citations79

ANDRAUS ZAHER

1 patent

US8601414B2Dec 3, 2013

Automated scalable verification for hardware designs at the register transfer level

ANDRAUS ZAHER8 citations74