Chrysalis Symbolic Design, Inc. Trademarks
DESIGN VERIFYER

DESIGN VERIFYER

Filed: December 29, 1993
computer software for development, testing, simulation and modification of digital electronic circuits and other electronic…
Owned by: Chrysalis Symbolic Design, Inc.
Serial Number: 74475219

DESIGN INSIGHT

DESIGN INSIGHT

Filed: December 29, 1993
computer software for development, testing, simulation and modification of digital electronic circuits and other electronic…
Owned by: Chrysalis Symbolic Design, Inc.
Serial Number: 74475305

SYMBOLIC LOGIC

SYMBOLIC LOGIC

Filed: November 21, 1995
computer software used to design, debug, analyze, verify and test digital electronic circuits and other electronic devices…
Owned by: Chrysalis Symbolic Design, Inc.
Serial Number: 75025428