Inventor · disambiguated record
Mark Allen Williams
Also filed as: WILLIAMS MARK A · WILLIAMS MARK ALLEN
8 granted patents·51 citations·filing 2003–2022
83Inventor score
Top patents by PatentIndex Score
8 records- 0182US8042078B2Enhancing formal design verification by reusing previous resultsIBM·Filed 2009·Granted Oct 18, 2011·13 cites·18 claims
- 0276US8255848B2Logic design verification techniques for liveness checking with retimingBAUMGARTNER JASON R·Filed 2009·Granted Aug 28, 2012·7 cites·13 claims
- 0368US6993734B2Use of time step information in a design verification systemIBM·Filed 2003·Granted Jan 31, 2006·13 cites·16 claims
- 0467US7210109B2Equivalence checking of scan path flush operationsIBM·Filed 2004·Granted Apr 24, 2007·15 cites·17 claims
- 0562US8407641B2Logic design verification techniques for liveness checking with retimingBAUMGARTNER JASON R·Filed 2012·Granted Mar 26, 2013·1 cites·13 claims
- 0661US8201118B2Method and system for dynamic automated hint generation for enhanced reachability analysisBAUMGARTNER JASON R·Filed 2009·Granted Jun 12, 2012·2 cites·15 claims
- 0756US12475287B2Equivalence checking of synthesized logic designs using generated synthesis historyIBM·Filed 2022·Granted Nov 18, 2025·0 cites·14 claims
- 0853US10565338B2Equivalency verification for hierarchical referencesIBM·Filed 2017·Granted Feb 18, 2020·0 cites·17 claims
Join the waitlist — get patent alerts
Get an alert when Mark Allen Williams 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 →