Calypto Design Systems, Inc.

Organization

PORTLAND, OR, US

Business Address
2933 BUNKER HILL LANE SUITE 202 SANTA CLARA CA 95054 (408) 850-2300
Mailing Address
2933 BUNKER HILL LANE SUITE 202 SANTA CLARA CA 95054
State Location
CA
State of Incorporation
DE

Organizations

Please log in for detailed analytics

Patents Grantslast 30 patents

Information Patent Grant
Formal verification using microtransactions
- Patent number 9,817,929
- Issue date Nov 14, 2017
- Calypto Design Systems, Inc.
- Pankaj P. Chauhan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Flexible power query interfaces and infrastructures
- Patent number 9,201,994
- Issue date Dec 1, 2015
- Calypto Design Systems, Inc.
- Nikhil Tripathi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System, method, and computer program product for altering a hardwar...
- Patent number 8,667,434
- Issue date Mar 4, 2014
- Calypto Design Systems, Inc.
- Victor Kim
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System, method, and computer program product for reducing a deactiv...
- Patent number 8,621,413
- Issue date Dec 31, 2013
- Calypto Design Systems, Inc.
- Aiguo Xie
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Nonsequential hardware design synthesis verification
- Patent number 8,219,949
- Issue date Jul 10, 2012
- Calypto Design Systems, Inc.
- Robert J. Condon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Structured algorithmic programming language approach to system design
- Patent number 8,205,175
- Issue date Jun 19, 2012
- Calypto Design Systems, Inc.
- Simon Joshua Waters
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System, method, and computer program product for determining equiva...
- Patent number 8,122,401
- Issue date Feb 21, 2012
- Calypto Design Systems, Inc.
- Pankaj P. Chauhan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System, method, and computer program product for determining equiva...
- Patent number 8,117,571
- Issue date Feb 14, 2012
- Calypto Design Systems, Inc.
- Pankaj P. Chauhan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System, method, and computer program product for optimizing an alte...
- Patent number 8,037,443
- Issue date Oct 11, 2011
- Calypto Design Systems, Inc.
- Venkatram Krishnaswamy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Integrated circuit design system, method, and computer program prod...
- Patent number 7,966,593
- Issue date Jun 21, 2011
- Calypto Design Systems, Inc.
- Venky Ramachandran
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Integrated circuit design system, method, and computer program prod...
- Patent number 7,761,827
- Issue date Jul 20, 2010
- Calypto Design Systems, Inc.
- Venky Ramachandran
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System, method and computer program product for word-level operator...
- Patent number 7,673,257
- Issue date Mar 2, 2010
- Calypto Design Systems, Inc.
- Shail Bains
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System, method and computer program product for timing-independent...
- Patent number 7,607,115
- Issue date Oct 20, 2009
- Calypto Design Systems, Inc.
- Venkatram Krishnaswamy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and computer program product for simultaneous cell identific...
- Patent number 7,539,956
- Issue date May 26, 2009
- Calypto Design Systems, Inc.
- Aiguo Xie
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System, method and computer program product for equivalence checkin...
- Patent number 7,350,168
- Issue date Mar 25, 2008
- Calypto Design Systems, Inc.
- Anmol Mathur
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System, method and computer program product for word-level computat...
- Patent number 7,333,032
- Issue date Feb 19, 2008
- Calypto Design Systems, Inc.
- Venky Ramachandran
- H03 - BASIC ELECTRONIC CIRCUITRY
Information Patent Grant
Method of simplifying a circuit for equivalence checking
- Patent number 7,287,235
- Issue date Oct 23, 2007
- Calypto Design Systems, Inc.
- Gagan Hasteer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for inplace symbolic simulation over multiple cyc...
- Patent number 7,284,218
- Issue date Oct 16, 2007
- Calypto Design Systems, Inc.
- Sumit Roy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Circuit comparison by information loss matching
- Patent number 7,222,317
- Issue date May 22, 2007
- Calypto Designs Systems
- Anmol Mathur
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
FORMAL VERIFICATION OF BOOTH MULTIPLIERS
- Publication number 20140067897
- Publication date Mar 6, 2014
- CALYPTO DESIGN SYSTEMS, INC.
- Michael L. Case
- G06 - COMPUTING CALCULATING COUNTING

Trademarklast 30 trademarks

Information Trademark
86205454 - CATWARE
- Serial number 86205454
- Registration number 4896109
- Filing date Feb 26, 2014
- Calypto Design Systems, Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
77170424 - POWERPRO
- Serial number 77170424
- Registration number 3651729
- Filing date May 1, 2007
- Calypto Design Systems, Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
77096930 - SHASTA
- Serial number 77096930
- Filing date Feb 1, 2007
- Calypto Design Systems, Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
78896425 - ENABLING ESL
- Serial number 78896425
- Registration number 3407177
- Filing date May 30, 2006
- Calypto Design Systems, Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
78681625 - CALYPTO
- Serial number 78681625
- Registration number 3493904
- Filing date Jul 29, 2005
- Calypto Design Systems, Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
78681640 - SLEC
- Serial number 78681640
- Registration number 3424206
- Filing date Jul 29, 2005
- Calypto Design Systems, Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
78681371 - SEC
- Serial number 78681371
- Filing date Jul 29, 2005
- Calypto Design Systems, Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments

Calypto Design Systems, Inc.

Organization

Business Address

Mailing Address

State Location

State of Incorporation

Patents Grantslast 30 patents

Formal verification using microtransactions

Flexible power query interfaces and infrastructures

System, method, and computer program product for altering a hardwar...

System, method, and computer program product for reducing a deactiv...

Nonsequential hardware design synthesis verification

Structured algorithmic programming language approach to system design

System, method, and computer program product for determining equiva...

System, method, and computer program product for determining equiva...

System, method, and computer program product for optimizing an alte...

Integrated circuit design system, method, and computer program prod...

Integrated circuit design system, method, and computer program prod...

System, method and computer program product for word-level operator...

System, method and computer program product for timing-independent...

System and computer program product for simultaneous cell identific...

System, method and computer program product for equivalence checkin...

System, method and computer program product for word-level computat...

Method of simplifying a circuit for equivalence checking

Method and system for inplace symbolic simulation over multiple cyc...

Circuit comparison by information loss matching

Patents Applicationslast 30 patents

FORMAL VERIFICATION OF BOOTH MULTIPLIERS

Trademarklast 30 trademarks

86205454 - CATWARE

77170424 - POWERPRO

77096930 - SHASTA

78896425 - ENABLING ESL

78681625 - CALYPTO

78681640 - SLEC

78681371 - SEC