If we thought about verfication-for-security in a different way, the Spectre and Meltdown vulnerabilities could well have been avoided.
This part illustrates the technique using examples addressing memory corruption, multicore systems and cache coherency with particular reference to watchpoints.
The second part of our series illustrates VP tools and techniques using the familiar example of Linux bring-up on an ARM-based SoC.
The technique enables early software development and hardware/software co-design strategies before a project is more rigidly defined in RTL.
Knowing where your application is consuming resources is a crucial step in minimizing energy usage. The article describes a toolset developed by high-profile ARM-based microcontroller (MCU) start-up Energy Micro that helps to achieve this overarching goal within the context of a parallel move to 32bit MCU resolution.
Analyst Stephen Froehlich looks at the platform’s emerging role in the pay-TV market.
Consumers want high-end GUIs on portable devices, but most MCUs—even those at 32bit—do not have the capacity to support embedded versions of these on their own. The article outlines the collaboration between Atmel, which has a family of customizable MCUs, and Amulet Technologies, a specialist in GUIs based on a compressed version of HTML. It […]