Terms of Use

Axiomise On-Demand Courses

Terms and Conditions

1. These Terms

1.1. These are the terms and conditions on which we supply our on-demand courses to you. (“Courses”) to you. Please read these terms carefully before you order a Course.

2. Information about us and how to contact us

2.1. We are Axiomise Limited a company registered in England and Wales. Our company number is 1101612 and our registered office is at 71-75 Shelton Street, Covent Garden, London, England, WC2H 9JQ. Our registered VAT number is 28129928.

2.2 You can contact us (including to make questions and complaints about the Courses) by writing to us at [email protected].

2.3. If we have to contact you, we will do so by writing to you at the email address you provided to us in your order.

2.4. When we use the words "writing" or "written" in these terms, this includes emails.

3. Our Courses

3.1. Our Courses are offered via our website (https://elearn.axiomise.com/) (“Site”).

3.2. Our Courses include various deliverables such as information, video recordings, quizzes, tests, questions, articles, news, additional reading material and other information on this and related sites and in courses offered through the Site (“Content”).

3.3. You will have access to the Courses and their Content after you purchase them in accordance with item 4 below. You shall only access and use the Courses and their Content for your personal use.

3.4. Certain parts of the Content (like source code for labs and reading materials) are provided for download. Video recordings are only available to you to watch when you log in to the Site with your authenticated login credentials. No video is available for download for offline usage.

3.5. If you want a certificate of completion of Our Courses, you must pass the corresponding test. You will not receive a certificate if you do not pass this test.

3.6. The Courses are focused on:

• Graduate students in EE, CS, Mathematics, Physics
• Practising engineering professionals
• Semiconductor design and verification engineers
• Architects and managers in semiconductor companies

The Courses require:

• Passion to learn formal methods
• Some knowledge of digital design
• Verilog/VHDL experience would help
• Access to the HOL 4 theorem prover (which is free and open-source) if the course requires one
• Access to a property checker if the course requires one

3.7. Some options for property checkers are Cadence JasperGold, Siemens EDA's QuestaPropcheck, Synopsys VC Formal, OneSpin Solutions 360 DV-Verify, and Yosys HQ's SymbiYosys. Please connect directly with their vendors to obtain a license of the property checking tool.

3.8. You shall only purchase a Course if you comply with these requirements and any other requirement set out on the Site. Otherwise, you will not be able to complete the Course and we will not liable for any losses you may have in connection with the fact that you don’t comply with these requirements.

3.9. The prices of our Courses and the corresponding payment terms are as set out on the Site.

4. Our contract with you

4.1. When you make an online order for a Course via the Site (“Order”), our acceptance of the Order will take place when we email you to accept it. At this point, a contract will come into existence between you and us for the supply of the Course included in the Order in accordance with these terms.

4.2. After the payment of the price of the Courses included in the Order, we will allow you to access these Courses and their Content.

4.3. Provided that you use the Courses and their Content in accordance with these terms, you will be granted lifetime access to them.

5. Trademark and Copyright

5.1. Axiomise Limited and certain other brands, trademarks (formalISA®, ADEPT-FV®), and service marks are marks of Axiomise Limited and its affiliates. The Courses, their Content and any other content on the Site are copyrighted, and any unauthorized use of them may violate copyright, trademark, and other laws.

6. Hyperlinks

6.1. Links to external websites are provided solely as a convenience to you. We have not reviewed these external websites. We do not control and we are not responsible for any of these sites or their content. If you decide to access any of the external websites linked to the Site, you do so entirely at your own risk.

7. No Warranty

7.1. The Courses and their Content and any other content provided at the Site are provided “as is” without any warranties of any kind including warranties of merchantability, fitness for a particular purpose, or non-infringement of intellectual property.

7.2. We have ensured that the course is accurate on the day of launch. As the course refers to other tools and technology it is possible that in the future as these change that part of the Courses or their Content becomes obsolete. We shall not be liable if it happens. We will endeavour our best efforts to inform you about any such changes we become aware of and update the Courses and the Content accordingly.

7.3. The Courses, their Content or any other content at the Site may be out of date and we do not warrant that they will be up to date.

8. Intellectual Property

8.1. For the purposes of these terms, Intellectual Property Rights mean (a) any and all rights in any patents, trademarks, service marks, registered designs, applications (and rights to apply for any of those rights) trade, business and company names, internet domain names and e-mail addresses, unregistered trademarks and service marks, copyrights, database rights, know-how, rights in designs and inventions; (b) rights under licences, consents, orders, statutes or otherwise in relation to a right in (a); (c) rights of the same or similar effect or nature as or to those in (a) and (b) which now or in the future may subsist, and (d) the right to sue for past infringements of any of the foregoing rights.

8.2. We (or our licensors, where applicable) own and will keep the ownership of all Intellectual Property Rights in the Courses, their Content, any other content at the Site and any copy of them (“Our IPR”).

8.3. We shall assert all moral rights arising out of Chapter IV of the Copyright, Designs and Patents Act 1988 in relation to Our IPR.

8.4. We grant you a royalty-free, perpetual, non-sublicensable licence to use Our IPR for the sole and exclusive purposes of attending the Courses in accordance with these terms.

8.5. You must not disclose, reproduce, copy, modify, share, transfer, distribute, sell, auction, rent, sub-licence, store, summarise, reveal or in any other manner exploit Our IPR except for your own personal use and learning.

8.6. The parts of the Courses and their Content that may be downloaded can be done for a maximum of one copy. This copy may be printed provided that you make no modifications to it.

8.7. You must not use any part of Our IPR otherwise than in accordance with these terms. You must not alter any part of Our IPR. We may terminate your access to the Courses and their Content if you do. We also reserve our right to seek legal actions and remedies against you.

8.8. For the avoidance of doubt, nothing in these terms shall restrict our freedom to use or to grant any licenses of Our IPR to third parties at any time.

8.9. You acknowledge that, in respect of any third-party Intellectual Property Rights, your use of any such Intellectual Property Rights is conditional on us obtaining a written licence from the relevant licensor on such terms as will entitle us to license such rights to you.

8.10. This clause 8 shall continue in full force and effect after our contract with you terminates.

9. Confidentiality

9.1. We and you agree to keep the other's confidential information and know-how confidential and, other than where it is necessary to carry out the obligations set out in our contract (as set out in item 4 above, you and we agree not to:

• disclose the other party's confidential information to anyone else;
• use any confidential information belonging to the other party; and
• make any copies of, record in any way or part with possession of any confidential information that belongs to the other party.

9.2. Both you and we may:

• disclose any confidential information to any governmental or other authority or regulatory body, or any employee or officer of that party to such extent only as is necessary to provide the Courses, or as required by law; and
• use any confidential information for any purpose, or disclose it to any other person, to the extent only that it is or becomes public knowledge through no fault of the disclosing party. In making such use or disclosure, the disclosing party must not disclose any part of the confidential information that is not public knowledge.

9.3. This clause 9 shall continue in full force and effect after our contract with you terminates.

10. Limitation of Liability

10.1. Satisfactory progress cannot be guaranteed from taking part in the Courses, and we make no warranty or representation that any particular result will be brought about as a result of you taking part in the Courses.

10.2. In no event we, our suppliers or other third parties mentioned at the Site will be liable for any damages whatsoever (including, without limitation, those resulting from lower test scores, interruption of services or inaccurate information) arising out of or in connection with the use, inability to use, or the results of the use of the Courses, their Content, the Site, any content in the Site, any websites liked to this Site and their content. This applies to damages based on warranty, contract, tort or any other legal theory and whether or not advised of the possibility of such damages.

10.3. If your use of the Courses, their Content, the Site, any content in the Site, any websites liked to this Site and their content results in the need for servicing, repair or correction of equipment or data, you assume all costs thereof.

10.4. You shall indemnify us against any costs, liability, damages, loss, claims or proceedings arising out of your breach of these terms.

10.5. Neither of us will be liable to the other for failure or delay in carrying out the obligations set out in these terms that are caused by an event beyond our reasonable control, which we could not have foreseen, or which was unavoidable. This includes industrial disputes, energy or transport failures, acts of God, war, terrorism, civil unrest, explosions, mechanical breakdown, natural disasters, deliberate damage, or failures of suppliers or subcontractors to do what they are supposed to (“Force Majeure Event”).

10.6. In the event that one party cannot perform their obligations under these terms as a result of the Force Majeure Event for a continuous period of 60 days, the other party may at its discretion terminate the contract by written notice at the end of that period.

10.7. Nothing in the contract shall limit or exclude liability for death or personal injury.

11. Data Protection and Retention

11.1. You consent to us holding and processing any personal data about you as long as we always comply with relevant data protection laws (including the Data Protection Act 1998, the EU retained General Data Protection Regulation (EU) 2016/679 and any other applicable current or future data protection laws (the “Data Laws”).

11.2. We will hold and process your personal data strictly in accordance with the Data Laws and our data privacy policy.

12. General

12.1. We are allowed to assign, transfer, charge or sub-contract our rights and obligations under the contract we have with you, but you may not do any of these things unless we have previously agreed in writing that you can.

12.2. Nobody other than we and you may rely on any terms of these terms.

12.3. If either of us wishes to give notice to the other, we must give it in writing and send it by email or guaranteed delivery post to the other's registered office (or another address specifically given to the sender for this purpose). This arrangement does not apply to the service of any documents in legal proceedings.

12.4. Delay in exercising a right under these terms will not take away that right or any other right.

12.5. If any provision of these terms is or becomes invalid, illegal or unenforceable, it shall be deemed modified to the minimum extent necessary to make it valid, legal and enforceable. If such modification is not possible, the relevant provision or part-provision shall be deemed deleted and the rest of the contract shall remain in force.

12.6. These terms and any dispute or claim arising out of or in connection with it or its subject matter or formation (including non-contractual disputes or claims), shall be governed by and construed in accordance with the law of England and Wales.

12.7. Both parties will use their best efforts to negotiate in good faith and settle any dispute that may arise out of or relate to these terms or any breach of it.

12.8. Each party irrevocably agrees that the courts of England and Wales shall have exclusive jurisdiction to settle any dispute or claim not amicably settled and arising out of or in connection with this contract or its subject matter or formation (including non-contractual disputes or claims).

13. Effective Date and Updates

13.1. The Terms are effective as of 6th April 2021, and are subject to change without notice by Axiomise Limited at any time. Please check for changes regularly. Your use of the Courses, their Content, the Site, any content in the Site, any websites liked to this Site and their content after such changes constitute your agreement to such changes.