Bharat Kalyanpur

Follow

Person

Fremont, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Latch modeling technique for formal verification
- Patent number 7,254,793
- Issue date Aug 7, 2007
- Synopsys, Inc.
- Yirng-An Chen
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Latch modeling technique for formal verification
- Publication number 20060190870
- Publication date Aug 24, 2006
- Synopsys, Inc.
- Yirng-An Chen
- G06 - COMPUTING CALCULATING COUNTING