Membership
Tour
Register
Log in
Travis W. Pouarz
Follow
Person
Austin, TX, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Enhancing formal design verification by reusing previous results
Patent number
8,042,078
Issue date
Oct 18, 2011
International Business Machines Corporation
Viresh Paruthi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method of automating creation of a clock control distribution netwo...
Patent number
7,979,838
Issue date
Jul 12, 2011
International Business Machines Corporation
Christopher J. Berry
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Efficient utilization of a multi-source network of control logic to...
Patent number
7,979,732
Issue date
Jul 12, 2011
International Business Machines Corporation
Lawrence D. Curley
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System and method of state point correspondence with constrained fu...
Patent number
7,546,561
Issue date
Jun 9, 2009
International Business Machines Corporation
Travis W. Pouarz
G01 - MEASURING TESTING
Patents Applications
last 30 patents
Information
Patent Application
Enhancing Formal Design Verification By Reusing Previous Results
Publication number
20100257494
Publication date
Oct 7, 2010
International Business Machines Corporation
Travis W. Pouarz
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Method of Automating Creation of a Clock Control Distribution Netwo...
Publication number
20090210843
Publication date
Aug 20, 2009
International Business Machines Corporation
Christopher J. Berry
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Efficient Utilization of a Multi-Source Network of Control Logic to...
Publication number
20090013206
Publication date
Jan 8, 2009
Lawrence D. Curley
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
System and Method of State Point Correspondence with Constrained Fu...
Publication number
20070277068
Publication date
Nov 29, 2007
Travis W. Pouarz
G01 - MEASURING TESTING