Ross M. Weber

Follow

Person

Plymouth, MN, US

People

Patents Grantslast 30 patents

Information Patent Grant
Formal verification coverage metrics for circuit design properties
- Patent number 9,177,089
- Issue date Nov 3, 2015
- Cadence Design Systems, Inc.
- Ziyad E. Hanna
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Formal verification coverage metrics of covered events for circuit...
- Patent number 9,158,874
- Issue date Oct 13, 2015
- Cadence Design Systems, Inc.
- Rajeev K. Ranjan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Formal verification coverage metrics for circuit design properties
- Patent number 8,826,201
- Issue date Sep 2, 2014
- Jasper Design Automation, Inc.
- Ziyad E. Hanna
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
FORMAL VERIFICATION COVERAGE METRICS FOR CIRCUIT DESIGN PROPERTIES
- Publication number 20150135150
- Publication date May 14, 2015
- Ziyad E. Hanna
- G06 - COMPUTING CALCULATING COUNTING