Home > Community > Tags > Incisive/IFV/Chris Komar/DVcon
Login with a Cadence account.
Not a member yet?
Create a permanent login account to make interactions with Cadence more convenient.

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


* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Comments: *

Incisive,IFV,Chris Komar,DVcon

  • DVCon 2013 for Formal and ABV Users

    At the upcoming DVCon (in San Jose, CA February 25-28) , Cadence will cover all aspects of our verification technologies and methodologies (full list of Cadence-sponsored events is here ). However, Team Verify would like to alert users of Cadence Incisive formal and multi-engine tools, apps, and assertion...
    Posted to Functional Verification (Weblog) by TeamVerify on Mon, Feb 11 2013
  • Video: Optimizing Area and Power Using Formal Methods

    At DVCon 2011, a paper presented by Freescale and Cadence described a truly novel application of formal technology for something completely different than assertion-based verification (ABV). Specifically, the authors used formal engines to optimize the selection of complex (read, "higher in area...
    Posted to Functional Verification (Weblog) by TeamVerify on Tue, Mar 8 2011
Page 1 of 1 (2 items)