Home
About me
Consulting
Publications
- Online publications
Travel Maps and Pictures

Olivier Coudert's Blog

My take on tech –and other topics

EDA
social network
Business
Software
FPGA

Model Checking in the Cloud

Last week I was invited in Cambridge, UK, to participate to a panel at the FMCAD conference (Formal Methods in Computer-Aided Design). The subject: “Model Checking in the Cloud”. With another four people, we discussed the questions laid out by the panel moderator:

How can model checking leverage the advantages of distributed and multi-core [...]

Continue reading Model Checking in the Cloud

Got hacked?

The other day I decided to get started with my long due tax returns. When browsing some of my bank statements, I noticed three recurrent monthly payments that I could not recognize. More bizarre was the fact that their where issued in USD, while the account is labeled in Euros. They showed as follows:

[...]

Continue reading Got hacked?

Avery Design blacklisted

Apparently, you don’t need to be a big famous web site like the LinkedIn or Yahoo Voice to be the subject of attacks by hackers or malware. I wanted to check out Avery Design this Thursday morning, and this is what I got:

The explanation given by Google is below. Looks like the [...]

Continue reading Avery Design blacklisted

How to check if your LinkedIn password got stolen –and what to do if it did

You must know by now that 6.5 millions unsalted SHA-1 hashed passwords have been stolen from LinkedIn database, and it looks likely that the usernames were compromised too.

So you already changed your password, right? If you didn’t, do it now.

But even if you did change your password over the past two days, hackers [...]

Continue reading How to check if your LinkedIn password got stolen –and what to do if it did

Unsalted LinkedIn leaves a bad taste

Today 6.5 millions hashed password have been posted on a Russian hacker site. It is unclear whether the user names were compromised as well. But what was revealed is that LinkedIn keeps your password unsalted, hashed with SHA-1. Some explanations may be needed first to understand why this is relevant.

Unsalted LinkedIn leaves a bad taste

Transit of Venus

How cool is this year’s DAC? Well, I’ll get back to this in a later post. But this is my first DAC that gets me to see, at the same location and in the span of 3 weeks:

A partial solar eclipse on May 20 –which was annular if you drove up north to Redding [...]

Continue reading Transit of Venus

Chip Design and Cloud Computing: a Perfect Storm

Cloud Slam’12 starts tomorrow, Wednesday May 30th, 2012. I’ll make a presentation there, please join and let’s talk about the future of EDA and chip design. These are the slides.

And to make sure we keep our cool about all this:

[...]

Continue reading Chip Design and Cloud Computing: a Perfect Storm

Imera’s end is only a beginning

Imera’s is relatively unknown, but it was recently touted as providing secured communication channels between EDA vendors and their customers.

Imera has shut down its operations, leaving behind a number of customers (Broadcom, TSMC, Qualcomm, Sandisk, Infineon, Synopsys, Cadence, Mentor, etc).

Usually a customer requiring support means that some design data need to be sent [...]

Continue reading Imera’s end is only a beginning

How Amazon is building a new computing resource marketplace

In cloud computing, AWS (Amazon Web Services) has become the de-facto standard everybody else has to measure against. Since 2006 it has proposed an ever-expanding set of services and features, from turnkey web applications, to CDN (Content Delivery Network), to automated scalability, to HPC (High Performance Computing) clusters, to general-purpose hardware provisioning in EC2 (Elastic [...]

Continue reading How Amazon is building a new computing resource marketplace