Membership
Tour
Register
Log in
David Todd Massey
Follow
Person
Boulder Creek, CA, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
System and method for automated design verification
Patent number
6,687,662
Issue date
Feb 3, 2004
Verisity Design, Inc.
Michael Thomas York McNamara
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System and method for identifying finite state machines and verifyi...
Patent number
6,487,704
Issue date
Nov 26, 2002
Verisity Design, Inc.
Michael McNamara
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System and method for automated design verification
Patent number
6,141,630
Issue date
Oct 31, 2000
Verisity Design, Inc.
Michael Thomas York McNamara
G06 - COMPUTING CALCULATING COUNTING