Archives

Twitter sure is a rollercoaster, but going up or down?

The last 10 days have been pretty interesting to follow in the fast moving world of Twitter. They showed a contrasting (or seemingly so) picture of where the super-hyped company is heading. Let us rewind the last few events [...]

Continue reading Twitter sure is a rollercoaster, but going up or down?

The formal verification market is still untapped

Functional verification is a major bottleneck in the chip design cycle. Any misstep in closing the functional correctness of a digital system costs millions of dollars in redesign, additional testing, and silicon respins. One can argue at length about its actual cost, but people in the industry usually agree that functional verification takes [...]

Continue reading The formal verification market is still untapped

Test-driven design, a methodology for low-defect software


I wrote earlier about the good practices in designing APIs, which is so important when developing complex software. However one usually does not have the chance to start a product from scratch. This means that more often than ever, a software manager picks up an existing tool with an [...]

Continue reading Test-driven design, a methodology for low-defect software

API design 101

I built up products from scratch several time in my professional life. Usually it starts with a very small engineering team –sometimes I was the very first member of the team. This is a great opportunity to lay strong foundations for the subsequent software development, because one is in charge of [...]

Continue reading API design 101