All Thought Leadership

Embedded Software

ESC Boston

The first Embedded Systems Conference [ESC] took place in San Jose back in the early 1990s [if I recall correctly]....

Embedded Software

Writing a letter

A wise person once said “Getting old is hard, but the alternative is worse.” and I am not about to...

Verification Horizons

Part 4: The 2014 Wilson Research Group Functional Verification Study

FPGA Verification Effectiveness Trends This blog is a continuation of a series of blogs related to the 2014 Wilson Research...

By Harry Foster

Embedded Software

Medical embedded applications - big challenges and opportunities

This past week, medical systems have been on my mind. It is not because I am sick – at the...

Verification Horizons

DVCon, Reuse, and Software-Driven Verification

I was fortunate to be able to attend DVCon this year. One of my favorite aspects of the DVCon show...

By Matthew Ballance

Embedded Software

Project Bloodhound - the 1000mph car

It was not long ago that I wrote about driving slowly and I should say that, most of the time...

Verification Horizons

Do Formal Apps Help D&V Engineers Cross the Chasm Into Direct Formal Property Checking? This Oracle Case Study Suggests They Do (Part 2 of 2)

Do automated formal apps really help D&V engineers “cross the chasm” and start using formal verification directly? In Part 1...

By Joe Hupcey III

Embedded Software

Developing certified embedded applications

In a number of different fields – notably medical, military, avionics, industrial and automotive – there is an increasing focus...

Embedded Software

Six of The Best: Drinks

This is another posting in my occasional series, where I look at my 6 favorite things in a particular category....