All Thought Leadership

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....

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 1 of 2)

One of the biggest developments in the formal verification world in the past several years has been the industry-wide growth...

By Joe Hupcey III

Embedded Software

Bit stuffing - an article about network protocols

I am a strong advocate for not “reinventing the wheel”. Doing something from scratch, unless you really have a novel...

Verification Horizons

20 Years Ago – 10 Years Ago – Tomorrow (DAC)

It is always good to pause to recognize the companies and individuals with whom we collaborate to create the verification...

By Dennis Brophy

Verification Horizons

Part 3: The 2014 Wilson Research Group Functional Verification Study

FPGA Effort Verification Trends (Continued) This blog is a continuation of a series of blogs related to the 2014 Wilson...

By Harry Foster

Simulating the Real World

Organically Grown 3D Printable Heatsinks – Part 3: Smoothing the Edges

The shape of the small piece of geometry that is added so as to successively ‘relieve’ the design determines the...

By Robin Bornoff