VERIFICATION CONTINUUM
Mark Identification

VERIFICATION CONTINUUM

Serial Number

86625823

Filing Date

May 11, 2015

Registration Date

Jan 21, 2020

Trademark by

SYNOPSYS INC.

Active Trademark

Classification Information

Computer software for designing electronic circuitry, specifically, integrated circuits; computer software for electronic design automation (EDA); computer software for simulating, verifying, analyzing, and the computer-aided designing of integrated circuits and other semiconductor devices in the field of electronic design automation; computer software for computer-aided electronic circuit testing; computer software for electronic design automation in the field of computer logic design; computer software and computer code in software form for designing and developing semiconductors, electronic circuits and integrated circuits; computer software for viewing, modeling, testing, and editing components and layouts of integrated circuits and semiconductors; computer software for designing, manufacturing, simulating the manufacture of, emulating, and verifying integrated circuits; computer hardware, namely, computer motherboards, daughterboards, memory boards, input/output boards, adaptor boards, interconnect boards, and power supplies, for use in integrated circuit design; computer hardware for verification of integrated circuit design; computer hardware and software for system-on-a-chip (SoC) debugging; computer hardware and software for developing computer systems and computer software applications; computer hardware and software for computer hardware and software co-verification and system-level validation; computer software for use with computer system emulators, namely, software for use in debugging and formal verification processes; computer software for use with ASIC and system-on-a-chip (SoC) emulators, namely, software for use in debugging and technical verification of integrated circuits

Electrical and Scientific Apparatus

Software-as-a-service (SaaS) for designing electronic circuitry, specifically, integrated circuits; Providing temporary use of online non-downloadable computer software for use in the field of electronic design automation (EDA); Providing temporary use of online non-downloadable computer software for simulating, verifying, analyzing, and the computer-aided designing of integrated circuits and other semiconductor devices in the field of electronic design automation; Software-as-a-service (SaaS) for computer-aided electronic circuit testing; Providing temporary use of online non-downloadable computer software for electronic design automation in the field of computer logic design; Providing temporary use of online non-downloadable computer software and computer code in software form for designing and developing semiconductors, electronic circuits and integrated circuits; Software-as-a-service (SaaS) for viewing, modeling, testing, and editing components and layouts of integrated circuits and semiconductors; Software-as-a-service (SaaS) for designing, emulating and verifying integrated circuits; Software-as-a-service (SaaS) for system-on-a-chip (SoC) debugging; Software-as-a-service (SaaS) for developing computer systems and computer software applications; Providing temporary use of online non-downloadable computer software for computer hardware and software co-verification and system-level validation; Software-as-a-service (SaaS) for use with computer system emulators, namely, software for use in debugging and formal verification processes; Providing temporary use of online non-downloadable computer software for use with application-specific integrated circuit (ASIC) and system-on-a-chip (SoC) emulators, namely, software for use in debugging and technical verification of integrated circuits

Computer and Scientific