Home > Community > Member Profile
 
Login with a Cadence account.
Not a member yet?
Create a permanent login account to make interactions with Cadence more conveniennt.

Register | Membership benefits
Get email delivery of the Cadence blog (individual posts).

Share
  • Email
  • Social Web
* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

Cadence Contacts

Global Office Locator
Find Offices worldwide »

Sales Inquiry
Request for Product information »
Cadence Channel Partners »

Corporate Headquarters
Cadence Design Systems, Inc.
2655 Seely Avenue
San Jose, CA 95134
Phone: 408.943.1234
* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Comments: *

 Cadence Member: About TeamVerify 

TeamVerify   | 555 points
San Jose, CA
<?xml version="1.0" encoding="utf-16"?><string>Functional Verification</string>
Member since: April, 2010
View TeamVerify's web site
 
Search for posts by TeamVerify
Bio Cadence's "Team Verify" is all about formal, mixed engine, and assertion based verification, all the time!

Additionally: this team will be frequently be joined by "guest bloggers" from our customer base, Verification Alliance partners, Cadence R&D (to give you glimpses of what's going on under the hood), and our colleagues from the Cadence Field organization (to share with you what trends they are seeing in their territories). Academic Background No profile info has been provided Organization Affiliations IEEE Community Interests Functional Verification
 Personal Interests We like finding bugs, developing advanced formal, mixed-engine, and metric-driven verification methodologies, and long walks in the rain. Publications Website:  www.cadence.com/products/fv/enterprise_verifier/pages/default.aspx
Blog:  www.cadence.com/Community/posts/teamverify.aspx
Other Online:  Twitter: twitter.com/teamverify (a/k/a @teamverify)
 		My Friends

DAC 2012 Preview: Focus on Formal and ABV Events and Papers
by TeamVerify on May 14, 2012 6:01 AM

Video Tech Tip: Data Path Verification Using a Formal Scoreboard with Incisive Formal Verifier
by TeamVerify on May 08, 2012 5:18 PM

Lessons from CDNLive! India Best Paper -- Property Driven Simulation in IEV
by TeamVerify on April 13, 2012 10:53 AM