Mark A. Williams has been granted 7 US patents while listed as an inventor at IBM . The first was granted in 2006 and the most recent in February 2020. Mark A. Williams ranks #680,018 of 4,157,543 US inventors in our database (top 16.4%). Patent records list Mark A. Williams in Poughkeepsie, NY, US.
Patents per Year Patents granted per year, 2006 to 2020 Bar chart with a peak of 2 patents in 2012. peak 2 2006: 1 patents 2006 2007: 1 patents 2007 2011: 1 patents 2011 2012: 2 patents 2012 2013: 1 patents 2013 2020: 1 patents 2020
Issued Patents All Time
Profile Widget
Showing 1–7 of 7 patents
Patent # Title Co-Inventors Date Approx Value ⓘ
10565338 Equivalency verification for hierarchical references Ali S. El-Zein , Robert L. Kanzelman , Viresh Paruthi , Wolfgang Roesner 2020-02-18
$2,353,000
8407641 Logic design verification techniques for liveness checking with retiming Jason R. Baumgartner , Gabor Bobok , Paul Joseph Roessler 2013-03-26
$5,395,000
8255848 Logic design verification techniques for liveness checking with retiming Jason R. Baumgartner , Gabor Bobok , Paul Joseph Roessler 2012-08-28
$8,752,000
8201118 Method and system for dynamic automated hint generation for enhanced reachability analysis Jason R. Baumgartner , Paul Joseph Roessler , Jiazhao Xu 2012-06-12
$5,600,000
8042078 Enhancing formal design verification by reusing previous results Viresh Paruthi , Travis W. Pouarz 2011-10-18
$4,054,000
7210109 Equivalence checking of scan path flush operations Kenneth Michael Caron , Robert L. Kanzelman , Scott Mack , Lance G. Thompson 2007-04-24
$12,783,000
6993734 Use of time step information in a design verification system Jason R. Baumgartner , Hari Mony , Viresh Paruthi 2006-01-31
$6,009,000
