| DESIGN INSIGHT Chrysalis Symbolic Design, Inc.
74475305 29 Dec 1993 | on 31 Jul 2004 | computer software for development, testing, simulation and modificatio... Class 009 Class 009 Computer & Software Products & Electrical & Scientific Products computer software for development, testing, simulation and modification of digital electronic circuits and other electronic devices and user manuals sold together therewith | | | DESIGN VERIFYER Chrysalis Symbolic Design, Inc.
74475219 29 Dec 1993 | on 13 Jul 2002 | computer software for development, testing, simulation and modificatio... Class 009 Class 009 Computer & Software Products & Electrical & Scientific Products computer software for development, testing, simulation and modification of digital electronic circuits and other electronic devices and user manuals sold together therewith | | | SYMBOLIC LOGIC Chrysalis Symbolic Design, Inc.
75025428 21 Nov 1995 | on 06 Feb 1997 | computer software used to design, debug, analyze, verify and test digi... Class 009 Class 009 Computer & Software Products & Electrical & Scientific Products computer software used to design, debug, analyze, verify and test digital electronic circuits and other electronic devices and user manuals sold as a unit | |