Formal app looks for sneak paths in secure chips
Jasper Design Automation has developed a tool that analyzes RTL and gate-level HDL for hidden paths that may expose on-chip secure elements to hackers.
Jasper Design Automation has developed a tool that analyzes RTL and gate-level HDL for hidden paths that may expose on-chip secure elements to hackers.
Dr Ron Black also discussed his experiences with the Internet of Things in a lively keynote at the GSA Memory+ Conference in Taipei
Stacked 3D-IC memory-on-logic is on the packaging company’s roadmap, but there are still yield hurdles to scale at the MEOL.
Oracle aims to reduce the incompatibilities between the two main embeddable versions of Java as the company tries to make the language the natural choice for IoT.
ARM is making its Mbed online development platform the cornerstone of its push into the internet of things (IoT), with Java as its preferred language.
Express Logic has launched a graphical user interface (GUI) software stack for resource-light 32bit microcontrollers running the company’s ThreadX RTOS.
Software skills could hold back the development of the internet of things, ARM CEO Simon Segars claimed in his keynote speech at ARM TechCon 2013.
Real Intent CTO Pranav Ashar talks about GALS: the reasons for and against using asynchronous protocols for chip-crossing communications and what to do about verification.
Valor additions aim to deliver shopfloor data to PCB ERP systems in real time… for the first time. And could boost ROI beyond 70%.
HP is throwing open its doors to other companies to bring in the necessary hardware and low-level software to build a new generation of servers, each specialized to a workload.