All Thought Leadership

Verification Horizons

How Formal Techniques Can Keep Hackers from Driving You into a Ditch, Part 2 of 2

August 18, 2015

In Part 1 of this series, inspired by security researchers that were able take over a new Jeep and drive...

By Joe Hupcey III

Embedded Software

Video blogs on embedded software - coming to screen near you soon

August 17, 2015

Some weeks ago, I mentioned that I was planning a series of video blogs. This met with some enthusiasm from...

Verification Horizons

Part 12: The 2014 Wilson Research Group Functional Verification Study

August 17, 2015

ASIC/IC Verification Results This blog is a continuation of a series of blogs related to the 2014 Wilson Research Group...

By Harry Foster

Embedded Software

Seeing the light - a revolution in illumination

August 13, 2015

For most of us, most of the time, having enough light to see, read or do whatever is not a...

Verification Horizons

Beating Design Complexity with VirtuaLAB

August 12, 2015

Content delivery through the Internet gateway is ever changing and evolving. Today’s mechanism for delivery is more efficient, less power...

By Lauro Rizzatti

Verification Horizons

Part 11: The 2014 Wilson Research Group Functional Verification Study

August 10, 2015

ASIC/IC Power Trends This blog is a continuation of a series of blogs related to the 2014 Wilson Research Group...

By Harry Foster

Embedded Software

Embedded software - how complex can it get?

August 10, 2015

It seems that hardly a day goes by during which someone does not say “This is like science fiction!” Typically,...

Embedded Software

Two failed marriages and some investment advice

August 06, 2015

I think that I should explain straight away – if only for the benefit of my wife, who may be...

Verification Horizons

How Formal Techniques Can Keep Hackers from Driving You into a Ditch, Part 1 of 2

August 05, 2015

[Preface: everywhere it refers to automobiles in this post, you can also swap in “X-Ray machine”, “pacemaker”, and “aircraft”] The...

By Joe Hupcey III