Home > Community > Blogs > Bloggers > Sarah Lynne Cooper Lundell
 
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

* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Comments: *

Blogger

Sarah Lynne Cooper Lundell

Many years of experience in EDA covering System-Level Design and Verification. Past related companies include The MathWorks and Verisity.

View Member Profile »
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   Read More »
Comments (0)
The Scoop on Tracking & Validating Formal Assumptions – You Don’t Need to Assume
" Tackling formal assumptions through verification planning " is a recent article by Chris Komar and Frank Armbruster that is available on EDN. This article has fun with the old adage about what happens when you assume but very quickly get serious   Read More »
Comments (0)
View older posts »