Take a moment to explore our website. One of our long-term goals is to provide engineers with a resource for Declarative Verification whether or not they use our tools. To that end, we will, over time, be posting articles, tutorials, and reference material related to declarative verification as well as other subjects.
Things to Note
As you browse our site, take notice of the following:
- Resource pages (right now, there isn't much there, but look for that to change)
- Forums where you can get or give help on topics related to declarative verification.
- A contact page to simplify getting in touch with us
- Hyper Analytix blog postings
- An aggregate of several verification related blogs from other websites.
- RSS feeds for announcements and our own blogs
- Polls
- A listing of upcoming verification-related industry events
Note that for some of the resources pages and the forums, you will need to register with our site. Once registered, you can also sign up for our newsletter. Registration is easy. Go to Create new account. and 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.
