ARM

January 26, 2018
Ashish Darbari is CEO of formal verification consultancy Axiomise.

Doc Formal: When ‘silicon proven’ is not enough

If we thought about verfication-for-security in a different way, the Spectre and Meltdown vulnerabilities could well have been avoided.
Expert Insight  |  Topics: EDA - Verification  |  Tags: , , , , , ,   |  Organizations:
January 15, 2014
Featured image for Debugging with VPs - III

Debugging with virtual prototypes – Part Three

This part illustrates the technique using examples addressing memory corruption, multicore systems and cache coherency with particular reference to watchpoints.
December 8, 2013

Debugging with virtual prototypes – Part Two

The second part of our series illustrates VP tools and techniques using the familiar example of Linux bring-up on an ARM-based SoC.
Article  |  Topics: Embedded - Integration & Debug, EDA - Verification  |  Tags: , , ,   |  Organizations: ,
October 3, 2012

System virtual prototyping

The technique enables early software development and hardware/software co-design strategies before a project is more rigidly defined in RTL.
June 1, 2010

Energy debugging – the next step in MCU software optimization

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.
Article  |  Topics: EDA - DFT  |  Tags: , ,
April 15, 2010

Android gets boxed in

Analyst Stephen Froehlich looks at the platform’s emerging role in the pay-TV market.
Article  |  Topics: Embedded Topics, Embedded - Integration & Debug  |  Tags: , ,
December 1, 2008

Designing an interactive GUI

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 […]

Article  |  Topics: Embedded Topics, Embedded - User Experience  |  Tags:

PLATINUM SPONSORS

Synopsys Cadence Design Systems Siemens EDA
View All Sponsors