Next Generation Formal Technology to Boost Verification

Next Generation Formal Technology to Boost Verification
by Pawan Fangaria on 06-08-2015 at 12:00 pm

With growing complexities and sizes of SoCs, verification has become a key challenge for design closure. There isn’t a single methodology that can provide complete verification closure for an SoC. Moreover creation of verification environment including hardware, software, testbench and testcases requires significant … Read More


OneSpin Launchpad, the App Store for Formal Verification

OneSpin Launchpad, the App Store for Formal Verification
by Paul McLellan on 05-21-2015 at 7:00 am

Image RemovedFormal verification is qualitatively different from most other verification. A simulation can pass or fail. But while formal verification can prove that the circuit is correct, or incorrect, it can also return “not proven” which means either that the algorithms realized that they were not powerful… Read More


Getting an MPW Quote on My iPhone

Getting an MPW Quote on My iPhone
by Paul McLellan on 02-25-2014 at 12:00 pm

As I blogged about recently, eSilicon have completely automated the quote process for their MPW shuttle service. You can use an online interface that runs in the browser but there is also an app that you can download from the App Store.
Image Removed
So I decided I had a few million dollars to burn and I’d get myself my very own … Read More


DAC50 App for iPhone Now Available

DAC50 App for iPhone Now Available
by Paul McLellan on 05-24-2013 at 8:24 pm

Image RemovedThis year’s version of Bill Deegan’s DAC App for iPhone is now available for download from the iTunes App Store. The App has the entire calendar included, and makes it easy to add any interesting looking event to your calendar. The whole exhibit hall can be searched and there is a zoomable map of the exhibit… Read More


Jasper Low Power Verification App

Jasper Low Power Verification App
by Paul McLellan on 05-14-2013 at 1:58 am

Image RemovedToday, Jasper announced their new Jasper-Gold Low Power Verification App. This is focused on verifying low power designs with multiple power domains, voltage islands, power shutoff, clock shutoff, and all the other techniques used for reducing power. Of course power is the main driver of SoC design these days, … Read More


SemiWiki? There’s an App for that

SemiWiki? There’s an App for that
by Paul McLellan on 09-18-2012 at 7:20 pm

Image RemovedThe iPhone version of the SemiWiki App is now available. Download it from the iTunes store, it’s free. The App allows you to look at similar things to the website but much more conveniently adapted to fit the small screen. When you first start up the App you can log in (assuming you are a SemiWiki registered user … Read More


Going to DAC? There’s an app for that

Going to DAC? There’s an app for that
by Paul McLellan on 05-30-2011 at 1:51 pm

Image RemovedAre you going to DAC in San Diego? Do you have an iPhone? In which case Bill Deegan’s dac48 app is something you should install before you get there. It’s free, which makes a nice change from EDA software pricing.

The app substitutes for the various paper, agendas and maps that you need to consult to find exhibitors,… Read More