Verification - Cadence Blogs - Cadence Community

System Realization activities at CDNLive! EMEA this week

CDNLive! EMEA will be held in Munich again this year, and there’s lots of news about…

Steve Brown 3 May 2010 • 2 min read

System Design and Verification , cdnLive! system realization

See You at CDNLive! EMEA

Today, Team Specman reported that next week's CDNLive! is shaping up to be a big…

jasona 30 Apr 2010 • 2 min read

CDNLive!ive! , System Design and Verification

2010 CDNLive Munich Guide for Specmaniacs

Good news for Specmaniacs based in the EU: next week from May 4-6 is the annual CDNLive…

teamspecman 30 Apr 2010 • 2 min read

Specman , CDNLive , Functional Verification , Cadence VIP portfolio , OVM , OVM e , e , Mike Stellfox , techtorial

Team Verify's 2010 CDNLive Munich Guide

We're excited to report that next week's annual CDNLive! event in Munich will feature…

TeamVerify 29 Apr 2010 • 1 min read

ABV , CDNLive , metric driven verification (MDV) , Functional Verification , Formal Analysis , formal , Contributions , SVA , PSL , MDV , IEV , IFV

Harris-Cadence-Mathworks-Xilinx Success Cuts Verification Time 85%

More and more often it takes a village to achieve verification success. As reported…

Adam Sherer 29 Apr 2010 • 1 min read

Functional Verification , Incisive , xilinx , IES , FPGA , Matlab , IES-XL

Verified by e/Specman: The Palladium XP Verification Computing Platform

After much anticipation, it feels great to be free to proclaim that e /Specman (as…

teamspecman 27 Apr 2010 • less than a min read

metric driven verification (MDV) , Functional Verification , e , Palladium XP , MDV , IES-XL

Ubuntu on ARM is Growing

Based on the title, you probably guessed I'm talking about growing in popularity…

jasona 23 Apr 2010 • 6 min read

virtual platform , System Design & Verification , Embedded Linux , QEMU

UVM Based on OVM 2.1.1: What a Great Idea!

Regular readers know that I have been urging the Accellera VIP TSC to base its Universal…

tomacadence 21 Apr 2010 • 2 min read

uvm , Verification methodology , OVM , Functional Verification' signal integrity , Contributions , Accellera

When Less Is More, Part 3: Is e code really “infinitely” more compact than SystemVerilog…

Building on the packet generation example of part 1 , and the coverage examples of…

teamspecman 21 Apr 2010 • 3 min read

IEEE 1647 , SystemVerilog , Specman , Object Oriented Programming , Functional Verification , e , OOP , Aspect Oriented Programming , AOP , IES-XL

Specman-SimVision webinar on April 22 (next week!)

We interrupt Corey's excellent "When Less Is More" series to announce a Specman-SimVision…

teamspecman 13 Apr 2010 • 1 min read

IEEE 1647 , debug , Functional Verification , simvision , e , multi-language , IES-XL

Hate Writing Assertions? No problem: let Automatic Formal Analysis do the work

OR: “Leverage automatic checks extracted from designs without writing a single assertion…

TeamVerify 12 Apr 2010 • 4 min read

ABV , Functional Verification , Formal Analysis , formal , Incisive , IEV , IFV

New Blog: All About Integrated formal, Simulation, and Assertion-Based Verification…

End-users of Incisive Formal Verifier ("IFV"), Incisive Enterprise Verifier ("IEV…

TeamVerify 11 Apr 2010 • 1 min read

ABV , metric driven verification (MDV) , Functional Verification , Formal Analysis , formal , OVM , Incisive , Twitter , MDV , IEV , IFV

When Less Is More, Part 2: Is e Code Really Up to 3x More Compact Than SystemVerilog…

In my last post I wrote some packet generation code to validate the claim that e…

teamspecman 6 Apr 2010 • 4 min read

IEEE 1647 , SystemVerilog , Functional Verification , OVM , OVM e , CDV , OVM SV , e , coverage driven verification (CDV) , Aspect Oriented Programming , AOP , IES-XL

When Less Is More, Part 1: Is e Really Up to 3x More Compact Than SystemVerilog?

A famous expression in the software world is that “you can only expect 10 good lines…

teamspecman 30 Mar 2010 • 3 min read

IEEE 1647 , SystemVerilog , Object Oriented Programming , Functional Verification , OVM , OVM e , OVM SV , e , OOP , ClubT , Aspect Oriented Programming , AOP , IES-XL

Accessing Physical Memory and Registers in a Virtual World

When working with Virtual Platforms that are running operating systems it's sometimes…

jasona 29 Mar 2010 • 3 min read

Registers , Memory , virtual platforms , Virtual , System Design and Verification

Tweeting From a Standards Meeting: Good or Bad?

In my last blog entry , I mentioned that I was able to keep up with a lot of the…

tomacadence 25 Mar 2010 • 2 min read

uvm , tweeting , meetings , Functional Verification , texting , Accellera , EMAIL

Free eVC Generator From CFS Vision Update

In an earlier post Team Specman had the pleasure of introducing the free, open source…

teamspecman 24 Mar 2010 • less than a min read

Specman , Functional Verification , OVM e , e , CFS Vision , FOSS , eRM

Crises In The Semiconductor Industry

I am on my way to Japan and I have just finished to read an excellent book and in…

Ran Avinun 23 Mar 2010 • 2 min read

System Design and Verification , SoC , Semiconductor , ESL

Built-in Message Logging – Part 2 of 2

[Team Specman welcomes back guest blogger, Michael Avery from our Services Group…

teamspecman 17 Mar 2010 • 3 min read

Specman , debug , Functional Verification , e , Funcional Verification , Aspect Oriented Programming , AOP

UVM = OVM 2.1: Even Better!

Since I'm not a member of the Accellera VIP TSC, I did not attend the 2.5-day face…

tomacadence 16 Mar 2010 • 1 min read

uvm , Functional Verification , OVM , Accellera VIP TSC

Built-in Message Logging – Part 1 of 2

[Team Specman welcomes guest blogger Michael Avery, from our Services Group in the…

teamspecman 11 Mar 2010 • 2 min read

Specman , Functional Verification , tech tips , e , AOP , IES-XL

VIP Portfolio Extension: New AMBA 4 Protocol Support

ARM-loving Specmaniacs's rejoice: we are now at liberty to announce that we are providing…

teamspecman 8 Mar 2010 • 1 min read

metric driven verification (MDV) , Functional Verification , vPlan , Cadence VIP portfolio , OVM , VIP , Compliance Management System , CMS , AMBA , ARM