ONESPIN

Computer hardware and software for processing data; computer hardware and computer software for use in the field of semiconductor design, implementation, verification or production; verification software and hardware for verification and test purposes, namely, testers, emulators, accelerators, FPGA-boards in the field of semiconductor production; formal verification software, namely, software to verify that a hardware design described in a hardware description language does not contain functional errors and conforms to its timing specifications

Providing of training, arranging and conducting of workshops, conferences seminars, training courses and educational services, namely, coaching and training-on-the-job, in the field of semiconductor design, implementation, verification or production

Scientific and technological research, applications, designs and programming services relating to design, implementation, verification and production of integrated circuits and related software; design and development of computer hardware and software for others; development of software to verify or validate chip designs; licensing of computer software; providing of computer software technical support services, namely, troubleshooting of computer hardware and software problems