Skip to Content

Not a member?

If you're interested at all in declarative verification and/or our advanced verification tools, you should consider signing up.

As a member, you can:

  • Access tool and methodology forums where you can get help from other users or Hyper Analytix customer support
  • Sign up for email newsletters to keep you abreast of the latest happenings
  • Access presentations, video demos, and web-based labs as they become available
Registration is easy. Click on Create new account. Then enter your email and company affiliation. We'll send you a follow-up email to ensure that you're not a spam-bot (or an EDA marketing droid ). Click on the link contained in that email and you're good to go.

Account information
Spaces are allowed; punctuation is not allowed except for periods, hyphens, and underscores.
A valid e-mail address. All e-mails from the system will be sent to this address. The e-mail address is not made public and will only be used if you wish to receive a new password or wish to receive certain news or notifications by e-mail.
Affiliation
Enter your company name or other affiliation. The email address you provide should correspond to your company. For example, if you work for Intel, you would enter "Intel" into this field and your email address should end with "@intel.com"
Terms of Use

Copyright ©2008 Hyper Analytix, Inc. All rights reserved.

Unless otherwise noted, any person is hereby authorized to view, copy, and print these documents subject to the following conditions:

  1. This document may be used for informational purposes only.
  2. Information gleaned from this document may not be used to create or enhance products that compete with Hyper Analytix.
  3. Any copy of this document or portion thereof must include the copyright notice.
  4. This information is provided "AS IS" and without warranty of any kind, express, implied, statutory, or otherwise.

Permission is not granted for resale or commercial distribution of the document, in whole or in part, or by itself or incorporated in another work.