Olivier Coudert on January 24th, 2010

We all know that functional verification is the costliest and most time-consuming aspect of ASIC design –about 50% of the total cost, and from 40% to 70% of the total project duration. And we all know that simulation is by far the prevalent verification method, even though it is inherently incomplete due to an input […]

Continue reading about Has formal verification technology stalled?

Olivier Coudert on January 19th, 2010

5NX9DCF979QD According to the official weather service, the UK has just suffered through its longest spell of freezing conditions since December 1981. The recent winter storms across the whole of the UK wreaked havoc with public transport and generally disrupted the lives of millions of UK residents. Soon hundreds of thousands of UK residents turned […]

Continue reading about Twitter and snowflakes

Olivier Coudert on January 14th, 2010

Yes, did you feel it? No, I am not talking about the two earthquakes that I felt last week in San Jose, shaking the buildings, and leaving people with that weird feeling that they just experienced a whisper of the Big One to come. No, I am talking about the tremor in the US economy. […]

Continue reading about Did you feel the tremor? The 2010 challenges for EDA

Olivier Coudert on January 12th, 2010

Compete and Quantcast have now released their latest data about the traffic on Facebook, MySpace, and Twitter for December. According to Compete’s report, twitter.com’s US traffic reached 22.81 million unique visitors […] Continue reading Is Twitter flattening? A short answer

Continue reading about Is Twitter Flattening? A Short Answer