Inventor
SEAWRIGHT JAMES ANDREW GARRARD
US4 patents
⚠️ This page may combine multiple inventors who share the name “SEAWRIGHT JAMES ANDREW GARRARD”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
SEAWRIGHT JAMES ANDREW GARRARD
3 patentsUS7454324B1Nov 18, 2008
Selection of initial states for formal verification
SEAWRIGHT JAMES ANDREW GARRARD57 citations92
US7487483B2Feb 3, 2009
Clock model for formal verification of a digital circuit description
SEAWRIGHT JAMES ANDREW GARRARD5 citations70
US8060847B2Nov 15, 2011
Clock model for formal verification of a digital circuit description
SEAWRIGHT JAMES ANDREW GARRARD1 citations48