Chrysalis Symbolic Design, Inc.

Follow

Organization

Andover, MA, US

Organizations

Please log in for detailed analytics

Patents Grantslast 30 patents

Information Patent Grant
Rule based hierarchy generation in a circuit design verification sy...
- Patent number 6,530,072
- Issue date Mar 4, 2003
- Chrysalis Symbolic Design, Inc.
- John W. Hagerman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Computers systems and methods for verifying representations of a ci...
- Patent number 6,219,821
- Issue date Apr 17, 2001
- Chrysalis Symbolic Design, Inc.
- John Hagerman
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Trademarklast 30 trademarks

Information Trademark
75025428 - SYMBOLIC LOGIC
- Serial number 75025428
- Filing date Nov 21, 1995
- Chrysalis Symbolic Design, Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
74475219 - DESIGN VERIFYER
- Serial number 74475219
- Registration number 1903903
- Filing date Dec 29, 1993
- Chrysalis Symbolic Design, Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
74475305 - DESIGN INSIGHT
- Serial number 74475305
- Registration number 2109351
- Filing date Dec 29, 1993
- Chrysalis Symbolic Design, Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments