Archives: Articles
-
Decoupling Formal Technology from Formal Technology
Formal verification technology appears in the ascendant at the moment. It’s been around forever, it seems, but it’s now finding its way into more flows…
-
Apple Hints at CPU and OS Independence
ARM, x86, or Apple? That question may make a lot more sense in a few months. In amongst all the many things that Apple rolled…
-
Selling Your Brain
Patent Law was created to protect and encourage inventors. The original intent is noble: when you invent something, the patent system is designed to give…
-
IoT Security
Security is the last unsolved problem of the Internet of Things (IoT). Really; all we have to do is make a security and it will…
-
A Bluetooth/ZigBee Mashup
Itching to invent your own electronic door locks? Freescale has the chip for you. Or your new LED lighting project. Or that home-automation system you’ve…
-
After Intel and Altera
For decades, the FPGA market has been a well-balanced duopoly. Something like 80% of sales have been split by two ferocious competitors, Xilinx and Altera,…
-
Micro-Metallica
OK, folks, time to get out the copper polish and the soft cloth. We’re going to dress up the metal that adds a patina of…
-
2D or Not 2D
You don’t need an expensive lab and a ton of equipment to win a Nobel Prize. How about a pencil and a reel of Sellotape…
-
The Laws of Automotive Robotics
“What we’ve got here is failure to communicate.” – Strother Martin, Cool Hand Luke Congratulations! You have an electric car. No, I don’t mean that…
-
Why Verify?
I just returned from attending the 52nd annual Design Automation Conference (DAC) in San Francisco, CA. This was my 30th time to attend this event,…