Home > Community > Tags > Formal Analysis/Testbench simulation
 
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).
 

Email

* 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: *

Formal Analysis,Testbench simulation

  • The Scoop on the New Incisive Enterprise Verifier

    Last week we announced Incisive Enterprise Verifier (IEV). What is cool about IEV is that it integrates formal analysis and simulation engines in unique ways that provide users with more power. One of the great things about IEV is that it is easy to use and get value quickly. It is all about helping...
    Posted to Functional Verification (Weblog) by Sarah Lynne on Tue, Oct 13 2009
  • The Power of Parallel Thinking: Multi-Core Cadence

    A while back, as we were preparing to launch our first phase of multi-core support in the Cadence Incisive Enterprise Simulator family, we started working on a press release. We decided to include the multi-core support added recently to Incisive Formal Verifier , in which formal engines can run in parallel...
    Posted to Functional Verification (Weblog) by tomacadence on Wed, Sep 30 2009
  • DVCon 2009 - Day 3

    Today I was able to cover a paper on "OVM-based Methodology for Low Power Designs", and the panel titled "Mixing Formal Analysis with Simulation: Why, When, Where, and How?" Click here for some annotated photos. Notes: * Given there is much to say about the topic of Low Power in general...
    Posted to Functional Verification (Weblog) by jvh3 on Fri, Feb 27 2009
  • Top 5 Stumbling Blocks In FPV Adoption

    My first post served as a context for this blog. It also telegraphed my intention to set down a few reasons for the initial difficulties faced by long-time simulation users, specifically verification engineers, in applying formal property verification (FPV). Here is my Top-5 list in no particular order...
    Posted to Functional Verification (Weblog) by FormalGuy on Thu, Oct 16 2008
  • Verification community comes together to talk tech

    I just finished the week at Cadence's CDNLive User Group in San Jose. Over the past few years, it has really become a great technical event for the verification community. In fact, last year out of all the papers presented across the full breadth of Cadence tools and methodologies, Kelly Larson from...
    Posted to Functional Verification (Weblog) by mstellfox on Sat, Sep 13 2008
Page 1 of 1 (5 items)