All Thought Leadership

Verification Horizons

Prologue: The 2014 Wilson Research Group Functional Verification Study

January 21, 2015

This is the first in a series of blogs that presents the findings from our new 2014 Wilson Research Group...

By Harry Foster

Simulating the Real World

Domestic Hot Water Heating, ‘Wat-er’ Waste of Energy. Part 4: 'Wat-er' Waste of Time

January 21, 2015

Energy isn’t the only thing that is wasted when dealing with hot water supply. Time is as well. The house...

By Robin Bornoff

Embedded Software

Video blogging for embedded software: should you use it?

January 19, 2015

I am not a great fan of video, as a medium. If I want to learn something, I am more...

Embedded Software

Most popular Web sites

January 15, 2015

I am sure that you, like me, make extensive use of the Web [otherwise you probably would not be reading...

Verification Horizons

Who Knew VIP?

January 14, 2015

“Who Knew?” about verification IP (VIP), was the theme of a recent DeepChip post by John Cooley on December 18. ...

Embedded Software

Microcontrollers: On A Slippery Slope … Uphill?

January 13, 2015

I always welcome contributions – guest blog posts – from my colleagues and associates. After all, that reduces the amount...

Simulating the Real World

Domestic Hot Water Heating, ‘Wat-er’ Waste of Energy. Part 3: Cool-down

January 09, 2015

Horror vacui, Natura abhorret vacuum, Resintenza del vacuo; from Aristotle to Galileo, it has long been known that here on...

By Robin Bornoff

Embedded Software

Shall we take it slow?

January 08, 2015

My Christmas present to my wife was a long weekend away in a luxury hotel. I had got what seemed...

Verification Horizons

3 Notable Formal-Related Conference Papers of 2014

January 06, 2015

2014 was an exciting year for formal verification to say the least, and below I call out a sampling of...

By Joe Hupcey III