VERIFICATION CONTINUUM

Owners

Goods & Services

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 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