Clifton Alton Lyons JR.

Follow

Person

Lake Oswego, OR, US

People

Patents Grantslast 30 patents

Information Patent Grant
Input space reduction for verification test set generation
- Patent number 9,619,598
- Issue date Apr 11, 2017
- Mentor Graphics Corporation
- Clifton A. Lyons
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Input space reduction for verification test set generation
- Patent number 9,135,376
- Issue date Sep 15, 2015
- Mentor Graphics Corporation
- Sudhir D. Kadkade
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Input Space Reduction for Verification Test Set Generation
- Publication number 20140013290
- Publication date Jan 9, 2014
- Mentor Graphics Corporation
- Clifton A. Lyons
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Input Space Reduction for Verification Test Set Generation
- Publication number 20130298102
- Publication date Nov 7, 2013
- Mentor Graphics Corporation
- Sudhir D. Kadkade
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DYNAMIC VERIFICATION TRAVERSAL STRATEGIES
- Publication number 20080059842
- Publication date Mar 6, 2008
- Sudhir Dattaram Kadkade
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Automaton synchronization during system verification
- Publication number 20050081094
- Publication date Apr 14, 2005
- Lighthouse Design Atomation, Inc.
- Sudhir Dattaram Kadkade
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System verification using one or more automata
- Publication number 20050071720
- Publication date Mar 31, 2005
- Lighthouse Design Automation, Inc.
- Sudhir Dattaram Kadkade
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and system for programming devices using finite state machin...
- Publication number 20030066050
- Publication date Apr 3, 2003
- Douglas W. Wang
- G05 - CONTROLLING REGULATING