System Design and Verification

Running Incisive on Ubuntu Linux

jasona — Thu, 04 Mar 2010 14:00:00 GMT

Ubuntu is by many accounts the most popular and the easiest to use Linux distribution for the desktop. Unfortunately for Linux enthusiasts, Cadence tends to follow the EDA Industry OS Roadmap when selecting operating systems to support. I would guess...(read more)

Quiet Before The Storm? And What to Expect at DVCon 2010

SteveSvoboda — Mon, 22 Feb 2010 14:00:00 GMT

In the last couple weeks Mentor did an about-face and decided to embrace SystemC ( I told you that would happen! ), and then Synopsys threw down the gauntlet and decided to buy two Virtual Protoyping companies. Supposedly, the word on the street is they...(read more)

Moving Past The Missing Model Syndrome

jasona — Thu, 18 Feb 2010 16:30:00 GMT

One of the issues that has hindered the progress of using Virtual Platforms for early software development is missing models. I recall seeing Axys Design's Maxsim tool back around 2001 and thinking how cool it was. All the user had to do was drag...(read more)

Methodology Is Important But Language Matters - Part 2

Ran Avinun — Tue, 09 Feb 2010 17:00:00 GMT

In this blog, I would like to discuss the direction in the languages that will be chosen for TLM (or ESL) verification. Transaction-Level Models have been used for long time as simulation models. As we start to use more and more high-level synthesis,...(read more)

What Does The History of RTL Adoption Foreshadow For The Future of TLM Methodology Adoption?

Steve Brown — Tue, 02 Feb 2010 14:00:00 GMT

Cadence is in the vanguard of a movement to a higher level of productivity via the abstraction and automation provided by Transaction Level Modeling (TLM). The industry is motivated to adopt this new methodology by its promise of achieving profitable...(read more)

How Big Is An int?

jasona — Fri, 29 Jan 2010 18:30:00 GMT

This week I'm taking a break from my series on Android System Verification to talk about something completely different. One of the interesting things about working on Incisive Software Extensions (ISX) is the wide variety of embedded software and...(read more)

Methodology Is Important But Language Matters - Part 1

Ran Avinun — Tue, 26 Jan 2010 14:00:00 GMT

Historical trends in languages Many of us have traveled around the world, and while we can often communicate with local people in our own language, we realize it is best to communicate using the local language. It helps to "break the ice" if...(read more)

Android System Verification Part 6

jasona — Fri, 15 Jan 2010 14:00:00 GMT

Welcome to Part 6 of Android System Verification. It's getting hard to trace back to the previous articles, so here is a complete list of links: Part 1 Part 2 Part 3 Part 4 Part 5 Last time I showed how to create hardware stimulus and use coverage...(read more)

Back to Work in 2010

jasona — Wed, 06 Jan 2010 14:00:00 GMT

It's back to work in 2010. Thanks for all the great feedback in 2009. I plan to continue to bring readers interesting material about System Design and Verification in 2010. When I got back to work this week I fired up an openSUSE 10.2 VMWare image...(read more)

Is The Industry Ready For Mainstream Adoption of Higher Abstraction?

Steve Brown — Mon, 04 Jan 2010 18:00:00 GMT

I was recently part of an industry wide interview conducted by Clive "Max" Maxfield of TechBites . Max is trying to uncover the reality behind the apparent trend to move to the high level abstraction of transactions for design and verification...(read more)

Android System Verification Part 5

jasona — Tue, 29 Dec 2009 14:00:00 GMT

In the previous article I introduced the use of Specman for generating sequences of commands to send to the Android emulator. I demonstrated a better way to generate hardware stimulus compared to using the original telnet connection to the Android console...(read more)

Imitation Is The Sincerest Form Of Flattery - We Thank You!

Steve Brown — Mon, 21 Dec 2009 14:00:00 GMT

Let me start by sharing some recent blog activity showing competitors doing some admittedly admirable marketing work . Check it out. They write well, gather some good data, etc. All "good stuff" to help customers like you make an "informed...(read more)

Android System Verification Part 4

jasona — Fri, 11 Dec 2009 16:00:00 GMT

Welcome to Part 4 of Android System Verification. If you are just joining make sure to read the previous three parts to get up to speed. In Part 3 I demonstrated how to use a C program to connect to the Android emulator's telnet server and how to...(read more)

ARM Techcon3 Virtual Classroom

jasona — Fri, 04 Dec 2009 14:00:00 GMT

For those that read my September post about ARM Techcon3 in Santa Clara but couldn't make it, the Virtual Classroom is now open. All of the recorded presentations are available. You need to register, but the process was painless and I was watching...(read more)

Android System Verification - Part 3

jasona — Tue, 01 Dec 2009 14:00:00 GMT

In Part 2 of this series on Android System Verification I provided the basics on how to use the Android emulator console to connect to the built in telnet server and send commands to the emulator. These commands represent hardware events related to power...(read more)